This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/52752] GNAT bug box on instantiation of subprogram with "not null"-qualified named access type
- From: "denkpadje at gmail dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Tue, 03 Apr 2012 02:36:59 +0000
- Subject: [Bug ada/52752] GNAT bug box on instantiation of subprogram with "not null"-qualified named access type
- Auto-submitted: auto-generated
- References: <bug-52752-4@http.gcc.gnu.org/bugzilla/>
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 :/