From 5fb1264db5910dc8f0dc8bc20cf766ffce746584 Mon Sep 17 00:00:00 2001
From: "N. Engelhardt" <nak@yosyshq.com>
Date: Tue, 14 Nov 2023 15:05:24 +0100
Subject: [PATCH] verific: don't try to import attributes from nullptr

---
 frontends/verific/verific.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 5a6cd4044..9737fde89 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -264,6 +264,9 @@ static const std::string verific_unescape(const char *value)
 
 void VerificImporter::import_attributes(dict<RTLIL::IdString, RTLIL::Const> &attributes, DesignObj *obj, Netlist *nl)
 {
+	if (!obj)
+		return;
+
 	MapIter mi;
 	Att *attr;