From e0a1519e89fbc896517ced756719679e223c5401 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Tue, 24 Dec 2019 18:00:41 +0100
Subject: synth: handle is_x (as false).  Fix #1054

---
 src/synth/synth-oper.adb | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src')

diff --git a/src/synth/synth-oper.adb b/src/synth/synth-oper.adb
index dd02da330..b5480a2b9 100644
--- a/src/synth/synth-oper.adb
+++ b/src/synth/synth-oper.adb
@@ -995,6 +995,10 @@ package body Synth.Oper is
                Edge := Build_Edge (Build_Context, Clk);
                return Create_Value_Net (Edge, Boolean_Type);
             end;
+         when Iir_Predefined_Ieee_1164_Scalar_Is_X
+           | Iir_Predefined_Ieee_1164_Vector_Is_X =>
+            --  Always false.
+            return Create_Value_Discrete (0, Boolean_Type);
          when Iir_Predefined_Ieee_1164_To_Bitvector =>
             declare
                L : constant Value_Acc := Get_Value (Subprg_Inst, Param1);
-- 
cgit v1.2.3