aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPiotr Trojanek <trojanek@adacore.com>2022-07-21 11:32:27 +0200
committerMarc Poulhiès <poulhies@adacore.com>2022-09-05 09:21:06 +0200
commite35ecc880f405e06fdbd2f700863477fd2f25186 (patch)
treed95a8a4085b1e385db25760a4fbebdab12593145
parent2f578c3e50eb14d89087e2b34fd856c44b086123 (diff)
downloadgcc-e35ecc880f405e06fdbd2f700863477fd2f25186.zip
gcc-e35ecc880f405e06fdbd2f700863477fd2f25186.tar.gz
gcc-e35ecc880f405e06fdbd2f700863477fd2f25186.tar.bz2
[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.
-rw-r--r--gcc/ada/sem_aggr.adb6
1 files 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;