aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPiotr Trojanek <trojanek@adacore.com>2022-05-29 18:06:22 +0200
committerPierre-Marie de Rodat <derodat@adacore.com>2022-07-05 08:28:17 +0000
commit948f4bc2dd05a55d53076ec72cd558302c1fc50c (patch)
tree778dc5b9c7cb06c9e666dfb5c83fa5ec0f2108d0
parent70bb3298c2b4eaec19490ada47dbc3d7307002af (diff)
downloadgcc-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.adb6
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