https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106186
--- Comment #6 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:c3d2600cfb476e576fd27f3f29f49e968e86774d commit r13-1503-gc3d2600cfb476e576fd27f3f29f49e968e86774d Author: Richard Biener <rguent...@suse.de> Date: Tue Jul 5 11:38:52 2022 +0200 tree-optimization/106186 - propagate out virtual LC PHI nodes properly The code to remove LC PHI nodes in clean_up_loop_closed_phi does not handle virtual operands because may_propagate_copy generally returns false for them. The following copies the merge_blocks variant for dealing with them. This fixes a missed jump threading in gcc.dg/auto-init-uninit-4.c which manifests in bogus uninit diagnostics. PR tree-optimization/106186 * tree-ssa-propagate.cc (clean_up_loop_closed_phi): Properly handle virtual PHI nodes.