https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112909
--- Comment #3 from GCC 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:5e25baa7e577f9b73f746005efb5ccd4e000e51e commit r14-6319-g5e25baa7e577f9b73f746005efb5ccd4e000e51e Author: Richard Biener <rguent...@suse.de> Date: Fri Dec 8 09:14:43 2023 +0100 tree-optimization/112909 - uninit diagnostic with abnormal copy The following avoids spurious uninit diagnostics for SSA name copies which mostly appear when the source is marked as abnormal which prevents copy propagation. To prevent regressions I remove the bail out for anonymous SSA names in the PHI arg place from warn_uninitialized_phi leaving that to warn_uninit where I handle SSA copies from a SSA name which isn't anonymous. In theory this might cause more valid and false positive diagnostics to pop up. PR tree-optimization/112909 * tree-ssa-uninit.cc (find_uninit_use): Look through a single level of SSA name copies with single use. * gcc.dg/uninit-pr112909.c: New testcase.
