Cleanup code, CppCheck::checkNormalTokens executes the bug hunting code

This commit is contained in:
Daniel Marjamäki 2020-01-24 20:37:24 +01:00
parent 7db54bde6f
commit 0929c3cced
1 changed files with 0 additions and 5 deletions

View File

@ -340,11 +340,6 @@ unsigned int CppCheck::check(const std::string &path)
ValueFlow::setValues(&tokenizer.list, const_cast<SymbolDatabase *>(tokenizer.getSymbolDatabase()), this, &mSettings); ValueFlow::setValues(&tokenizer.list, const_cast<SymbolDatabase *>(tokenizer.getSymbolDatabase()), this, &mSettings);
if (mSettings.debugnormal) if (mSettings.debugnormal)
tokenizer.printDebugOutput(1); tokenizer.printDebugOutput(1);
#ifdef USE_Z3
if (mSettings.bugHunting)
ExprEngine::runChecks(this, &tokenizer, &mSettings);
else
#endif
checkNormalTokens(tokenizer); checkNormalTokens(tokenizer);
return mExitCode; return mExitCode;
} }