http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52782
Bug #: 52782
Summary: Compiler prints "bug box"
Classification: Unclassified
Product: gcc
Version: 4.6.1
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: jan.k...@gmail.com
Created attachment 27040
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=27040
Code offending the compiler, might be incorrect Ada
(Severity unknown, compiler might work on correct code. Correctness of code
attached is unknown.)
Compiling this code makes the compiler end with error message below:
jd@leviticus:~/Projekt/Ada/Learn/Chap5$ gnatmake progpqa.adb
gcc -c progpqa.adb
+===========================GNAT BUG DETECTED==============================+
| 4.6.1 20110908 (Red Hat 4.6.1-9) (i686-redhat-linux-gnu) Assert_Failure
sinfo.adb:940|
| Error detected at progpqa.adb:34:45 |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html. |
| Use a subject line meaningful to you and us to track the bug. |
| 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). |
+==========================================================================+
Please include these source files with error report
Note that list may not be accurate in some cases,
so please double check that the problem can still
be reproduced with the set of files listed.
Consider also -gnatd.n switch (see debug.adb).
progpqa.adb
progpqa.adb:34:71: extra ")" ignored
compilation abandoned
gnatmake: "progpqa.adb" compilation error
Commenting out line 34 makes the code compile without error. Line 34:
Q.Data(Index+1 .. Elem_Num + 1) := (Q.Start+Index .. Q.Free+1);
(Full code in attachment)
Expected behavior:
Emitting code exiting peacefully or reporting error in code and end nicely.
jd@leviticus:~/Projekt/Ada/Learn/Chap5$ uname -a
Linux leviticus 2.6.42.12-1.fc15.i686 #1 SMP Tue Mar 20 16:26:27 UTC 2012 i686
i686 i386 GNU/Linux
jd@leviticus:~/Projekt/Ada/Learn/Chap5$ gcc -v
Använder inbyggda specifikationer.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/libexec/gcc/i686-redhat-linux/4.6.1/lto-wrapper
Mål: i686-redhat-linux
Konfigurerad med: ../configure --prefix=/usr --mandir=/usr/share/man
--infodir=/usr/share/info --with-bugurl=http://bugzilla.redhat.com/bugzilla
--enable-bootstrap --enable-shared --enable-threads=posix
--enable-checking=release --with-system-zlib --enable-__cxa_atexit
--disable-libunwind-exceptions --enable-gnu-unique-object
--enable-linker-build-id
--enable-languages=c,c++,objc,obj-c++,java,fortran,ada,go,lto --enable-plugin
--enable-java-awt=gtk --disable-dssi
--with-java-home=/usr/lib/jvm/java-1.5.0-gcj-1.5.0.0/jre
--enable-libgcj-multifile --enable-java-maintainer-mode
--with-ecj-jar=/usr/share/java/eclipse-ecj.jar --disable-libjava-multilib
--with-ppl --with-cloog --with-tune=generic --with-arch=i686
--build=i686-redhat-linux
Trådmodell: posix
gcc version 4.6.1 20110908 (Red Hat 4.6.1-9) (GCC)
Tried with extra switch:
jd@leviticus:~/Projekt/Ada/Learn/Chap5$ gnatmake -gnatd.n progpqa.adb
gcc -c -gnatd.n progpqa.adb
/usr/lib/gcc/i686-redhat-linux/4.6.1/adainclude/system.ads
progpqa.adb
/usr/lib/gcc/i686-redhat-linux/4.6.1/adainclude/ada.ads
/usr/lib/gcc/i686-redhat-linux/4.6.1/adainclude/a-textio.ads
/usr/lib/gcc/i686-redhat-linux/4.6.1/adainclude/a-ioexce.ads
/usr/lib/gcc/i686-redhat-linux/4.6.1/adainclude/a-stream.ads
/usr/lib/gcc/i686-redhat-linux/4.6.1/adainclude/s-ficobl.ads
/usr/lib/gcc/i686-redhat-linux/4.6.1/adainclude/interfac.ads
/usr/lib/gcc/i686-redhat-linux/4.6.1/adainclude/i-cstrea.ads
/usr/lib/gcc/i686-redhat-linux/4.6.1/adainclude/s-crtl.ads
/usr/lib/gcc/i686-redhat-linux/4.6.1/adainclude/s-parame.ads
/usr/lib/gcc/i686-redhat-linux/4.6.1/adainclude/s-wchcon.ads
/usr/lib/gcc/i686-redhat-linux/4.6.1/adainclude/a-inteio.ads
/usr/lib/gcc/i686-redhat-linux/4.6.1/adainclude/s-stalib.ads
/usr/lib/gcc/i686-redhat-linux/4.6.1/adainclude/a-unccon.ads
/usr/lib/gcc/i686-redhat-linux/4.6.1/adainclude/s-exctab.ads
/usr/lib/gcc/i686-redhat-linux/4.6.1/adainclude/a-tags.ads
/usr/lib/gcc/i686-redhat-linux/4.6.1/adainclude/s-stoele.ads
/usr/lib/gcc/i686-redhat-linux/4.6.1/adainclude/s-stoele.adb
/usr/lib/gcc/i686-redhat-linux/4.6.1/adainclude/a-filico.ads
/usr/lib/gcc/i686-redhat-linux/4.6.1/adainclude/a-finali.ads
/usr/lib/gcc/i686-redhat-linux/4.6.1/adainclude/s-finroo.ads
/usr/lib/gcc/i686-redhat-linux/4.6.1/adainclude/a-except.ads
/usr/lib/gcc/i686-redhat-linux/4.6.1/adainclude/s-traent.ads
/usr/lib/gcc/i686-redhat-linux/4.6.1/adainclude/s-soflin.ads
/usr/lib/gcc/i686-redhat-linux/4.6.1/adainclude/s-stache.ads
/usr/lib/gcc/i686-redhat-linux/4.6.1/adainclude/s-secsta.ads
/usr/lib/gcc/i686-redhat-linux/4.6.1/adainclude/s-finimp.ads
/usr/lib/gcc/i686-redhat-linux/4.6.1/adainclude/s-stratt.ads
/usr/lib/gcc/i686-redhat-linux/4.6.1/adainclude/s-unstyp.ads
/usr/lib/gcc/i686-redhat-linux/4.6.1/adainclude/a-tiinio.ads
+===========================GNAT BUG DETECTED==============================+
| 4.6.1 20110908 (Red Hat 4.6.1-9) (i686-redhat-linux-gnu) Assert_Failure
sinfo.adb:940|
| Error detected at progpqa.adb:34:45 |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html. |
| Use a subject line meaningful to you and us to track the bug. |
| 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). |
+==========================================================================+
Please include these source files with error report
Note that list may not be accurate in some cases,
so please double check that the problem can still
be reproduced with the set of files listed.
Consider also -gnatd.n switch (see debug.adb).
progpqa.adb
progpqa.adb:34:71: extra ")" ignored
compilation abandoned
gnatmake: "progpqa.adb" compilation error
