aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2021-04-15 07:24:09 +0200
committerTristan Gingold <tgingold@free.fr>2021-04-15 07:24:09 +0200
commitdf9f4b18dc47d5a6561da4a26d33ab66bdf4e39b (patch)
tree1ae979090e9f0d7a09f5d72e1da1dcd2c9c4e221
parent2acfe88a6d2a3812085a56ff42bcf146b9665a0e (diff)
downloadghdl-df9f4b18dc47d5a6561da4a26d33ab66bdf4e39b.tar.gz
ghdl-df9f4b18dc47d5a6561da4a26d33ab66bdf4e39b.tar.bz2
ghdl-df9f4b18dc47d5a6561da4a26d33ab66bdf4e39b.zip
vhdl: handle constant declarations in PSL vunit. Fix #1724
-rw-r--r--src/vhdl/vhdl-canon.adb1
-rw-r--r--src/vhdl/vhdl-sem_psl.adb1
2 files changed, 2 insertions, 0 deletions
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