diff mbox series

[3/4] Fix do_sd_constraint escape special casing

Message ID 20230419121457.F028E3853821@sourceware.org
State New
Headers show
Series [1/4] Avoid non-unified nodes on the topological sorting for PTA solving | expand

Commit Message

Richard Biener April 19, 2023, 12:14 p.m. UTC 
The following fixes the escape special casing to test the proper
variable IDs.

Bootstrapped and tested on x86_64-unknown-linux-gnu, pushed.

	* tree-ssa-structalias.cc (do_sd_constraint): Fixup escape
	special casing.
---
 gcc/tree-ssa-structalias.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
diff mbox series

Patch

diff --git a/gcc/tree-ssa-structalias.cc b/gcc/tree-ssa-structalias.cc
index 89027ab573d..4f350bfbfc0 100644
--- a/gcc/tree-ssa-structalias.cc
+++ b/gcc/tree-ssa-structalias.cc
@@ -1706,7 +1706,7 @@  do_sd_constraint (constraint_graph_t graph, constraint_t c,
 	    flag |= bitmap_ior_into (sol, get_varinfo (t)->solution);
 	  /* Merging the solution from ESCAPED needlessly increases
 	     the set.  Use ESCAPED as representative instead.  */
-	  else if (v->id == escaped_id)
+	  else if (t == find (escaped_id))
 	    flag |= bitmap_set_bit (sol, escaped_id);
 	  else if (v->may_have_pointers
 		   && add_graph_edge (graph, lhs, t))