Update forwardanalyzer.cpp

chrchr-github · web-flow · commit 39c118f27b0d · 2025-07-21T12:53:15.000+02:00
diff --git a/lib/forwardanalyzer.cpp b/lib/forwardanalyzer.cpp
@@ -682,7 +682,7 @@ namespace {
                     }
                 } else if (tok->isControlFlowKeyword() && Token::Match(tok, "if|while|for (") &&
                            Token::simpleMatch(tok->linkAt(1), ") {")) {
-                    if ((settings.vfOptions.maxForwardBranches > 0) && (++branchCount > settings.vfOptions.maxForwardBranches)) {
+                    if (settings.severity.isEnabled(Severity::information) && (settings.vfOptions.maxForwardBranches > 0) && (++branchCount > settings.vfOptions.maxForwardBranches)) {
                         // TODO: should be logged on function-level instead of file-level
                         reportError(Severity::information, "normalCheckLevelMaxBranches", "Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.");
                         return Break(Analyzer::Terminate::Bail);

Original file line number	Diff line number	Diff line change
`@@ -682,7 +682,7 @@ namespace {`
`682`	`682`	`}`
`683`	`683`	`} else if (tok->isControlFlowKeyword() && Token::Match(tok, "if\|while\|for (") &&`
`684`	`684`	`Token::simpleMatch(tok->linkAt(1), ") {")) {`
`685`		`- if ((settings.vfOptions.maxForwardBranches > 0) && (++branchCount > settings.vfOptions.maxForwardBranches)) {`
	`685`	`+ if (settings.severity.isEnabled(Severity::information) && (settings.vfOptions.maxForwardBranches > 0) && (++branchCount > settings.vfOptions.maxForwardBranches)) {`
`686`	`686`	`// TODO: should be logged on function-level instead of file-level`
`687`	`687`	`reportError(Severity::information, "normalCheckLevelMaxBranches", "Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.");`
`688`	`688`	`return Break(Analyzer::Terminate::Bail);`