bugfixes from regression test

This commit is contained in:
caheckman 2019-09-23 11:19:13 -04:00
parent 60e48ee1c3
commit d4e7c04809
2 changed files with 2 additions and 2 deletions

View file

@ -263,7 +263,7 @@ bool ConsistencyChecker::checkOpMisuse(OpTpl *op,Constructor *ct)
{ {
VarnodeTpl *vn = op->getIn(1); VarnodeTpl *vn = op->getIn(1);
if (vn->getSpace().isConstSpace() && vn->getOffset().isZero()) { if (vn->getSpace().isConstSpace() && vn->getOffset().isZero()) {
compiler->reportError(compiler->getLocation(ct), "Unsigned comparison with zero is always false"); compiler->reportWarning(compiler->getLocation(ct), "Unsigned comparison with zero is always false");
} }
} }
break; break;

View file

@ -551,7 +551,7 @@ class ConsistencyChecker {
} }
private void handle(String msg, Constructor ct) { private void handle(String msg, Constructor ct) {
compiler.reportError(ct.location, " Unsigned comparison with " + msg + " in constructor"); compiler.reportWarning(ct.location, " Unsigned comparison with " + msg + " in constructor");
} }
private void handleZero(String trueOrFalse, Constructor ct) { private void handleZero(String trueOrFalse, Constructor ct) {