public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/40930] New: ICE in legal program, record containing a controlled component
@ 2009-08-01 14:02 ludovic at ludovic-brenta dot org
2009-08-01 14:03 ` [Bug ada/40930] " ludovic at ludovic-brenta dot org
0 siblings, 1 reply; 2+ messages in thread
From: ludovic at ludovic-brenta dot org @ 2009-08-01 14:02 UTC (permalink / raw)
To: gcc-bugs
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
^ permalink raw reply [flat|nested] 2+ messages in thread
* [Bug ada/40930] ICE in legal program, record containing a controlled component
2009-08-01 14:02 [Bug ada/40930] New: ICE in legal program, record containing a controlled component ludovic at ludovic-brenta dot org
@ 2009-08-01 14:03 ` ludovic at ludovic-brenta dot org
0 siblings, 0 replies; 2+ messages in thread
From: ludovic at ludovic-brenta dot org @ 2009-08-01 14:03 UTC (permalink / raw)
To: gcc-bugs
------- Comment #1 from ludovic at ludovic-brenta dot org 2009-08-01 14:03 -------
Fixed in 4.4.1 (I only wanted to document the problem.)
--
ludovic at ludovic-brenta dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Known to fail| |4.3.0 4.3.3
Known to work| |4.4.1
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40930
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2009-08-01 14:03 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2009-08-01 14:02 [Bug ada/40930] New: ICE in legal program, record containing a controlled component ludovic at ludovic-brenta dot org
2009-08-01 14:03 ` [Bug ada/40930] " ludovic at ludovic-brenta dot org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).