(Debian bug #284651)
with ada.finalization;
package Test_137 is
type T1 is new ada.finalization.controlled with null record;
procedure p(x: access T1);
end Test_137;
package body Test_137 is
procedure p(x: access T1) is
begin
null;
end p;
y: T1;
begin
p(new T1'(y));
end Test_137;
With gnat 3.15p-12:
+===========================GNAT BUG DETECTED==============================+
| 3.15p (20020523) (i486-pc-linux-gnu) Assert_Failure namet.adb:581 |
| No source file position information available |
With gcc-3.4 3.4.2-2:
+===========================GNAT BUG DETECTED==============================+
| 3.4.2 (Debian 3.4.2-2) (i486-pc-linux-gnu) Assert_Failure namet.adb:630 |
| Error detected at test_137.adb:9:6 |
--
Summary: Bug box, Assert_Failure at namet.adb:630, on legal
program
Product: gcc
Version: 3.4.2
Status: UNCONFIRMED
Severity: normal
Priority: P2
Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: ludovic dot brenta at insalien dot org
CC: gcc-bugs at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18876
