OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[Ada] Ada2020: AI12-0117 Restriction No_Tasks_Unassigned_To_CPU

Browse Source 
gcc/ada/

	* libgnat/s-rident.ads (Restriction_Id): Add
	No_Tasks_Unassigned_To_CPU.
This commit is contained in:
Bob Duff 2020-06-10 15:55:32 -04:00 committed by Pierre-Marie de Rodat
parent eaf6e63a64
commit 504dc34720
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
gcc/ada/libgnat/s-rident.ads
View File

@ -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))