aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl/vhdl-sem_psl.adb
diff options
context:
space:
mode:
authorOndrej Ille <ondrej.ille@gmail.com>2021-03-27 10:51:32 +0100
committertgingold <tgingold@users.noreply.github.com>2021-03-28 09:46:05 +0200
commit0dec39747f59cfd60943b72f36de5da61aedfe7c (patch)
tree4217e376e60f8c293e9ee97dd912f384560723d1 /src/vhdl/vhdl-sem_psl.adb
parent1a2217b162ce01bc17eefe4d7d79fb32d5cb1aa0 (diff)
downloadghdl-0dec39747f59cfd60943b72f36de5da61aedfe7c.tar.gz
ghdl-0dec39747f59cfd60943b72f36de5da61aedfe7c.tar.bz2
ghdl-0dec39747f59cfd60943b72f36de5da61aedfe7c.zip
src: Un-handle Equal and Goto repeat sequences in sem_property. Some form of check that SERE is only boolean is needed.
Diffstat (limited to 'src/vhdl/vhdl-sem_psl.adb')
-rw-r--r--src/vhdl/vhdl-sem_psl.adb15
1 files changed, 5 insertions, 10 deletions
diff --git a/src/vhdl/vhdl-sem_psl.adb b/src/vhdl/vhdl-sem_psl.adb
index 5b3248aef..32d6e7b8b 100644
--- a/src/vhdl/vhdl-sem_psl.adb
+++ b/src/vhdl/vhdl-sem_psl.adb
@@ -435,22 +435,17 @@ package body Vhdl.Sem_Psl is
Set_Right (Seq, R);
return Seq;
when N_Star_Repeat_Seq
- | N_Equal_Repeat_Seq
- | N_Goto_Repeat_Seq =>
- Res := Get_Sequence (Seq);
- if Res /= Null_PSL_Node then
- Res := Sem_Sequence (Get_Sequence (Seq));
- Set_Sequence (Seq, Res);
- end if;
- -- FIXME: range.
- return Seq;
- when N_Plus_Repeat_Seq =>
+ | N_Plus_Repeat_Seq =>
Res := Get_Sequence (Seq);
if Res /= Null_PSL_Node then
Res := Sem_Sequence (Get_Sequence (Seq));
Set_Sequence (Seq, Res);
end if;
return Seq;
+ when N_Equal_Repeat_Seq
+ | N_Goto_Repeat_Seq =>
+ -- TODO: Fix here if SERE is not of boolean type!!
+ Error_Kind ("psl.sem_sequence.hdl", Res);
when N_And_Bool
| N_Or_Bool
| N_Not_Bool =>