ipa: Make call redirection detect already adjusted calls (PR 93621)
authorMartin Jambor <mjambor@suse.cz>
Thu, 16 Apr 2020 17:21:02 +0000 (19:21 +0200)
committerMartin Jambor <mjambor@suse.cz>
Thu, 16 Apr 2020 17:21:02 +0000 (19:21 +0200)
commit7123347c8b44571811c4b58506b06fb09969bccb
treeddf5d23a57ce231aef99ac668163fa8a8baddcde
parent26bebf576ddcdcfb596f07e8c2896f17c48516e7
ipa: Make call redirection detect already adjusted calls (PR 93621)

PR 93621 testcase makes redirect_call_stmt_to_callee wrongly assume
that a call statement needs redirecting but then rightly fails an
assert ensuring the call statement parameters have not already been
adjusted because they were already created adjusted as part of thunk
expansion.

The test fails because the decl in the call call statement is
different than the decl of the callee, because the latter was created
in save_inline_function_body.  This patch adds a way to link these two
and detect the situation in redirect_call_stmt_to_callee.

2020-04-16  Martin Jambor  <mjambor@suse.cz>

PR ipa/93621
* ipa-inline.h (ipa_saved_clone_sources): Declare.
* ipa-inline-transform.c (ipa_saved_clone_sources): New variable.
(save_inline_function_body): Link the new body holder with the
previous one.
* cgraph.c: Include ipa-inline.h.
(cgraph_edge::redirect_call_stmt_to_callee): Try to find the decl from
the statement in ipa_saved_clone_sources.
* cgraphunit.c: Include ipa-inline.h.
(expand_all_functions): Free ipa_saved_clone_sources.

testsuite/
* g++.dg/ipa/pr93621.C: New test.
gcc/ChangeLog
gcc/cgraph.c
gcc/cgraphunit.c
gcc/ipa-inline-transform.c
gcc/ipa-inline.h
gcc/testsuite/ChangeLog
gcc/testsuite/g++.dg/ipa/pr93621.C [new file with mode: 0644]