https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112282
--- Comment #15 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:5cb8610d3a8f8849a4bb6a0f81a2934484d6a15a commit r14-5493-g5cb8610d3a8f8849a4bb6a0f81a2934484d6a15a Author: Richard Biener <rguent...@suse.de> Date: Wed Nov 15 12:24:46 2023 +0100 tree-optimization/112282 - wrong-code with ifcvt hoisting The following avoids hoisting of invariants from conditionally executed parts of an if-converted loop. That now makes a difference since we perform bitfield lowering even when we do not actually if-convert the loop. if-conversion deals with resetting flow-sensitive info when necessary already. PR tree-optimization/112282 * tree-if-conv.cc (ifcvt_hoist_invariants): Only hoist from the loop header. * gcc.dg/torture/pr112282.c: New testcase.