From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1666) id E3D463850866; Tue, 13 Sep 2022 08:52:36 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org E3D463850866 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1663059156; bh=gM4DVFcSLyCRk9p7VY4DqOgh0+lwZmiwP2+IaV0mfLI=; h=From:To:Subject:Date:From; b=Yu0ZWIl1OE5w9RcE/xRt5h75X2JymJSAlj+K33hhsLKkp8nQdYydM/zBlmYxkSVyQ 5XzZX7V1xv5GnnuCDB0P+mOtk9Iq221LasddW7kvAYI1Msl0Eb4uwJoi1unfHgauV7 1H+yzbde2alHwNmeY0DcRaAJMKaudMwojz7UB1F8= MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Richard Biener To: gcc-cvs@gcc.gnu.org Subject: [gcc r13-2639] tree-optimization/106913 - ICE with -da and -Wuninitialized X-Act-Checkin: gcc X-Git-Author: Richard Biener X-Git-Refname: refs/heads/master X-Git-Oldrev: 721c0fb3aca31d3bf8ad6e929eab32e29a427e60 X-Git-Newrev: ad08894ea02b6308c4ed4e8cd8e6a564c2f581e8 Message-Id: <20220913085236.E3D463850866@sourceware.org> Date: Tue, 13 Sep 2022 08:52:36 +0000 (GMT) List-Id: https://gcc.gnu.org/g:ad08894ea02b6308c4ed4e8cd8e6a564c2f581e8 commit r13-2639-gad08894ea02b6308c4ed4e8cd8e6a564c2f581e8 Author: Richard Biener Date: Tue Sep 13 08:46:51 2022 +0200 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. Diff: --- 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 4a1c333d9cb..eae29f88f9d 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)