diff options
Diffstat (limited to 'gcc/ada/exp_util.adb')
| -rw-r--r-- | gcc/ada/exp_util.adb | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/ada/exp_util.adb b/gcc/ada/exp_util.adb index e919bd6d487..0caf92dc99b 100644 --- a/gcc/ada/exp_util.adb +++ b/gcc/ada/exp_util.adb @@ -3998,6 +3998,9 @@ package body Exp_Util is Typ : constant Entity_Id := Etype (Expr); begin + pragma Assert + (Has_Invariants (Typ) and then Present (Invariant_Procedure (Typ))); + if Check_Enabled (Name_Invariant) or else Check_Enabled (Name_Assertion) |