| commit | d4175ef48ba562f6fb8098b6fa000f3d77e11e1b | |
| author | Ghjuvan Lacambre <lacambre@adacore.com> | |
| Mon, 11 May 2020 11:51:13 +0000 (11 13:51 +0200) | ||
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | |
| Tue, 7 Jul 2020 09:26:55 +0000 (7 05:26 -0400) | ||
| tree | c2d4d1476bf72c6c8897fcb3884925e1dcde0eb3 | treesnapshot (tar.gz zip) |
| parent | 58e07eaae447b73763ae390a13a613a6b70679ce | commitdiff |
[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/
* 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 | diffblobblamehistory | |
| gcc/ada/restrict.ads | diffblobblamehistory | |
| gcc/ada/sem_ch13.adb | diffblobblamehistory | |
| gcc/ada/sem_prag.adb | diffblobblamehistory |