aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/elab-vhdl_debug.adb
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2023-01-11 07:00:51 +0100
committerTristan Gingold <tgingold@free.fr>2023-01-11 07:00:51 +0100
commite7dba34e2b1f38f920cef3c4faed449921200668 (patch)
tree3c104447fcfacbdb0deddd70c9e0842d47994ced /src/synth/elab-vhdl_debug.adb
parent467acc26b864bd0d4e531b1095cef067ba83cf3b (diff)
downloadghdl-e7dba34e2b1f38f920cef3c4faed449921200668.tar.gz
ghdl-e7dba34e2b1f38f920cef3c4faed449921200668.tar.bz2
ghdl-e7dba34e2b1f38f920cef3c4faed449921200668.zip
synth: improve support of PSL endpoints
Diffstat (limited to 'src/synth/elab-vhdl_debug.adb')
-rw-r--r--src/synth/elab-vhdl_debug.adb3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/synth/elab-vhdl_debug.adb b/src/synth/elab-vhdl_debug.adb
index d9b14f75f..a523a8e5c 100644
--- a/src/synth/elab-vhdl_debug.adb
+++ b/src/synth/elab-vhdl_debug.adb
@@ -561,7 +561,8 @@ package body Elab.Vhdl_Debug is
| Iir_Kind_Simple_Simultaneous_Statement =>
null;
when Iir_Kind_Psl_Default_Clock
- | Iir_Kind_Psl_Assert_Directive =>
+ | Iir_Kind_Psl_Assert_Directive
+ | Iir_Kind_Psl_Endpoint_Declaration =>
null;
when Iir_Kinds_Process_Statement =>
-- Note: processes are not elaborated.