diff options
| author | Ondrej Ille <ondrej.ille@gmail.com> | 2021-03-27 10:51:32 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2021-03-28 09:46:05 +0200 |
| commit | 0dec39747f59cfd60943b72f36de5da61aedfe7c (patch) | |
| tree | 4217e376e60f8c293e9ee97dd912f384560723d1 /src/vhdl/vhdl-sem_psl.adb | |
| parent | 1a2217b162ce01bc17eefe4d7d79fb32d5cb1aa0 (diff) | |
| download | ghdl-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.adb | 15 |
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 => |