[Ada] Remove redundant guard for call to List_Length with a No_List
authorPiotr Trojanek <trojanek@adacore.com>
Sun, 29 May 2022 16:06:22 +0000 (18:06 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 5 Jul 2022 08:28:17 +0000 (08:28 +0000)
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.

gcc/ada/sem_ch5.adb

index c5c8a7c..1f3ea55 100644 (file)
@@ -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