From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Why no constraint error?
Date: 1997/03/24
Date: 1997-03-24T00:00:00+00:00 [thread overview]
Message-ID: <dewar.859260057@merv> (raw)
In-Reply-To: E7K3Gw.7KD@world.std.com
<<I don't understand the above three "No" answers -- they seem mutually
contradictory. If "A(I) := ..." can overwrite memory that is not part
of the array A, when I is an uninitialized variable, then that's a
compiler bug. Are you saying that GNAT does, or does not, have this
bug? (Note that it wasn't a compiler bug in Ada 83 -- in Ada 83, it was
erroneous, whereas in Ada 95, it is a bounded error.)>>
I cannot answer for what Sam Mize is trying to say, since his post was
indeed confusing, but the fact is that GNAT does NOT overwrite memory
on an array assignment of this type ....
next prev parent reply other threads:[~1997-03-24 0:00 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-03-20 0:00 Why no constraint error? Samuel Mize
1997-03-20 0:00 ` Samuel Mize
1997-03-21 0:00 ` Robert A Duff
1997-03-22 0:00 ` Tucker Taft
1997-03-22 0:00 ` Robert A Duff
1997-03-24 0:00 ` Tucker Taft
1997-03-24 0:00 ` Samuel A. Mize
1997-03-24 0:00 ` Robert A Duff
1997-03-24 0:00 ` Robert Dewar [this message]
1997-03-24 0:00 ` Robert Dewar
1997-03-22 0:00 ` Robert Dewar
1997-03-22 0:00 ` Robert A Duff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox