This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/13460] Bug Box: Assertion_Failure when compiling a spec with "with type" (-gnatX)
- From: "bauhaus at futureapps dot de" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 22 Dec 2003 13:03:20 -0000
- Subject: [Bug ada/13460] Bug Box: Assertion_Failure when compiling a spec with "with type" (-gnatX)
- References: <20031222010002.13460.bauhaus@futureapps.de>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Additional Comments From bauhaus at futureapps dot de 2003-12-22 13:03 -------
Same result in latest snapshot.
bash-2.05a$ gcc -v -c -gnatX r-a.ads
Reading specs from /opt/GCC/34/lib/gcc/i686-pc-linux-gnu/3.4/specs
Configured with: ../gcc/configure --enable-languages=c,ada --prefix=/opt/GCC/34
--enable-checking : (reconfigured)
Thread model: posix
gcc version 3.4 20031217 (experimental)
/opt/GCC/34/libexec/gcc/i686-pc-linux-gnu/3.4/gnat1 -quiet -dumpbase r-a.ads
-gnatX -mtune=pentiumpro r-a.ads -o /tmp/cc5KoVZb.s
+===========================GNAT BUG DETECTED==============================+
| 3.4 20031217 (experimental) (i686-pc-linux-gnu) Assert_Failure elists.adb:167|
| Error detected at r-a.ads:9:4 |
| 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 or gnatmake command that you entered. |
| Also include sources listed below in gnatchop format |
| (concatenated together with no headers between files). |
+==========================================================================+
etc.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13460