https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123887
--- Comment #6 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Richard Biener <[email protected]>: https://gcc.gnu.org/g:c1fa15791ae458e1bd8db6842dfc021230521a65 commit r16-7198-gc1fa15791ae458e1bd8db6842dfc021230521a65 Author: Richard Biener <[email protected]> Date: Fri Jan 30 15:32:39 2026 +0100 middle-end/123887 - trapping conditional operand turned unconditional The following properly checks expr_no_side_effects_p on two patterns that turns a conditionally evaluated operand into unconditonal. PR middle-end/123887 * match.pd ((zero_one ==/!= 0) ? .. z <op> y .. -> zero_one * z ..): Check evaluating z unconditionally has no side-effects, like trapping. * gcc.dg/torture/pr123887.c: New testcase.
