diff options
Diffstat (limited to 'src/vhdl/translate')
| -rw-r--r-- | src/vhdl/translate/trans-chap8.adb | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/vhdl/translate/trans-chap8.adb b/src/vhdl/translate/trans-chap8.adb index 16dc32b..283ffbc 100644 --- a/src/vhdl/translate/trans-chap8.adb +++ b/src/vhdl/translate/trans-chap8.adb @@ -701,7 +701,9 @@ package body Trans.Chap8 is end if; Expr := Get_Assertion_Condition (Stmt); - if Get_Expr_Staticness (Expr) = Locally then + if Get_Expr_Staticness (Expr) = Locally + and then not Is_Overflow_Literal (Expr) + then if Eval_Pos (Expr) = 1 then -- Assert TRUE is a noop. -- FIXME: generate a noop ? |