Re: Curiosity about rage checking

[Jean-Pierre Rosen <rosen@adalog.fr>]

framefritti@gmail.com a �crit :
> [..]
> 
> My question is: is an Ada compiler allowed to move the check outside
> the loop?

This question is addressed in the (in)famous paragraph 11.6. If you 
don't understand exactly what it says, don't worry, you are not alone...

But the important issue is that compilers are unlikely to perform that 
optimization. Why? Because optimization is a matter of improving what's 
normally used. And any decent Ada programmer should write that loop as:

for I in X'range loop...

Where the optimization becomes trivial
-- 
---------------------------------------------------------
            J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr