This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/32234] [Ada] Default pointer initialization not occuring - due to the use of <>
- From: "anhvofrcaus at gmail dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 8 Jun 2007 19:11:55 -0000
- Subject: [Bug ada/32234] [Ada] Default pointer initialization not occuring - due to the use of <>
- References: <bug-32234-13647@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- 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