Fix crash in verific frontend

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index ba631475fd59107d13f7a70dd5616b3a3d258628..ccd13e92f7cdf6b6bd2b734f0055f69f0bf1f584 100644 (file)
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -1111,7 +1111,8 @@ void VerificImporter::import_netlist(RTLIL::Design *design, Netlist *nl, std::se
                        wire->start_offset = min(netbus->LeftIndex(), netbus->RightIndex());
                        MapIter mibus;
                        FOREACH_NET_OF_NETBUS(netbus, mibus, net) {
-                               import_attributes(wire->attributes, net, nl);
+                               if (net)
+                                       import_attributes(wire->attributes, net, nl);
                                break;
                        }