This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/54799] New: Missing ";" gives "GNAT BUG DETECTED" box with GPL 2012, GPL 2010, AUX 4.7.1, and AUX 4.6.3
- From: "denkpadje at gmail dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Wed, 03 Oct 2012 19:57:47 +0000
- Subject: [Bug ada/54799] New: Missing ";" gives "GNAT BUG DETECTED" box with GPL 2012, GPL 2010, AUX 4.7.1, and AUX 4.6.3
- Auto-submitted: auto-generated
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54799
Bug #: 54799
Summary: Missing ";" gives "GNAT BUG DETECTED" box with GPL
2012, GPL 2010, AUX 4.7.1, and AUX 4.6.3
Classification: Unclassified
Product: gcc
Version: 4.7.1
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
AssignedTo: unassigned@gcc.gnu.org
ReportedBy: denkpadje@gmail.com
A missing ";" in a short .adb file generates a gnat bug box with GPL 2012
and GPL 2010, both on my Linux 3.2 i686 system, and with GNAT AUX 4.7.1 and
4.6.3
on FreeBSD 9.0 i386 and DragonFly BSD x86-64.
On my FreeBSD 9.0 i386 system with GNAT AUX 4.6.3 and 4.7.1:
--------------------------------------------------------------------------------
$ gnatmake libthr3.adb
ada -c libthr3.adb
+===========================GNAT BUG DETECTED==============================+
| 4.7.1 20120614 (release) -=> GNAT AUX [FreeBSD] (i386-aux-freebsd9.0) |
| Assert_Failure nlists.adb:431 |
| Error detected at libthr3.adb:8:4 |
| 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).
libthr3.adb
libthr3.adb:10:18: missing ";"
compilation abandoned
gnatmake: "libthr3.adb" compilation error
--------------------------------------------------------------------------------
--------------------------------------------------------------------------------
$ gnatmake libthr2.adb
gnatgcc -c libthr2.adb
+===========================GNAT BUG DETECTED==============================+
| 4.6.3 20120301 (release) -=> GNAT AUX [FreeBSD] (i386-aux-freebsd9.0) |
| Assert_Failure nlists.adb:431 |
| Error detected at libthr2.adb:14:11 |
| 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).
libthr2.adb
libthr2.adb:16:31: missing ";"
compilation abandoned
gnatmake: "libthr2.adb" compilation error
--------------------------------------------------------------------------------
On my Linux 3.2 i686 system with GNAT GPL 2010 I get this _without_ -gnat05:
--------------------------------------------------------------------------------
$ gnatmake libthr3.adb
gcc -c libthr3.adb
libthr3.adb:10:18: missing ";"
libthr3.adb:14:09: generalized use of anonymous access types is an Ada 2005
extension
libthr3.adb:14:09: unit must be compiled with -gnat05 switch
gnatmake: "libthr3.adb" compilation error
--------------------------------------------------------------------------------
With -gnat05 I get the gnat bug box:
--------------------------------------------------------------------------------
$ gnatmake -gnat05 libthr3.adb
gcc -c -gnat05 libthr3.adb
+===========================GNAT BUG DETECTED==============================+
| GPL 2010 (20100603) (i686-pc-linux-gnu) Storage_Error stack overflow (or
erroneous memory access)|
| Error detected at libthr3.adb:8:4 |
| Please submit a bug report by email to report@adacore.com. |
| GAP members can alternatively use GNAT Tracker: |
| http://www.adacore.com/ section 'send a report'. |
| See gnatinfo.txt for full info on procedure for submitting bugs. |
| 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). |
| Use plain ASCII or MIME attachment. |
+==========================================================================+
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).
libthr3.adb
libthr3.adb:10:18: missing ";"
compilation abandoned
gnatmake: "libthr3.adb" compilation error
--------------------------------------------------------------------------------
On my Linux 3.2.11 i686 system with GNAT GPL 2012 I get this:
--------------------------------------------------------------------------------
$ gnatmake libthr3.adb
gcc -c libthr3.adb
+===========================GNAT BUG DETECTED==============================+
| GPL 2012 (20120509) (i686-pc-linux-gnu) Storage_Error stack overflow or
erroneous memory access|
| Error detected at libthr3.adb:8:4 |
| Please submit a bug report by email to report@adacore.com. |
| GAP members can alternatively use GNAT Tracker: |
| http://www.adacore.com/ section 'send a report'. |
| See gnatinfo.txt for full info on procedure for submitting bugs. |
| 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). |
| Use plain ASCII or MIME attachment. |
+==========================================================================+
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).
libthr3.adb
libthr3.adb:10:18: missing ";"
compilation abandoned
gnatmake: "libthr3.adb" compilation error
--------------------------------------------------------------------------------
================================================================================
Note: libthr3.adb is little shorter because it uses an anonymous access
type for P instead of a non-anonymous one.
It also happened on DragonFly BSD x86-64 with GNAT AUX (IRC text was on or
around August 7):
17:52 marino | +===========================GNAT BUG
DETECTED==============================+
17:52 marino | | 4.6.3 20120301 (release) -=> GNAT AUX [DragonFly64]
(x86_64-aux-dragonfly3.1) |
17:52 marino | | Assert_Failure nlists.adb:431
|
17:52 marino | | Error detected at libthr2.adb:14:11
17:53 marino | +===========================GNAT BUG
DETECTED==============================+
17:53 marino | | 4.7.1 20120614 (release) -=> GCC AUX [DragonFly64]
(x86_64-aux-dragonfly3.1) |
17:53 marino | | Assert_Failure nlists.adb:431
|
17:53 marino | | Error detected at libthr2.adb:14:11
|
17:53 marino | | Please submit a bug report; see
http://gcc.gnu.org/bugs.html.