diff options
Diffstat (limited to 'gcc/ada/exp_prag.ads')
-rw-r--r-- | gcc/ada/exp_prag.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/ada/exp_prag.ads b/gcc/ada/exp_prag.ads index 9f810da..10ccaf7 100644 --- a/gcc/ada/exp_prag.ads +++ b/gcc/ada/exp_prag.ads @@ -31,6 +31,10 @@ package Exp_Prag is procedure Expand_N_Pragma (N : Node_Id); + procedure Expand_Pragma_Always_Terminates (Prag : Node_Id); + -- This routine only exists for consistency with other pragmas, since + -- Always_Terminates has no meaningful expansion. + procedure Expand_Pragma_Contract_Cases (CCs : Node_Id; Subp_Id : Entity_Id; |