------- Comment #12 from anhvofrcaus at gmail dot com 2007-06-08 19:11 ------- You are right Constraint_Error is raised when checking for validity through Item.all'Valid if Item is null. Therefore, using Laurent's to check Item for null is the only way. Either one of these methods verifies that the bug exists.
In summary, the program, small or large, behaves the same way although it is an undersired behavior in this case. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32234
