diff options
| author | Richard Biener <rguenther@suse.de> | 2023-03-14 14:39:17 +0100 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2023-04-19 15:42:21 +0200 |
| commit | 57aecdbc118d4c1900d651cb3ada2c9632a67ad0 (patch) | |
| tree | 8649df5dacd77155e33d880cd221d32285e0ca60 | |
| parent | 2cef0d0964d74dd61d3f4df855d521a0ff219a03 (diff) | |
| download | gcc-57aecdbc118d4c1900d651cb3ada2c9632a67ad0.zip gcc-57aecdbc118d4c1900d651cb3ada2c9632a67ad0.tar.gz gcc-57aecdbc118d4c1900d651cb3ada2c9632a67ad0.tar.bz2 | |
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.
| -rw-r--r-- | gcc/tree-ssa-structalias.cc | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/gcc/tree-ssa-structalias.cc b/gcc/tree-ssa-structalias.cc index 84c625d..47808a3 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); } |