walkero
/
cppcheck
1
0
Fork 0
Code Issues Pull Requests Projects Releases 1 Wiki Activity

ValueFlow: Set max iterations to 2 in normal analysis (#4951)

This commit is contained in:
Paul Fultz II 2023-05-07 04:03:27 -05:00 committed by GitHub
parent bd8a6f0681
commit 02a3d03a05
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
lib/settings.cpp
View File

@ -71,7 +71,7 @@ Settings::Settings()
showtime(SHOWTIME_MODES::SHOWTIME_NONE), showtime(SHOWTIME_MODES::SHOWTIME_NONE),
templateMaxTime(0), templateMaxTime(0),
typedefMaxTime(0), typedefMaxTime(0),
valueFlowMaxIterations(4), valueFlowMaxIterations(2),
verbose(false), verbose(false),
xml(false), xml(false),
xml_version(2) xml_version(2)
@ -229,6 +229,7 @@ void Settings::setCheckLevelExhaustive()
{ {
// Checking can take a little while. ~ 10 times slower than normal analysis is OK. // Checking can take a little while. ~ 10 times slower than normal analysis is OK.
performanceValueFlowMaxIfCount = -1; performanceValueFlowMaxIfCount = -1;
valueFlowMaxIterations = 4;
performanceValueFlowMaxSubFunctionArgs = 256; performanceValueFlowMaxSubFunctionArgs = 256;
} }
@ -237,4 +238,5 @@ void Settings::setCheckLevelNormal()
// Checking should finish in reasonable time. // Checking should finish in reasonable time.
performanceValueFlowMaxSubFunctionArgs = 8; performanceValueFlowMaxSubFunctionArgs = 8;
performanceValueFlowMaxIfCount = 100; performanceValueFlowMaxIfCount = 100;
valueFlowMaxIterations = 2;
} }