This is the mail archive of the gcc-bugs@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

[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 :/


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]