https://gcc.gnu.org/bugzilla/show_bug.cgi?id=128198
--- Comment #4 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Richard Biener <[email protected]>: https://gcc.gnu.org/g:1204989c4ff5061576538a51df826c6c023f18cd commit r17-5636-g1204989c4ff5061576538a51df826c6c023f18cd Author: Richard Biener <[email protected]> Date: Tue Oct 27 12:30:45 2026 +0100 tree-optimization/128198 - PTA solver issue with node merging When we merge two graph nodes we fail to consider that bringing in new successors requires forwarding of the target node solution to those. So make sure we mark the node as changed, even when its solution doesn't increase from the merged in node. PR tree-optimization/128198 * pta-andersen.cc (merge_graph_nodes): Return whether we got new successor edges. (unify_nodes): Mark the target node changed if there were new successor nodes. * gcc.dg/torture/pr128198.c: New testcase.
