[Bug tree-optimization/126470] [15/16 Regression] Wrong operand check on a != 0 ? a / b : 0 -> a / b iff b is nonzero fold since r15-307

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

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[15/16/17 Regression] Wrong |[15/16 Regression] Wrong
                   |operand check on a != 0 ? a |operand check on a != 0 ? a
                   |/ b : 0  -> a / b iff b is  |/ b : 0  -> a / b iff b is
                   |nonzero fold since r15-307  |nonzero fold since r15-307

--- Comment #5 from Drea Pinski <pinskia at gcc dot gnu.org> ---
Fixed so far on the trunk.