diff options
author | Ondrej Ille <ondrej.ille@gmail.com> | 2021-03-27 11:52:16 +0100 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2021-03-28 09:46:05 +0200 |
commit | 61a1b78d739068a78b3dfad41789e669e1b6b271 (patch) | |
tree | 5df9c85f577544008654ecd75c49b123603d21ba /src | |
parent | 1260587e3acc32b29a2df81d1097d02d68d8dcc2 (diff) | |
download | ghdl-61a1b78d739068a78b3dfad41789e669e1b6b271.tar.gz ghdl-61a1b78d739068a78b3dfad41789e669e1b6b271.tar.bz2 ghdl-61a1b78d739068a78b3dfad41789e669e1b6b271.zip |
src: Handle also Equal Repeat and Goto repeat sequences. Keep TODO about check of simple combinatorial expression/
Diffstat (limited to 'src')
-rw-r--r-- | src/vhdl/vhdl-sem_psl.adb | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/vhdl/vhdl-sem_psl.adb b/src/vhdl/vhdl-sem_psl.adb index 32d6e7b8b..7e1f805eb 100644 --- a/src/vhdl/vhdl-sem_psl.adb +++ b/src/vhdl/vhdl-sem_psl.adb @@ -435,17 +435,17 @@ package body Vhdl.Sem_Psl is Set_Right (Seq, R); return Seq; when N_Star_Repeat_Seq - | N_Plus_Repeat_Seq => + | N_Plus_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; + -- TODO: Fix here if SERE is not of boolean type for + -- Equal Repeat and goto repeat!! 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 => |