[Ada] Simplify aspect processing with membership tests
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 14 Oct 2020 22:39:29 +0000 (00:39 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 25 Nov 2020 13:22:38 +0000 (08:22 -0500)
commit28488f5ff5abe8edec60d45599dcb85c735989d0
treedb5d592d23e3247b099a1fd67e661f4ca3ed767f
parenta79039c0ebcfbc1cd5b81004828626f1a81e790d
[Ada] Simplify aspect processing with membership tests

gcc/ada/

* sem_ch13.adb (Analyze_One_Aspect): Detect aspect identifiers
with membership tests.
(Check_Aspect_At_End_Of_Declarations): Likewise.
(Freeze_Entity_Checks): Likewise; a local constant is no longer
needed.
(Is_Operational_Item): Similar simplification for attribute
identifiers.
(Is_Type_Related_Rep_Item): Likewise.
(Resolve_Iterable_Operation): Detect names with a membership
test.
(Validate_Independence): Replace repeated Ekind with a
membership test.
gcc/ada/sem_ch13.adb