diff options
Diffstat (limited to 'gcc/ada/restrict.ads')
| -rw-r--r-- | gcc/ada/restrict.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/ada/restrict.ads b/gcc/ada/restrict.ads index c491ca9..c006fd6 100644 --- a/gcc/ada/restrict.ads +++ b/gcc/ada/restrict.ads @@ -225,6 +225,10 @@ package Restrict is -- "|~~" (error not serious, language prepended). Call has no effect if -- not in formal mode, or if N does not come originally from source. + procedure Check_Formal_Restriction (Msg1, Msg2 : String; N : Node_Id); + -- Same as Check_Formal_Restriction except there is a continuation message + -- Msg2 following the initial message Msg1. + procedure Check_Implicit_Dynamic_Code_Allowed (N : Node_Id); -- Tests to see if dynamic code generation (dynamically generated -- trampolines, in particular) is allowed by the current restrictions |