From 12c91fa8d3ff3a601d77f3eb22e826e4612e5be6 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Mon, 21 Oct 2019 05:46:20 +0200
Subject: nelists-memories: reject memories with reset.

---
 src/synth/netlists-memories.adb | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/synth/netlists-memories.adb b/src/synth/netlists-memories.adb
index dde9ee690..e56990c03 100644
--- a/src/synth/netlists-memories.adb
+++ b/src/synth/netlists-memories.adb
@@ -162,7 +162,10 @@ package body Netlists.Memories is
                elsif Get_Driver (I1_Inp) = Orig_Net then
                   Data := Get_Driver (I0_Inp);
                else
-                  raise Internal_Error;
+                  Info_Msg_Synth
+                    (+Data_Inst, "write to a non memory %n", (1 => +Orig));
+                  Data_W := 0;
+                  return;
                end if;
                Data_Inst := Get_Net_Parent (Data);
             end;
-- 
cgit v1.2.3