From: Miodrag Milanovic <mmicko@gmail.com>
Date: Wed, 4 May 2022 09:21:39 +0000 (+0200)
Subject: fix crash when no fst input
X-Git-Tag: yosys-0.17~3^2~2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8e02b3ca3061ea335c1e2e966be84013d3278612;p=yosys.git

fix crash when no fst input
---

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index 654378d09..d085fab2d 100644
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -246,7 +246,8 @@ struct SimInstance
 			{
 				std::string name = cell->parameters.at(ID::MEMID).decode_string();
 				mem_cells[cell] = name;
-				fst_memories[name] = shared->fst->getMemoryHandles(scope + "." + RTLIL::unescape_id(name));
+				if (shared->fst)
+					fst_memories[name] = shared->fst->getMemoryHandles(scope + "." + RTLIL::unescape_id(name));
 			}
 			if (cell->type.in(ID($assert), ID($cover), ID($assume))) {
 				formal_database.insert(cell);