From ad08894ea02b6308c4ed4e8cd8e6a564c2f581e8 Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Tue, 13 Sep 2022 08:46:51 +0200 Subject: [PATCH] tree-optimization/106913 - ICE with -da and -Wuninitialized The following avoids setting and not clearing an auto_bb_flag on EXIT_BLOCK which we don't verify for such stale flags but dump_bb_info still asserts on them. PR tree-optimization/106913 * tree-ssa-uninit.cc (warn_uninitialized_vars): Do not set ft_reachable on EXIT_BLOCK. --- gcc/tree-ssa-uninit.cc | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/gcc/tree-ssa-uninit.cc b/gcc/tree-ssa-uninit.cc index 4a1c333d9cbf..eae29f88f9db 100644 --- a/gcc/tree-ssa-uninit.cc +++ b/gcc/tree-ssa-uninit.cc @@ -1013,11 +1013,9 @@ warn_uninitialized_vars (bool wmaybe_uninit) if (ee) bb = ee->dest; else - { - bb = get_immediate_dominator (CDI_POST_DOMINATORS, bb); - if (!bb || bb->index == EXIT_BLOCK) - break; - } + bb = get_immediate_dominator (CDI_POST_DOMINATORS, bb); + if (!bb || bb->index == EXIT_BLOCK) + break; } FOR_EACH_BB_FN (bb, cfun) -- 2.47.2