diff mbox series

[COMMITTED] ada: Remove No_Dynamic_Priorities from Restricted_Tasking

Message ID 20231219143047.455362-1-poulhies@adacore.com
State Accepted
Headers
Series [COMMITTED] ada: Remove No_Dynamic_Priorities from Restricted_Tasking |

Checks

Context Check Description
snail/gcc-patch-check success Github commit url

Commit Message

Marc Poulhiès Dec. 19, 2023, 2:30 p.m. UTC 
  From: Johannes Kliemann <kliemann@adacore.com>

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.

Tested on x86_64-pc-linux-gnu, committed on master.

---
 gcc/ada/libgnat/s-rident.ads | 1 -
 1 file changed, 1 deletion(-)
diff mbox series

Patch

diff --git a/gcc/ada/libgnat/s-rident.ads b/gcc/ada/libgnat/s-rident.ads
index de8b20edd7a..d280cfc219f 100644
--- a/gcc/ada/libgnat/s-rident.ads
+++ b/gcc/ada/libgnat/s-rident.ads
@@ -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,