From d8ae737938689cdac8f96e0b86815b0c95aef692 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Mon, 19 Dec 2016 13:19:37 +0100
Subject: sem_psl: evaluate condition of normal assertion statement.

---
 src/vhdl/sem_psl.adb | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src')

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));
-- 
cgit v1.2.3