diff options
| author | hubicka <hubicka@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-10-05 05:02:19 +0000 |
|---|---|---|
| committer | hubicka <hubicka@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-10-05 05:02:19 +0000 |
| commit | 43aac8cbef62d213585c7ade8768e3443e75eb21 (patch) | |
| tree | d2428ebac5861155cb99905a9e92c774a2f64be7 /gcc/ipa-cp.c | |
| parent | ca7d22ca9a1dc73707e387f5a1d72f1a39cbd40c (diff) | |
| download | gcc-43aac8cbef62d213585c7ade8768e3443e75eb21.tar.gz | |
* ipa-polymorphic-call.c (walk_ssa_copies): Recognize
NULL pointer checks.
(ipa_polymorphic_call_context::get_dynamic_type): Return true
if type doesn't change.
* cgraph.h (cgraph_indirect_call_info): New flag.
* cgraph.c (cgraph_node::create_indirect_edge): Initialize it.
(cgraph_node::dump): Dump it.
* ipa-prop.c (ipa_analyze_call_uses): Ignore return valud
of context.get_dynamic_type.
(ipa_make_edge_direct_to_target): Do not speculate
edge that is already speuclative.
(try_make_edge_direct_virtual_call): Use VPTR_CHANGED; Do not
speculate to __builtin_unreachable
(ipa_write_indirect_edge_info, ipa_read_indirect_edge_info): Stream
vptr_changed.
* ipa-cp.c (ipa_get_indirect_edge_target_1): Use vptr_changed.
* g++.dg/ipa/devirt-47.C: New testcase.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@215898 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ipa-cp.c')
| -rw-r--r-- | gcc/ipa-cp.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gcc/ipa-cp.c b/gcc/ipa-cp.c index 657536c9c8e..a3be16f8bf4 100644 --- a/gcc/ipa-cp.c +++ b/gcc/ipa-cp.c @@ -1560,7 +1560,8 @@ ipa_get_indirect_edge_target_1 (struct cgraph_edge *ie, t = NULL; /* Try to work out value of virtual table pointer value in replacemnets. */ - if (!t && agg_reps && !ie->indirect_info->by_ref) + if (!t && agg_reps && !ie->indirect_info->by_ref + && !ie->indirect_info->vptr_changed) { while (agg_reps) { @@ -1578,7 +1579,8 @@ ipa_get_indirect_edge_target_1 (struct cgraph_edge *ie, /* Try to work out value of virtual table pointer value in known aggregate values. */ if (!t && known_aggs.length () > (unsigned int) param_index - && !ie->indirect_info->by_ref) + && !ie->indirect_info->by_ref + && !ie->indirect_info->vptr_changed) { struct ipa_agg_jump_function *agg; agg = known_aggs[param_index]; |