Fix PR ipa/60315 (inliner explosion)

Eric Botcazou ebotcazou@adacore.com
Fri Mar 28 05:21:00 GMT 2014


> I will check, thanks for the reduced testcase. It seems like another case
> where we get predicate wrong that ought to be fixed, of course.

You're welcome.  Another bug introduced by the patch:

eric@polaris:~/build/gcc/native> gcc/xgcc -Bgcc -S opt33.adb -O
/home/eric/install/gcc/lib64/gcc/x86_64-suse-linux/4.9.0/adainclude/a-
coorse.adb: In function 'Opt33.My_Ordered_Sets.To_Set':
/home/eric/install/gcc/lib64/gcc/x86_64-suse-linux/4.9.0/adainclude/a-
coorse.adb:1983:4: error: static chain with function that doesn't use one
.builtin_unreachable (&tree, node_54, 1, 0B); [static-chain: &FRAME.437]
/home/eric/install/gcc/lib64/gcc/x86_64-suse-linux/4.9.0/adainclude/a-
coorse.adb:1983:4: error: static chain with function that doesn't use one
.builtin_unreachable (&tree, node_54, _60, node_57); [static-chain: 
&FRAME.437]
+===========================GNAT BUG DETECTED==============================+
| 4.9.0 20140327 (experimental) [trunk revision 208879] (x86_64-suse-linux) 
GCC error:|
| verify_gimple failed                                                     |
| Error detected around /home/eric/install/gcc/lib64/gcc/x86_64-suse-
linux/4.9.0/adainclude/a-coorse.adb:1983:4|

You can install the testcase as gnat.dg/opt33.adb in the testsuite.

-- 
Eric Botcazou
-------------- next part --------------
A non-text attachment was scrubbed...
Name: opt33.adb
Type: text/x-adasrc
Size: 813 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20140328/f1455420/attachment.bin>


More information about the Gcc-patches mailing list