https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102134
--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Visiting statement: Visiting statement: b_13 = b_12(D) * b_12(D); which is likely CONSTANT Lattice value changed to CONSTANT 0x0 (0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd). Adding SSA edges to worklist. marking stmt to be not simulated again ... _2 = _1 & 63; which is likely CONSTANT Lattice value changed to CONSTANT 0x0 (0x3f). Adding SSA edges to worklist. marking stmt to be not simulated again Visiting statement: _3 = b_13 >> _2; which is likely CONSTANT Lattice value changed to CONSTANT 0. Adding SSA edges to worklist. marking stmt to be not simulated again In GCC 11 it was: Visiting statement: _2 = _1 & 63; which is likely CONSTANT Lattice value changed to CONSTANT 0x0 (0x3f). Adding SSA edges to worklist. marking stmt to be not simulated again Visiting statement: _3 = b_13 >> _2; which is likely CONSTANT Lattice value changed to VARYING. Adding SSA edges to worklist.