diff options
author | Tristan Gingold <tgingold@free.fr> | 2016-12-19 13:19:37 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2016-12-19 13:19:37 +0100 |
commit | d8ae737938689cdac8f96e0b86815b0c95aef692 (patch) | |
tree | effa9ef5e0d47493468813d86bfc222ebc26a775 | |
parent | a972d7cc04e1a7b996a513a6a2e521b770651157 (diff) | |
download | ghdl-d8ae737938689cdac8f96e0b86815b0c95aef692.tar.gz ghdl-d8ae737938689cdac8f96e0b86815b0c95aef692.tar.bz2 ghdl-d8ae737938689cdac8f96e0b86815b0c95aef692.zip |
sem_psl: evaluate condition of normal assertion statement.
-rw-r--r-- | src/vhdl/sem_psl.adb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/vhdl/sem_psl.adb b/src/vhdl/sem_psl.adb index 5e5b3d3c5..2ba69df4c 100644 --- a/src/vhdl/sem_psl.adb +++ b/src/vhdl/sem_psl.adb @@ -27,6 +27,7 @@ with Sem_Scopes; with Sem_Names; with Std_Names; with Iirs_Utils; use Iirs_Utils; +with Evaluation; use Evaluation; with Std_Package; with Ieee.Std_Logic_1164; with Errorout; use Errorout; @@ -575,6 +576,7 @@ package body Sem_Psl is then Cond := Sem_Expr.Insert_Condition_Operator (Cond); end if; + Cond := Eval_Expr_If_Static (Cond); Set_Assertion_Condition (Res, Cond); Set_Label (Res, Get_Label (Stmt)); Set_Severity_Expression (Res, Get_Severity_Expression (Stmt)); |