psl: avoid a crash when PSL is used as vhdl expression.

1 files changed, 6 insertions, 1 deletions

diff --git a/src/vhdl/parse_psl.adb b/src/vhdl/parse_psl.adb
index c9d5f38f1..4a7a7bc34 100644
--- a/src/vhdl/parse_psl.adb
+++ b/src/vhdl/parse_psl.adb
@@ -71,7 +71,12 @@ package body Parse_Psl is
             Free_Node (N);
             return Res;
          when others =>
-            Error_Kind ("psl_to_vhdl", N);
+            Error_Msg_Parse
+              (+N, "PSL construct not allowed as VHDL expression");
+            Res := Create_Iir (Iir_Kind_Error);
+            Set_Location (Res, Get_Location (N));
+            Free_Node (N);
+            return Res;
       end case;
    end Psl_To_Vhdl;