diff options
| author | Tristan Gingold | 2015-05-20 21:42:09 +0200 |
|---|---|---|
| committer | Tristan Gingold | 2015-05-20 21:42:09 +0200 |
| commit | 8b96a998627521e45e92b44a52d09853c73ca625 (patch) | |
| tree | 6ea20e7c1eb2b96a31649c5a10e7ed8d95035624 /src/vhdl/translate | |
| parent | 338d9cce77d60cb34cf02c6cab9ceb4a2918938f (diff) | |
| download | ghdl-8b96a998627521e45e92b44a52d09853c73ca625.tar.gz ghdl-8b96a998627521e45e92b44a52d09853c73ca625.tar.bz2 ghdl-8b96a998627521e45e92b44a52d09853c73ca625.zip | |
Fix crash in assert translation for overflow literal.
Fix ticket 75.
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 ? |