From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 5 Apr 2017 09:21:06 +0000 (+0200)
Subject: Fix gcc compiler warning
X-Git-Tag: yosys-0.8~451
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=dee4ec1661a2c2d7d6a4a47f7da922b870bbace8;p=yosys.git

Fix gcc compiler warning
---

diff --git a/passes/cmds/chformal.cc b/passes/cmds/chformal.cc
index daed80354..a8c1fef85 100644
--- a/passes/cmds/chformal.cc
+++ b/passes/cmds/chformal.cc
@@ -71,7 +71,7 @@ struct ChformalPass : public Pass {
 
 		pool<IdString> constr_types;
 		char mode = 0;
-		int mode_arg;
+		int mode_arg = 0;
 
 		size_t argidx;
 		for (argidx = 1; argidx < args.size(); argidx++)