[Bug ada/50526] New: Assert_Failure sinfo.adb:717

[baldrick at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50526

             Bug #: 50526
           Summary: Assert_Failure sinfo.adb:717
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: baldrick@gcc.gnu.org


$ gcc-4.7 -S p.ads
+===========================GNAT BUG DETECTED==============================+
| 4.7.0 20110926 (experimental) (x86_64-unknown-linux-gnu) Assert_Failure
sinfo.adb:717|
...

Testcase:

-- chop here --
generic
   type T is tagged private;
   type A is access T'Class;
package G is
   type NA is new A;
end;

with G;
package P is
   type T is tagged null record;
   type A is access T'Class;
   package I is new G (T, A);
end;