https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125419
--- Comment #7 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The trunk branch has been updated by Andrew Pinski <[email protected]>: https://gcc.gnu.org/g:b57b0a72eb482eeeb2572119a0a362869d5b957a commit r17-703-gb57b0a72eb482eeeb2572119a0a362869d5b957a Author: Andrew Pinski <[email protected]> Date: Fri May 22 12:07:28 2026 -0700 ifcvt: factor: turn asserts about abnormals to conditional [PR125419] I missed that factor_out_operators might look further up when it is doing its factoring so we end up with a statement that ssa names that are used in abnormal edges. This changes the asserts to just reject the factoring instead. Bootstrapped and tested on x86_64-linx-gnu. PR tree-optimization/125419 gcc/ChangeLog: * tree-if-conv.cc (factor_out_operators): Change asserts about abnormals into a conditional to reject it. gcc/testsuite/ChangeLog: * gcc.dg/torture/pr125419-1.c: New test. Signed-off-by: Andrew Pinski <[email protected]>
