[Bug ada/26797] [4.3 regression] ACATS cxh1001 fails

[kenner at vlsi1 dot ultra dot nyu dot edu]

------- 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 ...


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26797