diff options
author | Piotr Trojanek <trojanek@adacore.com> | 2022-05-29 18:06:22 +0200 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-07-05 08:28:17 +0000 |
commit | 948f4bc2dd05a55d53076ec72cd558302c1fc50c (patch) | |
tree | 778dc5b9c7cb06c9e666dfb5c83fa5ec0f2108d0 | |
parent | 70bb3298c2b4eaec19490ada47dbc3d7307002af (diff) | |
download | gcc-948f4bc2dd05a55d53076ec72cd558302c1fc50c.zip gcc-948f4bc2dd05a55d53076ec72cd558302c1fc50c.tar.gz gcc-948f4bc2dd05a55d53076ec72cd558302c1fc50c.tar.bz2 |
[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.
-rw-r--r-- | gcc/ada/sem_ch5.adb | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/gcc/ada/sem_ch5.adb b/gcc/ada/sem_ch5.adb index c5c8a7c..1f3ea55 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 |