Re: Zoo question

[Ted Dennison <dennison@escmail.orl.mmc.com>]

Robert Dewar wrote:
> 
> Ken asks
> 
> "Assuming no supresses, would there be a case where #1 would not apply (no
> exception on assignment)?"
> 
> No, the code you wrote MUST give an exception on the assignment. Any
> speculation to the contrary is simply misinformed, any compiler that
> does not raise the exception (assuming checks are turned on) is simply
> broken, and it is a bug.

That does seem to jibe with 5.2(3-4) in my Ada 83 LRM. However, I could
have sworn I saw a rather long discussion here a year ago about compiler
optimizations moving constraint checks out of loops. I suppose this is
still possible, as long as there aren't any declare blocks (or is it?).
-- 
T.E.D.          
                |  Work - mailto:dennison@escmail.orl.mmc.com  |
                |  Home - mailto:dennison@iag.net              |
                |  URL  - http://www.iag.net/~dennison         |