[Bug tree-optimization/126110] [16/17 Regression] VRP does not optimize a gimple_assign like it does GIMPLE_COND sometimes

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

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |needs-bisection
      Known to work|                            |11.1.0, 12.1.0, 13.1.0,
                   |                            |15.1.0
   Target Milestone|---                         |16.2
            Summary|VRP does not optimize a     |[16/17 Regression] VRP does
                   |gimple_assign like it does  |not optimize a
                   |GIMPLE_COND sometimes       |gimple_assign like it does
                   |                            |GIMPLE_COND sometimes
      Known to fail|                            |16.1.0

--- Comment #3 from Drea Pinski <pinskia at gcc dot gnu.org> ---
This is a semi-recent regression.

Worked in GCC 15.3.0 but fails in 16.1.0.

15.3.0 had:
Folding statement: _5 = set_6 == 0B;
Queued stmt for removal.  Folds to: 0

While 16.1.0 has:
Folding statement: _5 = set_6 == 0B;
Not folded