[Ada] Turn GNAT_Annotate into its own pragma
authorGhjuvan Lacambre <lacambre@adacore.com>
Wed, 17 Mar 2021 17:33:34 +0000 (18:33 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 5 Jul 2021 13:09:11 +0000 (13:09 +0000)
commit36d4f97d589085ddb0abccf3e0f76a3a1c8045c2
treebc2fa1aa5114abe2e6742cb3f6905978d7a72a99
parent22c0e0cabd0d9c1f100e7a5f43c8781198e3448e
[Ada] Turn GNAT_Annotate into its own pragma

gcc/ada/

* aspects.ads: Add GNAT_Annotate aspect.
* gnat1drv.adb (Adjust_Global_Switches): Stop defining
Name_Gnat_Annotate as an alias of Name_Annotate.
* snames.ads-tmpl: Define Gnat_Annotate.
* par-prag.adb, sem_prag.ads: Add Pragma_Gnat_Annotate to list
of pragmas.
* lib-writ.adb, sem_ch13.adb, sem_prag.adb: Handle Gnat_Annotate
like Aspect_Annotate.
gcc/ada/aspects.ads
gcc/ada/gnat1drv.adb
gcc/ada/lib-writ.adb
gcc/ada/par-prag.adb
gcc/ada/sem_ch13.adb
gcc/ada/sem_prag.adb
gcc/ada/sem_prag.ads
gcc/ada/snames.ads-tmpl