https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110669
--- Comment #9 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-13 branch has been updated by Richard Biener <rgue...@gcc.gnu.org>: https://gcc.gnu.org/g:b8a15313766661309698ad5cd4f000152ce74a52 commit r13-7569-gb8a15313766661309698ad5cd4f000152ce74a52 Author: Richard Biener <rguent...@suse.de> Date: Mon Jul 17 09:20:33 2023 +0200 tree-optimization/110669 - bogus matching of loop bitop The matching code lacked a check that we end up with a PHI node in the loop header. This caused us to match a random PHI argument now catched by the extra PHI_ARG_DEF_FROM_EDGE checking. PR tree-optimization/110669 * tree-scalar-evolution.cc (analyze_and_compute_bitop_with_inv_effect): Check we matched a header PHI. * gcc.dg/torture/pr110669.c: New testcase.
