[gcc r13-1473] [Ada] Remove redundant guard for call to List_Length with a No_List

[gcc r13-1473] [Ada] Remove redundant guard for call to List_Length with a No_List

[Pierre-Marie de Rodat]

https://gcc.gnu.org/g:948f4bc2dd05a55d53076ec72cd558302c1fc50c

commit r13-1473-g948f4bc2dd05a55d53076ec72cd558302c1fc50c
Author: Piotr Trojanek <trojanek@adacore.com>
Date:   Sun May 29 18:06:22 2022 +0200

    [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:
---
 gcc/ada/sem_ch5.adb | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

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