From 1f068a17811a89035e43894686b333e9070f45ef Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Wed, 11 Jan 2023 00:16:18 +0100 Subject: ada: Remove redundant protection against empty lists Calls to First on No_List intentionally return Empty node, so explicit guards against No_List are unnecessary. Code cleanup; semantics is unaffected. gcc/ada/ * sem_util.adb (New_Copy_Tree): Remove redundant calls to Present. --- gcc/ada/sem_util.adb | 15 ++++++--------- 1 file changed, 6 insertions(+), 9 deletions(-) (limited to 'gcc') diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index 5ec0140..eb0d08a1 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -24167,14 +24167,12 @@ package body Sem_Util is -- Note that the element of a syntactic list is always a node, never -- an entity or itype, hence the call to Visit_Node. - if Present (List) then - Elmt := First (List); - while Present (Elmt) loop - Visit_Node (Elmt); + Elmt := First (List); + while Present (Elmt) loop + Visit_Node (Elmt); - Next (Elmt); - end loop; - end if; + Next (Elmt); + end loop; end Visit_List; ---------------- @@ -24206,8 +24204,7 @@ package body Sem_Util is -- If the node is a block, we need to process all declarations -- in the block and make new entities for each. - if Nkind (N) = N_Block_Statement and then Present (Declarations (N)) - then + if Nkind (N) = N_Block_Statement then declare Decl : Node_Id := First (Declarations (N)); -- cgit v1.1