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

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

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

Drea Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |14.4.0, 6.1.0
            Summary|Wrong points-to set after   |[15/16/17 Regression] Wrong
                   |unification in the PTA      |points-to set after
                   |solver leads to infinite    |unification in the PTA
                   |loop at -O2                 |solver leads to infinite
                   |                            |loop at -O2
           Keywords|                            |needs-bisection
     Ever confirmed|0                           |1
   Target Milestone|---                         |15.4
   Last reconfirmed|                            |2026-10-27
             Status|UNCONFIRMED                 |NEW
      Known to fail|                            |15.1.0

--- Comment #2 from Drea Pinski <pinskia at gcc dot gnu.org> ---
Confirmed.