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_aux.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_aux.adb')
| -rw-r--r-- | gcc/ada/sem_aux.adb | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/gcc/ada/sem_aux.adb b/gcc/ada/sem_aux.adb index 658110f..e7e096f 100644 --- a/gcc/ada/sem_aux.adb +++ b/gcc/ada/sem_aux.adb @@ -728,10 +728,6 @@ package body Sem_Aux is CList : Node_Id; begin - if not Is_Type (Typ) then - return False; - end if; - FSTyp := First_Subtype (Typ); if not Has_Discriminants (FSTyp) then |