aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/gna/issue2336/crash.vhdl
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/gna/issue2336/crash.vhdl')
-rw-r--r--testsuite/gna/issue2336/crash.vhdl15
1 files changed, 15 insertions, 0 deletions
diff --git a/testsuite/gna/issue2336/crash.vhdl b/testsuite/gna/issue2336/crash.vhdl
new file mode 100644
index 000000000..d172cc3db
--- /dev/null
+++ b/testsuite/gna/issue2336/crash.vhdl
@@ -0,0 +1,15 @@
+library ieee;
+use ieee.std_logic_1164.all;
+
+entity repro is
+ port (a, b, clk : std_logic);
+end;
+
+architecture behav of repro is
+begin
+ default clock is rising_edge(clk);
+
+ -- This assertion should hold, but doesn't (GHDL BUG)
+ NEXT_0_a : assert always (a -> next_event_e('1')[1 to 1] (b))
+ report "NEXT_0_a failed";
+end behav;