------- Comment #40 from baldrick at free dot fr 2007-03-09 23:41 ------- Subject: Re: [4.3 regression] ACATS cxh1001 fails
On Saturday 10 March 2007 00:13:27 kenner at vlsi1 dot ultra dot nyu dot edu wrote: > > ------- Comment #39 from kenner at vlsi1 dot ultra dot nyu dot edu > 2007-03-09 23:13 ------- > Subject: Re: [4.3 regression] ACATS cxh1001 fails > > > I don't see that pointer dereferences are a problem - I'm pretty sure that > > the RM places you firmly in the erroneous zone if you do something that can > > give a pointer a bogus value. > > No. Referencing an uninitialized variable is a bounded error, not > erroneous. That fact is basically what causes most of this trouble ... It is not possible for a pointer value to be uninitialized. The language requires all pointers to be default initialized to null. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26797
