diff --git a/lib/exprengine.cpp b/lib/exprengine.cpp index 57a54544f..57573cbae 100644 --- a/lib/exprengine.cpp +++ b/lib/exprengine.cpp @@ -1108,9 +1108,6 @@ void ExprEngine::runChecks(ErrorLogger *errorLogger, const Tokenizer *tokenizer, }; std::function integerOverflow = [&](const Token *tok, const ExprEngine::Value &value) { - // Disable this check.. it's very noisy - return; - if (!tok->isArithmeticalOp() || !tok->valueType() || !tok->valueType()->isIntegral() || tok->valueType()->pointer > 0) return; @@ -1145,6 +1142,8 @@ void ExprEngine::runChecks(ErrorLogger *errorLogger, const Tokenizer *tokenizer, std::vector callbacks; callbacks.push_back(divByZero); +#ifdef VERIFY_INTEGEROVERFLOW callbacks.push_back(integerOverflow); +#endif ExprEngine::executeAllFunctions(tokenizer, settings, callbacks); }