diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2024-05-13 16:15:10 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2024-06-14 09:34:50 +0200 |
| commit | 97810ccb01b21dd8c5ed4e84d5aa2bc6c0dd8a45 (patch) | |
| tree | 8822af0c448205688e84728d2276b232ded6be54 /gcc/tree-vect-loop.cc | |
| parent | 5d429a206c0784435cf963cbfd645cb4e7733795 (diff) | |
| download | gcc-97810ccb01b21dd8c5ed4e84d5aa2bc6c0dd8a45.zip gcc-97810ccb01b21dd8c5ed4e84d5aa2bc6c0dd8a45.tar.gz gcc-97810ccb01b21dd8c5ed4e84d5aa2bc6c0dd8a45.tar.bz2 | |
ada: Fix parts of classification of aspects
Many aspects are (correctly) marked as GNAT-specific but nevertheless not
listed in the Implementation_Defined_Aspect array, so this aligns the two
sides and also removes Default_Initial_Condition and Object_Size from the
list, since they are defined in Ada 2022.
This also moves No_Controlled_Parts and No_Task_Parts to the subclass of
boolean aspects, and completes the list of nonoverridable aspects defined
in Ada 2022.
gcc/ada/
* aspects.ads (Aspect_Id): Alphabetize, remove the GNAT tag from
Default_Initial_Condition and Object_Size, move No_Controlled_Parts
and No_Task_Parts to boolean subclass.
(Nonoverridable_Aspect_Id): Add missing Ada 2022 aspects.
(Implementation_Defined_Aspect): Add all missing aspects, remove
Max_Entry_Queue_Length and Object_Size
(Aspect_Argument): Remove specific entries for No_Controlled_Parts
and No_Task_Parts, list boolean aspects last.
(Is_Representation_Aspect ): Move boolean aspects last.
(Aspect_Names): Alphabetize.
* sem_ch13.adb (Analyze_Aspect_Disable_Controlled): Adjust.
(Analyze_Aspect_Specifications): Move around processing for
No_Controlled_Parts and No_Task_Parts.
(Check_Aspect_At_Freeze_Point): Remove specific entries for
No_Controlled_Parts and No_Task_Parts
Diffstat (limited to 'gcc/tree-vect-loop.cc')
0 files changed, 0 insertions, 0 deletions