https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110669
--- Comment #8 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Richard Biener <rgue...@gcc.gnu.org>: https://gcc.gnu.org/g:3228e5c078ed2b505e4ad238b09c1817b38f9cfb commit r14-2559-g3228e5c078ed2b505e4ad238b09c1817b38f9cfb 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.
