package test1 is package pak2 is x1: integer; end pak2; type T1 is interface; type T2 is interface;
procedure p1(x2: T1; x3: integer := pak2.x1) is abstract; type T3 is new T2 and T1 with null record; procedure p1(x2: T3; x3: integer := pak2.x1); -- line 13 end test1; gnatmake -gnat05 test1 gcc-4.1 -c -gnat05 test1.ads +===========================GNAT BUG DETECTED==============================+ | 4.1.3 20070518 (prerelease) (Debian 4.1.2-8) (x86_64-pc-linux-gnu) | | Assert_Failure atree.adb:812 | | Error detected at test1.ads:13:44 | gcc -c -gnat05 test1.ads +===========================GNAT BUG DETECTED==============================+ | 4.2.2 (i686-unknown-linux-gnu) Assert_Failure atree.adb:812 | | Error detected at test1.ads:15:44 | -- Summary: Bug box, Assert_Failure atree.adb:812 in legal Ada 2005 program Product: gcc Version: 4.1.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic at ludovic-brenta dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34346