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

[baldrick at free dot fr]

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