diff options
| author | Bob Duff <duff@adacore.com> | 2020-06-10 15:55:32 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-07-16 05:18:11 -0400 |
| commit | 504dc34720756d4383f47fa48a0f40a5ad908146 (patch) | |
| tree | 3a521d66aab4a2c34c429f6d38f91c80e27afed2 /gcc/ada/libgnat | |
| parent | eaf6e63a647b8604de960d2fa992c7dd57a5d553 (diff) | |
| download | gcc-504dc34720756d4383f47fa48a0f40a5ad908146.zip gcc-504dc34720756d4383f47fa48a0f40a5ad908146.tar.gz gcc-504dc34720756d4383f47fa48a0f40a5ad908146.tar.bz2 | |
[Ada] Ada2020: AI12-0117 Restriction No_Tasks_Unassigned_To_CPU
gcc/ada/
* libgnat/s-rident.ads (Restriction_Id): Add
No_Tasks_Unassigned_To_CPU.
Diffstat (limited to 'gcc/ada/libgnat')
| -rw-r--r-- | gcc/ada/libgnat/s-rident.ads | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/libgnat/s-rident.ads b/gcc/ada/libgnat/s-rident.ads index 8572016..afec9a4 100644 --- a/gcc/ada/libgnat/s-rident.ads +++ b/gcc/ada/libgnat/s-rident.ads @@ -148,6 +148,7 @@ package System.Rident is No_Task_At_Interrupt_Priority, -- GNAT No_Task_Hierarchy, -- (RM D.7(3), H.4(3)) No_Task_Termination, -- GNAT (Ravenscar) + No_Tasks_Unassigned_To_CPU, -- Ada 202x (D.7(10.10/4)) No_Tasking, -- GNAT No_Terminate_Alternatives, -- (RM D.7(6)) No_Unchecked_Access, -- (RM H.4(18)) |