This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/38975] deferred constants of not null access types are not possible
- From: "sam at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 3 Oct 2009 10:11:33 -0000
- Subject: [Bug ada/38975] deferred constants of not null access types are not possible
- References: <bug-38975-17228@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #1 from sam at gcc dot gnu dot org 2009-10-03 10:11 -------
It has been fixed on trunk by commit 134020. The fix will be in GCC 4.5.0.
2008-04-08 Javier Miranda <miranda@adacore.com>
Robert Dewar <dewar@adacore.com>
Ed Schonberg <schonberg@adacore.com>
[...]
(Null_Exclusion_Static_Checks): If the non-null access type appears in
a
deferred constant declaration. do not add a null expression, to prevent
spurious errors when full declaration is analyzed.
--
sam at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |sam at gcc dot gnu dot org
Status|UNCONFIRMED |RESOLVED
Resolution| |FIXED
Target Milestone|--- |4.5.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38975