https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90994
--- Comment #4 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:88f29a8aa82f2788baf2f9865940d4c83012c580 commit r13-2310-g88f29a8aa82f2788baf2f9865940d4c83012c580 Author: Richard Biener <rguent...@suse.de> Date: Wed Aug 31 14:04:46 2022 +0200 tree-optimization/90994 - fix uninit diagnostics with EH r12-3640-g94c12ffac234b2 sneaked in a hack to avoid the diagnostic for the testcase in PR90994 which sees non-call EH control flow confusing predicate analysis. The following patch instead adjusts the existing code handling EH to handle non-calls and do what I think was intented. PR tree-optimization/90994 * gimple-predicate-analysis.cc (predicate::init_from_control_deps): Ignore exceptional control flow and skip the edge for the purpose of predicate generation also for non-calls. * g++.dg/torture/pr90994.C: New testcase.