[Bug tree-optimization/128198] [15/16 Regression] Wrong points-to set after unification in the PTA solver leads to infinite loop at -O2

[rguenth at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=128198

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[15/16/17 Regression] Wrong |[15/16 Regression] Wrong
                   |points-to set after         |points-to set after
                   |unification in the PTA      |unification in the PTA
                   |solver leads to infinite    |solver leads to infinite
                   |loop at -O2                 |loop at -O2
      Known to work|                            |17.0

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
Thanks for the report - the bug is probably there since forever.