From 1cc80ba8063de7083de78fc0473a1e5d6999a111 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Tue, 30 Jun 2020 18:42:53 +0200
Subject: vhdl-sem_psl: avoid a crash in synth on incorrect clock.

---
 src/psl/psl-rewrites.ads  | 1 +
 src/vhdl/vhdl-sem_psl.adb | 2 ++
 2 files changed, 3 insertions(+)

(limited to 'src')

diff --git a/src/psl/psl-rewrites.ads b/src/psl/psl-rewrites.ads
index ac76b7805..bb1eb58bc 100644
--- a/src/psl/psl-rewrites.ads
+++ b/src/psl/psl-rewrites.ads
@@ -1,6 +1,7 @@
 with PSL.Nodes; use PSL.Nodes;
 
 package PSL.Rewrites is
+   function Rewrite_Boolean (N : Node) return Node;
    function Rewrite_SERE (N : Node) return Node;
    function Rewrite_Property (N : Node) return Node;
    procedure Rewrite_Unit (N : Node);
diff --git a/src/vhdl/vhdl-sem_psl.adb b/src/vhdl/vhdl-sem_psl.adb
index 0e077b8c9..da5eaa2a2 100644
--- a/src/vhdl/vhdl-sem_psl.adb
+++ b/src/vhdl/vhdl-sem_psl.adb
@@ -24,6 +24,7 @@ with PSL.Types; use PSL.Types;
 with PSL.Nodes; use PSL.Nodes;
 with PSL.Subsets;
 with PSL.Hash;
+with PSL.Rewrites;
 with PSL.Errors; use PSL.Errors;
 
 with Vhdl.Sem_Expr;
@@ -1002,6 +1003,7 @@ package body Vhdl.Sem_Psl is
          Report_End_Group;
       end if;
       Expr := Sem_Boolean (Get_Psl_Boolean (Stmt));
+      Expr := PSL.Rewrites.Rewrite_Boolean (Expr);
       Set_Psl_Boolean (Stmt, Expr);
       Current_Psl_Default_Clock := Stmt;
    end Sem_Psl_Default_Clock;
-- 
cgit v1.2.3