Re: Why no constraint error?

[dewar@merv.cs.nyu.edu (Robert Dewar)]

<<Unfortunately, 13.9.1(11) is a loophole you could drive a truck through.
The assumption is that compilers will be reasonable.  There's some AARM
discussion on this point.  But this para is irrelevant to your example.>>

I was always amazed that Bob could seriously suggest that all assignment
statements must do range checks. In some cases, especially with arrays
where you can never prove that elements are uninitialized in practice,
you can slow things down by a large factor with this decision.

Furthermore, in practice putting these range checks in has almost no
effect (that's an empirical observation from experimentation). So what
is being suggested here makes no sense to me, and seems completely
*unreasonable*.

For GNAT, part of "will be reasonable" is "will be reasonably efficient",
so I agree with your assumption, and so does GNAT!