[Bug tree-optimization/126470] [15/16/17 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" <[email protected]> Wed, 29 Jul 2026 16:40:45 +0000

Newsgroups	gmane.comp.gcc.bugs
Message-ID	<[email protected]/bugzilla/>

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |pinskia at gcc dot gnu.org
   Last reconfirmed|                            |2026-07-29
             Status|UNCONFIRMED                 |ASSIGNED
     Ever confirmed|0                           |1

--- Comment #2 from Drea Pinski <pinskia at gcc dot gnu.org> ---
Will fix since I introduced the pattern.