aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl/vhdl-sem_psl.adb
diff options
context:
space:
mode:
Diffstat (limited to 'src/vhdl/vhdl-sem_psl.adb')
-rw-r--r--src/vhdl/vhdl-sem_psl.adb5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/vhdl/vhdl-sem_psl.adb b/src/vhdl/vhdl-sem_psl.adb
index 7bf1f1f6c..3843a3ff7 100644
--- a/src/vhdl/vhdl-sem_psl.adb
+++ b/src/vhdl/vhdl-sem_psl.adb
@@ -666,6 +666,9 @@ package body Vhdl.Sem_Psl is
Set_Severity_Expression (Res, Get_Severity_Expression (Stmt));
Set_Report_Expression (Res, Get_Report_Expression (Stmt));
Set_Postponed_Flag (Res, Get_Postponed_Flag (Stmt));
+
+ Set_Parent (Res, Get_Parent (Stmt));
+ Set_Chain (Res, Get_Chain (Stmt));
return Res;
end Rewrite_As_Concurrent_Assertion;
@@ -1010,6 +1013,8 @@ package body Vhdl.Sem_Psl is
| Iir_Kind_Procedure_Body =>
Sem_Decls.Sem_Declaration
(Item, Prev_Item, False, Attr_Spec_Chain);
+ when Iir_Kind_Concurrent_Simple_Signal_Assignment =>
+ Sem_Stmts.Sem_Concurrent_Statement (Item, False);
when others =>
Error_Kind ("sem_psl_verification_unit", Item);
end case;