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: unassig...@gcc.gnu.org ReportedBy: baldr...@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;