aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2020-05-09 07:53:51 +0200
committerTristan Gingold <tgingold@free.fr>2020-05-09 07:53:51 +0200
commita3edc8687d626735460aa2765197c85ffef9408a (patch)
treec39c95fcbbcb0f19e277e8bbe5581675b87847d6
parent88ad71f82c8e9eaa75437c533476168ce1155800 (diff)
downloadghdl-a3edc8687d626735460aa2765197c85ffef9408a.tar.gz
ghdl-a3edc8687d626735460aa2765197c85ffef9408a.tar.bz2
ghdl-a3edc8687d626735460aa2765197c85ffef9408a.zip
vhdl-sem_psl: handle next_event_a and next_event_e. Fix #1292
From T. Meissner.
-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 a5b69fb1c..136784b8b 100644
--- a/src/vhdl/vhdl-sem_psl.adb
+++ b/src/vhdl/vhdl-sem_psl.adb
@@ -470,6 +470,11 @@ package body Vhdl.Sem_Psl is
Sem_Boolean (Prop);
Sem_Property (Prop);
return Prop;
+ when N_Next_Event_A | N_Next_Event_E =>
+ -- FIXME: range.
+ Sem_Boolean (Prop);
+ Sem_Property (Prop);
+ return Prop;
when N_HDL_Expr =>
Res := Sem_Hdl_Expr (Prop);
if not Top and then Get_Kind (Res) = N_Property_Instance then