]> gcc.gnu.org Git - gcc.git/commitdiff
ada: Remove No_Dynamic_Priorities from Restricted_Tasking
authorJohannes Kliemann <kliemann@adacore.com>
Tue, 28 Nov 2023 12:00:45 +0000 (12:00 +0000)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 19 Dec 2023 14:27:49 +0000 (15:27 +0100)
Some of our restricted runtimes support dynamic priorities. The binder
needs to generate code for a restricted runtime even if the restriction
No_Dynamic_Priorities is not in place.

gcc/ada/

* libgnat/s-rident.ads: Remove No_Dynamic_Priorities from
Restricted_Tasking.

gcc/ada/libgnat/s-rident.ads

index de8b20edd7a08c1b04d143ab7e4a7aacfb62f159..d280cfc219f6fc45dec91185c4a09c971a4f3504 100644 (file)
@@ -449,7 +449,6 @@ package System.Rident is
                            No_Asynchronous_Control         => True,
                            No_Dynamic_Attachment           => True,
                            No_Dynamic_CPU_Assignment       => True,
-                           No_Dynamic_Priorities           => True,
                            No_Local_Protected_Objects      => True,
                            No_Protected_Type_Allocators    => True,
                            No_Requeue_Statements           => True,
This page took 0.061374 seconds and 5 git commands to generate.