This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/15608] New: Bug box at sem_ch3.adb:8228
- From: "ludovic dot brenta at insalien dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 23 May 2004 09:38:39 -0000
- Subject: [Bug ada/15608] New: Bug box at sem_ch3.adb:8228
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
package Test_244940 is
type T1 (b : Boolean) is limited private;
subtype T2 is T1;
private
task type T1 (b : Boolean);
end Test_244940;
package body Test_244940 is
task body T1 is
begin
null;
end T1;
x: T2(false);
end Test_244940;
+===========================GNAT BUG DETECTED==============================+
| 3.4.0 (Debian) (i486-pc-linux-gnu) Assert_Failure sem_ch3.adb:8228 |
| Error detected at test_244940.adb:10:5 |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html. |
| Include the entire contents of this bug box in the report. |
| Include the exact gcc-3.4 or gnatmake command that you entered. |
| Also include sources listed below in gnatchop format |
| (concatenated together with no headers between files). |
+==========================================================================+
--
Summary: Bug box at sem_ch3.adb:8228
Product: gcc
Version: 3.4.0
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
GCC build triplet: i686-pc-linux-gnu
GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15608