From 88f555c1bb9cb2775164a9bacba670d10f6ed337 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Fri, 30 Nov 2018 21:02:11 +0100
Subject: psl: avoid a crash when PSL is used as vhdl expression.

---
 src/vhdl/parse_psl.adb | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'src')

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;
 
-- 
cgit v1.2.3