This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Fix PR ipa/60315 (inliner explosion)
- From: Jan Hubicka <hubicka at ucw dot cz>
- To: Eric Botcazou <ebotcazou at adacore dot com>
- Cc: Jan Hubicka <hubicka at ucw dot cz>, gcc-patches at gcc dot gnu dot org
- Date: Fri, 28 Mar 2014 06:35:33 +0100
- Subject: Re: Fix PR ipa/60315 (inliner explosion)
- Authentication-results: sourceware.org; auth=none
- References: <20140326021653 dot GA14614 at kam dot mff dot cuni dot cz> <8783675 dot p15DC4IWmd at polaris> <20140326222527 dot GA26587 at kam dot mff dot cuni dot cz> <7509794 dot q3AKH48G31 at polaris>
> > 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