[Bug ada/34380] [4.2 regression] Bug box, Assert_Failure elists.adb:167 on illegal Ada 2005 program

[sam at gcc dot gnu dot org]

------- Comment #1 from sam at gcc dot gnu dot org  2007-12-07 15:44 -------
Already fixed in SVN trunk.

Compiling: pak3.ads (source file time stamp: 2007-12-07 15:42:26)

     6.    x1: integer := T1'Class (x2).f1;
                            |
        >>> object in prefixed call to "f1" must be aliased (RM-2005 4.3.1
(13))


-- 

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=34380