projects / platform / upstream / gcc.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: eaf6e63)
[Ada] Ada2020: AI12-0117 Restriction No_Tasks_Unassigned_To_CPU
authorBob Duff <duff@adacore.com>
Wed, 10 Jun 2020 19:55:32 +0000 (15:55 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 16 Jul 2020 09:18:11 +0000 (05:18 -0400)
gcc/ada/

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

gcc/ada/libgnat/s-rident.ads patch | blob | history

diff --git a/gcc/ada/libgnat/s-rident.ads b/gcc/ada/libgnat/s-rident.ads
index 8572016..afec9a4 100644 (file)
--- 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))
Domain: System / Toolchain;