https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114090
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
See Also| |https://gcc.gnu.org/bugzill
| |a/show_bug.cgi?id=94920
Keywords| |wrong-code
Target Milestone|--- |13.3
Summary|forwprop -fwrapv |[13/14 Regression] forwprop
|miscompilation |-fwrapv miscompilation
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
The pattern:
/* (x >= 0 ? x : 0) + (x <= 0 ? -x : 0) -> abs x. */
(simplify
(plus:c (max @0 integer_zerop) (max (negate @0) integer_zerop))
(abs @0))
introduced by r13-1785-g633e9920589ddf .
