From: Richard Biener <rguenther@suse.de>
Date: Tue, 13 Sep 2022 06:46:51 +0000 (+0200)
Subject: tree-optimization/106913 - ICE with -da and -Wuninitialized
X-Git-Tag: basepoints/gcc-14~4568
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ad08894ea02b6308c4ed4e8cd8e6a564c2f581e8;p=thirdparty%2Fgcc.git

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 --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)