[Ada] Ensure No_Specification_Of_Aspect forbids pragmas and repr. clauses
authorGhjuvan Lacambre <lacambre@adacore.com>
Mon, 11 May 2020 11:51:13 +0000 (13:51 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 7 Jul 2020 09:26:55 +0000 (05:26 -0400)
commitd4175ef48ba562f6fb8098b6fa000f3d77e11e1b
treec2d4d1476bf72c6c8897fcb3884925e1dcde0eb3
parent58e07eaae447b73763ae390a13a613a6b70679ce
[Ada] Ensure No_Specification_Of_Aspect forbids pragmas and repr. clauses

gcc/ada/

* sem_ch13.adb (Analyze_Attribute_Definition_Clause): Add call
to Check_Restriction_No_Specification_Of_Aspect.
* sem_prag.adb (Analyze_Pragma): Likewise.
* restrict.ads (Check_Restriction_No_Specification_Of_Aspect):
Mention possible new node kinds in documentation.
* restrict.adb (Check_Restriction_No_Specification_Of_Aspect):
Retrieve aspect id from different fields if given node is an
N_Pragma or an N_Attribute_Definition_Clause.
gcc/ada/restrict.adb
gcc/ada/restrict.ads
gcc/ada/sem_ch13.adb
gcc/ada/sem_prag.adb