* [PATCH] Fix points-to SCC collapsing bug
@ 2024-05-27 12:57 Richard Biener
0 siblings, 0 replies; only message in thread
From: Richard Biener @ 2024-05-27 12:57 UTC (permalink / raw)
To: gcc-patches
When points-to analysis finds SCCs it marks the wrong node as being
part of a found cycle. It only wants to mark the node it collapses
to but marked the entry node found rather than the one it collapses
to. This causes fallout in the patch for PR115236 but generally
weakens the points-to solution by collapsing too many nodes. Note
that this fix might slow down points-to solving.
Bootstrapped and tested on x86_64-unknown-linux-gnu, pushed.
* tree-ssa-structalias.cc (scc_visit): Mark the node we
collapse to as being in a component.
---
gcc/tree-ssa-structalias.cc | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/gcc/tree-ssa-structalias.cc b/gcc/tree-ssa-structalias.cc
index 3099658f100..53552b63532 100644
--- a/gcc/tree-ssa-structalias.cc
+++ b/gcc/tree-ssa-structalias.cc
@@ -1542,8 +1542,10 @@ scc_visit (constraint_graph_t graph, class scc_info *si, unsigned int n)
graph->indirect_cycles[i - FIRST_REF_NODE] = lowest_node;
}
}
+ bitmap_set_bit (si->deleted, lowest_node);
}
- bitmap_set_bit (si->deleted, n);
+ else
+ bitmap_set_bit (si->deleted, n);
}
else
si->scc_stack.safe_push (n);
--
2.35.3
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2024-05-27 12:57 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2024-05-27 12:57 [PATCH] Fix points-to SCC collapsing bug Richard Biener
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).