]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 63408d0) | patch
[Ada] Implement AI12-0073 (Ravenscar disallows Synchronous_Barriers)
authorSteve Baird <baird@adacore.com>
Thu, 20 Feb 2020 23:35:51 +0000 (15:35 -0800)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 8 Jun 2020 07:51:16 +0000 (03:51 -0400)
commit48b799ea9a6a252c355947f33f78f43a38fe31b0
treeb98b7831933ddca88ef4e76e21e48a964b6175d4tree | snapshot
parent63408d0eb2f6fd33b6b423396e3d80d54f3235aecommit | diff
[Ada] Implement AI12-0073 (Ravenscar disallows Synchronous_Barriers)

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

gcc/ada/

* sem_prag.adb (Analyze_Pragma.Set_Ravenscar_Profile): Add
appropriate call to Set_Restriction_No_Dependence if Ada_Version
>= Ada2012 and Profile is either Ravenscar or a GNAT-defined
Ravenscar variant (i.e., not Jorvik).
gcc/ada/sem_prag.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git