From 3d1012b73b8645048dc7671380b700e9286df403 Mon Sep 17 00:00:00 2001
From: Wilson Snyder <wsnyder@wsnyder.org>
Date: Sun, 1 Oct 2017 23:36:19 -0400
Subject: [PATCH] Allow disabling BLKLOOPINIT (Intentionally undocumented),
 part of last commit

---
 src/V3Options.cpp | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/src/V3Options.cpp b/src/V3Options.cpp
index 92befebac..dbfa0783d 100644
--- a/src/V3Options.cpp
+++ b/src/V3Options.cpp
@@ -927,8 +927,14 @@ void V3Options::parseOptsList(FileLine* fl, const string& optdir, int argc, char
 		}
 		else {
 		    string msg = sw+strlen("-Wwarn-");
-		    if (!(FileLine::globalWarnOff(msg, false))) {
-			fl->v3fatal("Unknown warning specified: "<<sw);
+		    V3ErrorCode code (msg.c_str());
+		    if (code == V3ErrorCode::EC_ERROR) {
+			if (!isFuture(msg)) {
+			    fl->v3fatal("Unknown warning specified: "<<sw);
+			}
+		    } else {
+			FileLine::globalWarnOff(code, false);
+			V3Error::pretendError(code, false);
 		    }
 		}
 	    }