From: Archie <ac11018@ic.ac.uk>
Date: Tue, 14 Jun 2022 13:17:00 +0000 (+0100)
Subject: Add check for BLIF with no model name
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7eeb656e2a8276f71c7b7ba7031618c5b7b0849a;p=yosys.git

Add check for BLIF with no model name
---

diff --git a/frontends/blif/blifparse.cc b/frontends/blif/blifparse.cc
index 19844bda6..73d1f0ea7 100644
--- a/frontends/blif/blifparse.cc
+++ b/frontends/blif/blifparse.cc
@@ -166,7 +166,10 @@ void parse_blif(RTLIL::Design *design, std::istream &f, IdString dff_name, bool
 					goto error;
 				module = new RTLIL::Module;
 				lastcell = nullptr;
-				module->name = RTLIL::escape_id(strtok(NULL, " \t\r\n"));
+				char *name = strtok(NULL, " \t\r\n");
+				if (name == nullptr)
+					goto error;
+				module->name = RTLIL::escape_id(name);
 				obj_attributes = &module->attributes;
 				obj_parameters = nullptr;
 				if (design->module(module->name))