> > 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|
Thanks, looks like another (semi)-latent bug. I will add code to cgraph redirection to get rid of static chain if it is uneeded. Honza
