From df9f4b18dc47d5a6561da4a26d33ab66bdf4e39b Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Thu, 15 Apr 2021 07:24:09 +0200 Subject: vhdl: handle constant declarations in PSL vunit. Fix #1724 --- src/vhdl/vhdl-canon.adb | 1 + src/vhdl/vhdl-sem_psl.adb | 1 + 2 files changed, 2 insertions(+) (limited to 'src/vhdl') diff --git a/src/vhdl/vhdl-canon.adb b/src/vhdl/vhdl-canon.adb index 3845b8d0f..9d09d0575 100644 --- a/src/vhdl/vhdl-canon.adb +++ b/src/vhdl/vhdl-canon.adb @@ -3452,6 +3452,7 @@ package body Vhdl.Canon is when Iir_Kind_Psl_Cover_Directive => Canon_Psl_Cover_Directive (Item); when Iir_Kind_Signal_Declaration + | Iir_Kind_Constant_Declaration | Iir_Kind_Function_Declaration | Iir_Kind_Procedure_Declaration | Iir_Kind_Function_Body diff --git a/src/vhdl/vhdl-sem_psl.adb b/src/vhdl/vhdl-sem_psl.adb index 025647e94..f187b3063 100644 --- a/src/vhdl/vhdl-sem_psl.adb +++ b/src/vhdl/vhdl-sem_psl.adb @@ -1178,6 +1178,7 @@ package body Vhdl.Sem_Psl is when Iir_Kind_Psl_Cover_Directive => Sem_Psl_Cover_Directive (Item); when Iir_Kind_Signal_Declaration + | Iir_Kind_Constant_Declaration | Iir_Kind_Function_Declaration | Iir_Kind_Procedure_Declaration | Iir_Kind_Function_Body -- cgit v1.2.3