[Ada] Implement AI12-0291 (Jorvik profile)
authorSteve Baird <baird@adacore.com>
Thu, 20 Feb 2020 00:27:47 +0000 (16:27 -0800)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 8 Jun 2020 07:51:11 +0000 (03:51 -0400)
commita998e58bf019c7174a7480fc4d46ec9fcbc4cd92
tree46d3127104e32fd2d2fc898284dd539933c5e7fc
parent4b8c2c4ba3566f8dd6d256e4b93321410782a0b4
[Ada] Implement AI12-0291 (Jorvik profile)

2020-06-08  Steve Baird  <baird@adacore.com>

gcc/ada/

* libgnat/s-rident.ads: Add Jorvik to the Profile_Name
enumeration type.  Add an element for Jorvik to the array
aggregate that is the initial value of the constant
Profile_Info.
* targparm.adb (Get_Target_Parameters): Handle "pragma Profile
(Jorvik);" similarly to "pragma Profile (Ravenscar);".
* snames.ads-tmpl: Declare Name_Jorvik Name_Id. Unlike
Ravenscar, Jorvik is not a pragma name and has no corresponding
element in the Pragma_Id enumeration type; this means that its
declaration must not occur between those of First_Pragma_Name
and Last_Pragma_Name.
* sem_prag.adb (Analyze_Pragma): Add call to
Set_Ravenscar_Profile for Jorvik, similar to the existing calls
for Ravenscar and the GNAT Ravenscar variants.
gcc/ada/libgnat/s-rident.ads
gcc/ada/sem_prag.adb
gcc/ada/snames.ads-tmpl
gcc/ada/targparm.adb