diff options
| author | Jan Hubicka <hubicka@ucw.cz> | 2014-07-05 19:22:44 +0200 |
|---|---|---|
| committer | Jan Hubicka <hubicka@gcc.gnu.org> | 2014-07-05 17:22:44 +0000 |
| commit | 058d0a9059789682ccef8f56aa04182d71d17e78 (patch) | |
| tree | a316c1d813e71ce225a70f30c867801face3d5aa /gcc/cgraph.c | |
| parent | aed773a2c8a20550b32cd223ecc44d87b6676974 (diff) | |
| download | gcc-058d0a9059789682ccef8f56aa04182d71d17e78.zip gcc-058d0a9059789682ccef8f56aa04182d71d17e78.tar.gz gcc-058d0a9059789682ccef8f56aa04182d71d17e78.tar.bz2 | |
cgraph.c (cgraph_create_indirect_edge): Update call of get_polymorphic_call_info.
* cgraph.c (cgraph_create_indirect_edge): Update call of
get_polymorphic_call_info.
* ipa-utils.h (get_polymorphic_call_info): Add parameter CALL.
(possible_polymorphic_call_targets): Add parameter call.
(decl_maybe_in_construction_p): New predicate.
(get_polymorphic_call_info): Add parameter call;
use decl_maybe_in_construction_p.
* gimple-fold.c (fold_gimple_assign): Update use of
possible_polymorphic_call_targets.
(gimple_fold_call): Likewise.
* ipa-prop.c: Inlcude calls.h
(ipa_binfo_from_known_type_jfunc): Check that known type is record.
(param_type_may_change_p): New predicate.
(detect_type_change_from_memory_writes): Break out from ...
(detect_type_change): ... this one; use
param_type_may_change_p.
(detect_type_change_ssa): Use param_type_may_change_p.
(compute_known_type_jump_func): Use decl_maybe_in_construction_p.
* g++.dg/ipa/devirt-26.C: Update testcase.
* g++.dg/ipa/imm-devirt-1.C: Update testcase.
* g++.dg/ipa/imm-devirt-2.C: Update testcase.
From-SVN: r212304
Diffstat (limited to 'gcc/cgraph.c')
| -rw-r--r-- | gcc/cgraph.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/cgraph.c b/gcc/cgraph.c index 41dcaf9..4cc8c9b 100644 --- a/gcc/cgraph.c +++ b/gcc/cgraph.c @@ -967,7 +967,7 @@ cgraph_create_indirect_edge (struct cgraph_node *caller, gimple call_stmt, get_polymorphic_call_info (caller->decl, target, &otr_type, &otr_token, - &context); + &context, call_stmt); /* Only record types can have virtual calls. */ gcc_assert (TREE_CODE (otr_type) == RECORD_TYPE); |