From: Piotr Trojanek <trojanek@adacore.com>
Date: Sun, 29 May 2022 16:06:22 +0000 (+0200)
Subject: [Ada] Remove redundant guard for call to List_Length with a No_List
X-Git-Tag: basepoints/gcc-14~5734
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=948f4bc2dd05a55d53076ec72cd558302c1fc50c;p=thirdparty%2Fgcc.git

[Ada] Remove redundant guard for call to List_Length with a No_List

Code cleanup related to a new detection of uninitialised local scalar
objects; semantics is unaffected.

gcc/ada/

	* sem_ch5.adb (Analyze_Block_Statement): Call to List_Length with
	No_List is safe and will return zero.
---

diff --git a/gcc/ada/sem_ch5.adb b/gcc/ada/sem_ch5.adb
index c5c8a7c87ac..1f3ea556235 100644
--- a/gcc/ada/sem_ch5.adb
+++ b/gcc/ada/sem_ch5.adb
@@ -1376,11 +1376,7 @@ package body Sem_Ch5 is
          --  Initialize unblocked exit count for statements of begin block
          --  plus one for each exception handler that is present.
 
-         Unblocked_Exit_Count := 1;
-
-         if Present (EH) then
-            Unblocked_Exit_Count := Unblocked_Exit_Count + List_Length (EH);
-         end if;
+         Unblocked_Exit_Count := 1 + List_Length (EH);
 
          --  If a label is present analyze it and mark it as referenced