diff options
author | Piotr Trojanek <trojanek@adacore.com> | 2023-03-17 14:10:03 +0100 |
---|---|---|
committer | Marc Poulhiès <poulhies@adacore.com> | 2023-05-26 09:29:17 +0200 |
commit | 10bb8c4ea8a1b6c7056d3a36a69702588412b0c5 (patch) | |
tree | 287d88b0884741821fa16ca1eea2523ee5e0d422 /gcc/ada/sem_aggr.adb | |
parent | 16c320507774ca38e0eb3d1c4116c9dcb3f2e598 (diff) | |
download | gcc-10bb8c4ea8a1b6c7056d3a36a69702588412b0c5.zip gcc-10bb8c4ea8a1b6c7056d3a36a69702588412b0c5.tar.gz gcc-10bb8c4ea8a1b6c7056d3a36a69702588412b0c5.tar.bz2 |
ada: Cleanups in handling of aggregates
Assorted cleanups related to recent fixes of aggregate handling for
GNATprove; semantics is unaffected.
gcc/ada/
* sem_aggr.adb
(Resolve_Record_Aggregate): Remove useless assignment.
* sem_aux.adb
(Has_Variant_Part): Remove useless guard; this routine is only called
on type entities (and now will crash in other cases).
* sem_ch3.adb
(Create_Constrained_Components): Only assign Assoc_List when necessary;
tune whitespace.
(Is_Variant_Record): Refactor repeated calls to Parent.
* sem_util.adb
(Gather_Components): Assert that discriminant association has just one
choice in component_association; refactor repeated calls to Next.
* sem_util.ads
(Gather_Components): Tune whitespace in comment.
Diffstat (limited to 'gcc/ada/sem_aggr.adb')
-rw-r--r-- | gcc/ada/sem_aggr.adb | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gcc/ada/sem_aggr.adb b/gcc/ada/sem_aggr.adb index e764327..858ae63 100644 --- a/gcc/ada/sem_aggr.adb +++ b/gcc/ada/sem_aggr.adb @@ -5674,7 +5674,6 @@ package body Sem_Aggr is -- STEP 6: Find component Values - Component := Empty; Component_Elmt := First_Elmt (Components); -- First scan the remaining positional associations in the aggregate. |