From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 17 Aug 2019 12:47:02 +0000 (+0200)
Subject: Fix erroneous ifndef-NDEBUG in verific.cc
X-Git-Tag: working-ls180~1135^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=27d59dc0550432458d4bd636081a7b9f4b4411fe;p=yosys.git

Fix erroneous ifndef-NDEBUG in verific.cc

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

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 64152c9cb..c5eef4b55 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -1789,10 +1789,8 @@ struct VerificExtNets
 				new_net = new Net(name.c_str());
 				nl->Add(new_net);
 
-			#ifndef NDEBUG
-				Net *n = route_up(new_net, port->IsOutput(), ca_nl, ca_net);
+				Net *n YS_ATTRIBUTE(unused) = route_up(new_net, port->IsOutput(), ca_nl, ca_net);
 				log_assert(n == ca_net);
-			#endif
 			}
 
 			if (verific_verbose)