]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
Use solve_add_graph_edge in more places
authorRichard Biener <rguenther@suse.de>
Tue, 14 Mar 2023 13:39:17 +0000 (14:39 +0100)
committerRichard Biener <rguenther@suse.de>
Wed, 19 Apr 2023 13:42:21 +0000 (15:42 +0200)
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

index 84c625d53e54d52ccb444f636f471112fa36a145..47808a3d813ba3a01abda0dc2b6b7b9a8f02c8ee 100644 (file)
@@ -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);
            }