From: Bob Duff <duff@adacore.com>
Date: Wed, 10 Jun 2020 19:55:32 +0000 (-0400)
Subject: [Ada] Ada2020: AI12-0117 Restriction No_Tasks_Unassigned_To_CPU
X-Git-Tag: basepoints/gcc-12~6096
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=504dc34720756d4383f47fa48a0f40a5ad908146;p=thirdparty%2Fgcc.git

[Ada] Ada2020: AI12-0117 Restriction No_Tasks_Unassigned_To_CPU

gcc/ada/

	* libgnat/s-rident.ads (Restriction_Id): Add
	No_Tasks_Unassigned_To_CPU.
---

diff --git a/gcc/ada/libgnat/s-rident.ads b/gcc/ada/libgnat/s-rident.ads
index 8572016abbee..afec9a47d152 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))