diff options
Diffstat (limited to 'gcc/ada/sem_prag.adb')
| -rw-r--r-- | gcc/ada/sem_prag.adb | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index 01d6aee..20b63b8 100644 --- a/gcc/ada/sem_prag.adb +++ b/gcc/ada/sem_prag.adb @@ -253,8 +253,11 @@ package body Sem_Prag is -- Preanalyze the boolean expression, we treat this as a spec expression -- (i.e. similar to a default expression). + pragma Assert (In_Pre_Post_Expression = False); + In_Pre_Post_Expression := True; Preanalyze_Spec_Expression (Get_Pragma_Arg (Arg1), Standard_Boolean); + In_Pre_Post_Expression := False; -- Remove the subprogram from the scope stack now that the pre-analysis -- of the precondition/postcondition is done. |