From a54f450eb981683dfeb6de37258dbf0c659425fa Mon Sep 17 00:00:00 2001
From: Alain Dargelas <alain@silimate.com>
Date: Thu, 17 Oct 2024 13:43:41 -0700
Subject: [PATCH] Fix coredump when wire is nullptr

---
 passes/sat/sim.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index 46614cd4f..2b4bce71f 100644
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -2516,7 +2516,7 @@ struct AnnotateActivity : public OutputWriter {
 			},
 			[this, use_signal, dataMap, max_time, real_timescale, clk_period, debug]
 			  (const char *name, int size, Wire *w, int id, bool is_reg) {
-				if (!use_signal.at(id))
+				if (!use_signal.at(id) || (w == nullptr))
 					return;
 				std::string full_name = form_vcd_name(name, size, w);
 				SignalActivityDataMap::const_iterator itr = dataMap.find(id);