This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: As-if Infinitely Ranged Integer Model
> Only if you know the loop will run once can you hoist the check (or
> sink it, but you might as well hoist!) GNAT does not do this kind of
> hoisting, it is really something for the back end optimization
> circuits, not front end fiddling, though this particular case could
> be fiddled in the front end.
You could hoist the check and conditionalize it on the condition under
which the loop will run at least once, but I don't think anybody has
code to do that sort of thing.