On Mar 16, 2006, at 10:43, Richard Guenther wrote:
Uh - what do you expect here?? Does the Ada standard require a out-of-range exception upon the first use of N? In this case, the frontend needs to insert a proper check. You cannot expect the middle-end to avoid the above transformation, so this is a frontend bug.
That's exactly the point I'm making. -Geert