From e35ecc880f405e06fdbd2f700863477fd2f25186 Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Thu, 21 Jul 2022 11:32:27 +0200 Subject: [Ada] Cleanup iteration over aggregate component associations Code cleanup related to fixes for iterated component associations in GNATprove ; semantics is unaffected. gcc/ada/ * sem_aggr.adb (Resolve_Container_Aggregate): Style cleanup. (Resolve_Record_Aggregate): Remove redundant guard. --- gcc/ada/sem_aggr.adb | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/gcc/ada/sem_aggr.adb b/gcc/ada/sem_aggr.adb index c9c0a76..4ad4a29 100644 --- a/gcc/ada/sem_aggr.adb +++ b/gcc/ada/sem_aggr.adb @@ -3182,7 +3182,7 @@ package body Sem_Aggr is end if; end; - elsif Present (Add_Named_Subp) then + elsif Present (Add_Named_Subp) then declare -- Retrieves types of container, key, and element from the -- specified insertion procedure. @@ -5048,9 +5048,7 @@ package body Sem_Aggr is -- OTHERS cannot be used. -- Positional and named associations cannot be mixed. - if Present (Component_Associations (N)) - and then Present (First (Component_Associations (N))) - then + if Present (Component_Associations (N)) then declare Assoc : Node_Id; -- cgit v1.1