Allow disabling BLKLOOPINIT (Intentionally undocumented), part of last commit

This commit is contained in:
Wilson Snyder 2017-10-01 23:36:19 -04:00
parent c98ad79e68
commit 3d1012b73b
1 changed files with 8 additions and 2 deletions

View File

@ -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);
}
}
}