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
