diff options
| author | Steve Baird <baird@adacore.com> | 2020-02-20 15:35:51 -0800 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-08 03:51:16 -0400 |
| commit | 48b799ea9a6a252c355947f33f78f43a38fe31b0 (patch) | |
| tree | b98b7831933ddca88ef4e76e21e48a964b6175d4 /libgcc | |
| parent | 63408d0eb2f6fd33b6b423396e3d80d54f3235ae (diff) | |
| download | gcc-48b799ea9a6a252c355947f33f78f43a38fe31b0.zip gcc-48b799ea9a6a252c355947f33f78f43a38fe31b0.tar.gz gcc-48b799ea9a6a252c355947f33f78f43a38fe31b0.tar.bz2 | |
[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).
Diffstat (limited to 'libgcc')
0 files changed, 0 insertions, 0 deletions