https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112766
--- Comment #4 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:8a6062a47b33da6d961c6354fd5788bc46aef0a9 commit r14-6009-g8a6062a47b33da6d961c6354fd5788bc46aef0a9 Author: Richard Biener <rguent...@suse.de> Date: Thu Nov 30 10:58:13 2023 +0100 tree-optimization/112766 - improve pruning of uninit diagnostics Uninit diagnostics has code to prune based on incoming PHI args that prove the uninit code is never executed. But that only looks at the first found flag candidate while in the PRs case only the second candidate would be the one to prune on. The following patch makes us consider all of the flag candidates which is cycles well spent IMHO. PR tree-optimization/112766 * gimple-predicate-analysis.cc (find_var_cmp_const): Support continuing the iteration and report every candidate. (uninit_analysis::overlap): Iterate over all flag var candidates. * g++.dg/torture/uninit-pr112766.C: New testcase.
