[Bug ada/34379] [4.2 regression] Bug box, Assert_Failure einfo.adb:508 on illegal Ada 2005 program

[sam 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