From 504dc34720756d4383f47fa48a0f40a5ad908146 Mon Sep 17 00:00:00 2001 From: Bob Duff Date: Wed, 10 Jun 2020 15:55:32 -0400 Subject: [PATCH] [Ada] Ada2020: AI12-0117 Restriction No_Tasks_Unassigned_To_CPU gcc/ada/ * libgnat/s-rident.ads (Restriction_Id): Add No_Tasks_Unassigned_To_CPU. --- gcc/ada/libgnat/s-rident.ads | 1 + 1 file changed, 1 insertion(+) 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)) -- 2.7.4