diff options
Diffstat (limited to 'gcc/ada/restrict.adb')
| -rw-r--r-- | gcc/ada/restrict.adb | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/gcc/ada/restrict.adb b/gcc/ada/restrict.adb index 8c0f902..1dbd3d5 100644 --- a/gcc/ada/restrict.adb +++ b/gcc/ada/restrict.adb @@ -285,6 +285,24 @@ package body Restrict is Check_Restriction (No_Implicit_Heap_Allocations, N); end Check_No_Implicit_Heap_Alloc; + ---------------------------------- + -- Check_No_Implicit_Task_Alloc -- + ---------------------------------- + + procedure Check_No_Implicit_Task_Alloc (N : Node_Id) is + begin + Check_Restriction (No_Implicit_Task_Allocations, N); + end Check_No_Implicit_Task_Alloc; + + --------------------------------------- + -- Check_No_Implicit_Protected_Alloc -- + --------------------------------------- + + procedure Check_No_Implicit_Protected_Alloc (N : Node_Id) is + begin + Check_Restriction (No_Implicit_Protected_Object_Allocations, N); + end Check_No_Implicit_Protected_Alloc; + ----------------------------------- -- Check_Obsolescent_2005_Entity -- ----------------------------------- |