This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[PATCH, PR 55260] Use info of the correct node in find_aggregate_values_for_callers_subset
- From: Martin Jambor <mjambor at suse dot cz>
- To: GCC Patches <gcc-patches at gcc dot gnu dot org>
- Cc: Jan Hubicka <hubicka at ucw dot cz>
- Date: Sat, 17 Nov 2012 13:40:30 +0100
- Subject: [PATCH, PR 55260] Use info of the correct node in find_aggregate_values_for_callers_subset
Hi,
PR 55260 contains two testcases which trigger two different bugs in
ipa-cp.c. The first problem is that at one place in
find_aggregate_values_for_callers_subset we use variable info instead
of caller_info when determining whether a callee is a clone which then
leads to an ICE. Fixed thusly and I also renamed info to dest_info to
make similar mistakes harder to make in future.
Fix of the second PR 55260 bug will probably involve some fiddling
with vectors so I'll submit it next week when the new interface is in
place.
Bootstrapped and tested on x86_64-linux, OK for trunk?
Thanks,
Martin
2012-11-16 Martin Jambor <mjambor@suse.cz>
PR tree-optimization/55260
* ipa-cp.c (find_aggregate_values_for_callers_subset): Rename info to
dest_info, use caller_info instead of info when determining whether
callee is a clone.
* testsuite/g++.dg/torture/pr55260-1.C: New test.
Index: src/gcc/testsuite/g++.dg/torture/pr55260-1.C
===================================================================
--- /dev/null
+++ src/gcc/testsuite/g++.dg/torture/pr55260-1.C
@@ -0,0 +1,24 @@
+/* { dg-do compile } */
+/* { dg-options "-std=gnu++0x -fno-inline" } */
+/* { dg-add-options bind_pic_locally } */
+
+ struct B
+ {
+ constexpr B ():
+ bp ()
+ {}
+ ~B ()
+ {
+ if (bp)
+ bp->f ();
+ }
+ void f ();
+ B *bp;
+ };
+struct A { B b;
+};
+
+void foo ()
+{
+ A a;
+}
Index: src/gcc/ipa-cp.c
===================================================================
--- src.orig/gcc/ipa-cp.c
+++ src/gcc/ipa-cp.c
@@ -2870,10 +2870,10 @@ static struct ipa_agg_replacement_value
find_aggregate_values_for_callers_subset (struct cgraph_node *node,
VEC (cgraph_edge_p,heap) *callers)
{
- struct ipa_node_params *info = IPA_NODE_REF (node);
+ struct ipa_node_params *dest_info = IPA_NODE_REF (node);
struct ipa_agg_replacement_value *res = NULL;
struct cgraph_edge *cs;
- int i, j, count = ipa_get_param_count (info);
+ int i, j, count = ipa_get_param_count (dest_info);
FOR_EACH_VEC_ELT (cgraph_edge_p, callers, j, cs)
{
@@ -2891,7 +2891,7 @@ find_aggregate_values_for_callers_subset
/* Among other things, the following check should deal with all by_ref
mismatches. */
- if (ipa_get_parm_lattices (info, i)->aggs_bottom)
+ if (ipa_get_parm_lattices (dest_info, i)->aggs_bottom)
continue;
FOR_EACH_VEC_ELT (cgraph_edge_p, callers, j, cs)
@@ -2943,7 +2943,7 @@ find_aggregate_values_for_callers_subset
struct ipcp_param_lattices *src_plats;
HOST_WIDE_INT delta = ipa_get_jf_ancestor_offset (jfunc);
- if (info->ipcp_orig_node)
+ if (caller_info->ipcp_orig_node)
{
if (!inter)
inter = agg_replacements_to_vector (cs->caller, delta);