[Bug ada/54799] New: Missing ";" gives "GNAT BUG DETECTED" box with GPL 2012, GPL 2010, AUX 4.7.1, and AUX 4.6.3
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: unassig...@gcc.gnu.org ReportedBy: denkpa...@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 rep...@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 b
[Bug ada/54799] Missing ";" gives "GNAT BUG DETECTED" box with GPL 2012, GPL 2010, AUX 4.7.1, and AUX 4.6.3
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54799 --- Comment #1 from denkpadje at gmail dot com 2012-10-03 19:59:06 UTC --- Created attachment 28344 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=28344 The test file
[Bug ada/52752] GNAT bug box on instantiation of subprogram with "not null"-qualified named access type
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52752 denkpadje at gmail dot com changed: What|Removed |Added CC||denkpadje at gmail dot com --- Comment #2 from denkpadje at gmail dot com 2012-04-03 02:36:59 UTC --- It seems the error is triggered in a different .c file with GNAT GPL 2010: $ gnatmake -v -gnat05 -gnatd -O0 testcase.adb: +===GNAT BUG DETECTED==+ | GPL 2010 (20100603) (i686-pc-linux-gnu) GCC error: | | in simplify_subreg, at simplify-rtx.c:4924 | | Error detected around test.adb:16| ... compilation abandoned $ gnatmake -v -gnat05 -gnatd -O1 testcase.adb: +===GNAT BUG DETECTED==+ | GPL 2010 (20100603) (i686-pc-linux-gnu) GCC error: | | in simplify_subreg, at simplify-rtx.c:4924 | | Error detected around test.adb:21| ... raised TYPES.UNRECOVERABLE_ERROR : comperr.adb:423 $ gnatmake -v -gnat05 -gnatd -O2 testcase.adb: gcc -c -gnat05 -gnatd -O2 test.adb raised STORAGE_ERROR : stack overflow (or erroneous memory access) No gnat bug box with -O2 :/
[Bug ada/101667] New: GNAT bug detected in op1_range in range-op.cc during GIMPLE pass evrp
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101667 Bug ID: 101667 Summary: GNAT bug detected in op1_range in range-op.cc during GIMPLE pass evrp Product: gcc Version: 11.1.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: denkpadje at gmail dot com Target Milestone: --- Created attachment 51220 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=51220&action=edit src/ folder and Makefile GNAT bug detected in provided code (see zip file) when tree-vrp is enabled. Following options are needed to reproduce it: -gnatVa -gnata -O1 -ftree-vrp. The error can be avoided by using -fno-tree-vrp or -O0 or by removing -gnatVa or -gnata. Reproducable in 11.1.0 on Arch Linux Not reproducable in 10.3.0 and 9.3.0 on Ubuntu 20.04.2 LTS ``` gnatmake -gnatVa -gnata -O1 -ftree-vrp src/egl-objects-displays.adb gcc -c -Isrc/ -gnatVa -gnata -O1 -ftree-vrp -I- src/egl-objects-displays.adb during GIMPLE pass: evrp +===GNAT BUG DETECTED==+ | 11.1.0 (x86_64-pc-linux-gnu) in op1_range, at range-op.cc:2646 | | Error detected around /usr/lib/gcc/x86_64-pc-linux-gnu/11.1.0/adainclude/s-stoele.adb:70:31| | Please submit a bug report; see https://gcc.gnu.org/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 command that you entered. | | Also include sources listed below. | +==+ 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). src/egl-objects-displays.adb src/egl-objects-displays.ads src/egl-objects.ads src/egl.ads src/egl-objects-devices.ads src/egl-api.ads src/egl-errors.ads src/egl-loading.ads raised TYPES.UNRECOVERABLE_ERROR : comperr.adb:407 ```
[Bug tree-optimization/101667] GNAT bug detected in op1_range in range-op.cc during GIMPLE pass evrp
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101667 --- Comment #4 from denkpadje at gmail dot com --- It seems to work on 11.2 so bug can be closed.
