Re: Curiosity about rage checking

[Robert A Duff <bobduff@shell01.TheWorld.com>]

"framefritti@gmail.com" <framefritti@gmail.com> writes:

> My question is: is an Ada compiler allowed to move the check outside
> the loop?

Yes.  However, if A > B (i.e. the loop will go around zero times), then
the compiler must make sure the exception is not raised.

>   2. Moving the check outside the loop changes the program behaviour

RM-11.6 allows certain behavior changes.  Exceptions can be moved
around, for example, so long as the right handler applies.

See AARM-1.1.2(39.c) for the difference between "behavior" and
"semantics".

>  3. It make debugging harder

The RM says almost nothing about debugging.  But Ada compilers typically
have a no-optimize switch that suppresses optimizations that would harm
debugging.

- Bob