[Bug tree-optimization/127357] [15/16/17 Regression] signed_integer_sat_add single-AND recognizer over-fires and cause miscompile

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

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|signed_integer_sat_add      |[15/16/17 Regression]
                   |single-AND recognizer       |signed_integer_sat_add
                   |over-fires and cause        |single-AND recognizer
                   |miscompile                  |over-fires and cause
                   |                            |miscompile
      Known to work|                            |14.4.0
   Target Milestone|---                         |15.4
      Known to fail|                            |15.1.0