]> git.ipfire.org Git - thirdparty/gcc.git/commit
[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)
committerGiuliano Belinassi <giuliano.belinassi@usp.br>
Mon, 17 Aug 2020 16:16:31 +0000 (13:16 -0300)
commit2937a6c3c71ab4cbd8d49d833dfd1bdf48425884
treee2a67dbdc231ca15a17d3cdafcb65776259f4e5a
parentdaa61e606b6626b4328705097cc2d563075201b0
[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