with Ada.Finalization;
package pak1 is
type T1 is private;
type T2 is record
a1: T1;
end record;
type T2_Access is access T2;
type T3 is tagged record
a2: T2_Access;
end record;
type T4 is new T3 with null record;
private
type T1 is new Ada.Finalization.Controlled with null record;
X: T2_access := new T2; -- line 22
end pak1;
+===========================GNAT BUG DETECTED==============================+
| 4.3.0 (i686-unknown-linux-gnu) Assert_Failure namet.adb:687 |
gnatmake -c pak1.ads
gcc-4.3 -c pak1.ads
+===========================GNAT BUG DETECTED==============================+
| 4.3.3 (x86_64-pc-linux-gnu) Assert_Failure namet.adb:687 |
| Error detected at pak1.ads:22:20 |
--
Summary: ICE in legal program, record containing a controlled
component
Product: gcc
Version: 4.3.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=40930
