From 57aecdbc118d4c1900d651cb3ada2c9632a67ad0 Mon Sep 17 00:00:00 2001
From: Richard Biener <rguenther@suse.de>
Date: Tue, 14 Mar 2023 14:39:17 +0100
Subject: [PATCH] Use solve_add_graph_edge in more places
The following makes sure to use solve_add_graph_edge and honoring
special-cases, especially edges from escaped, in the remaining places
the solver adds edges.
* tree-ssa-structalias.cc (do_ds_constraint): Use
solve_add_graph_edge.
---
gcc/tree-ssa-structalias.cc | 11 ++++-------
1 file changed, 4 insertions(+), 7 deletions(-)
diff --git a/gcc/tree-ssa-structalias.cc b/gcc/tree-ssa-structalias.cc
index 84c625d53e54..47808a3d813b 100644
--- a/gcc/tree-ssa-structalias.cc
+++ b/gcc/tree-ssa-structalias.cc
@@ -1767,11 +1767,8 @@ do_ds_constraint (constraint_t c, bitmap delta, bitmap *expanded_delta)
if (bitmap_bit_p (delta, anything_id))
{
unsigned t = find (storedanything_id);
- if (add_graph_edge (graph, t, rhs))
- {
- if (bitmap_ior_into (get_varinfo (t)->solution, sol))
- bitmap_set_bit (changed, t);
- }
+ if (solve_add_graph_edge (graph, t, rhs))
+ bitmap_set_bit (changed, t);
return;
}
@@ -1825,8 +1822,8 @@ do_ds_constraint (constraint_t c, bitmap delta, bitmap *expanded_delta)
break;
t = find (v->id);
- if (add_graph_edge (graph, t, rhs)
- && bitmap_ior_into (get_varinfo (t)->solution, sol))
+
+ if (solve_add_graph_edge (graph, t, rhs))
bitmap_set_bit (changed, t);
}
--
GitLab