This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/34379] [4.2 regression] Bug box, Assert_Failure einfo.adb:508 on illegal Ada 2005 program
- 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: 7 Dec 2007 15:46:51 -0000
- Subject: [Bug ada/34379] [4.2 regression] Bug box, Assert_Failure einfo.adb:508 on illegal Ada 2005 program
- References: <bug-34379-286@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #2 from sam at gcc dot gnu dot org 2007-12-07 15:46 -------
Already fixed in trunk.
Compiling: pak1.ads (source file time stamp: 2007-12-07 15:45:01)
4. x1: integer := T1'Class (3).f1;
|
>>> object in prefixed call to "f1" must be aliased (RM-2005 4.3.1
(13))
5 lines: 1 error
Compiling: pak2.ads (source file time stamp: 2007-12-07 15:45:38)
3. function f1 (x: access T1) return integer;
|
>>> (Ada 2005) interface subprogram "f1" must be abstract or null
4. x1: integer := T1'Class (3).f1;
|
>>> object in prefixed call to "f1" must be aliased (RM-2005 4.3.1
(13))
5 lines: 2 errors
--
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.3.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34379