Bootstrapped and tested on x86_64-unknown-linux-gnu, pushed.
* tree-ssa-structalias.cc (do_sd_constraint): Do not write to the LHS varinfo solution member. --- gcc/tree-ssa-structalias.cc | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/gcc/tree-ssa-structalias.cc b/gcc/tree-ssa-structalias.cc index 8976cc9c2f8..89027ab573d 100644 --- a/gcc/tree-ssa-structalias.cc +++ b/gcc/tree-ssa-structalias.cc @@ -1724,10 +1724,7 @@ do_sd_constraint (constraint_graph_t graph, constraint_t c, done: /* If the LHS solution changed, mark the var as changed. */ if (flag) - { - get_varinfo (lhs)->solution = sol; - bitmap_set_bit (changed, lhs); - } + bitmap_set_bit (changed, lhs); } /* Process a constraint C that represents *(x + off) = y using DELTA -- 2.35.3