diff options
author | Piotr Trojanek <trojanek@adacore.com> | 2022-07-21 11:32:27 +0200 |
---|---|---|
committer | Marc Poulhiès <poulhies@adacore.com> | 2022-09-05 09:21:06 +0200 |
commit | e35ecc880f405e06fdbd2f700863477fd2f25186 (patch) | |
tree | d95a8a4085b1e385db25760a4fbebdab12593145 | |
parent | 2f578c3e50eb14d89087e2b34fd856c44b086123 (diff) | |
download | gcc-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.adb | 6 |
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; |