From: Clifford Wolf <clifford@clifford.at>
Date: Tue, 17 Jul 2018 10:43:30 +0000 (+0200)
Subject: Fix handling of eventually properties in verific importer
X-Git-Tag: yosys-0.8~53
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=65234d4b24edd1ec8ec5d41df2d56d76fa41dcc5;p=yosys.git

Fix handling of eventually properties in verific importer

Signed-off-by: Clifford Wolf <clifford@clifford.at>
---

diff --git a/frontends/verific/verificsva.cc b/frontends/verific/verificsva.cc
index 8e985c3a6..85b842186 100644
--- a/frontends/verific/verificsva.cc
+++ b/frontends/verific/verificsva.cc
@@ -1517,9 +1517,11 @@ struct VerificSvaImporter
 
 			Instance *consequent_inst = net_to_ast_driver(consequent_net);
 
-			if (consequent_inst->Type() != PRIM_SVA_S_EVENTUALLY && consequent_inst->Type() != PRIM_SVA_EVENTUALLY) {
+			if (consequent_inst == nullptr)
+				return false;
+
+			if (consequent_inst->Type() != PRIM_SVA_S_EVENTUALLY && consequent_inst->Type() != PRIM_SVA_EVENTUALLY)
 				return false;
-			}
 
 			if (mode_cover || mode_trigger)
 				parser_error(consequent_inst);