C++: Set defaultFieldFlowBranchLimit to 3

jketema · jketema · commit 3b5be5398987 · 2025-04-24T20:19:29.000+02:00
diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImplSpecific.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImplSpecific.qll
@@ -31,4 +31,6 @@ module CppDataFlow implements InputSig<Location> {
   predicate viableImplInCallContext = Private::viableImplInCallContext/2;
 
   predicate neverSkipInPathGraph = Private::neverSkipInPathGraph/1;
+
+  int defaultFieldFlowBranchLimit() { result = 3 }
 }

Original file line number	Diff line number	Diff line change
`@@ -31,4 +31,6 @@ module CppDataFlow implements InputSig<Location> {`
`31`	`31`	`predicate viableImplInCallContext = Private::viableImplInCallContext/2;`
`32`	`32`
`33`	`33`	`predicate neverSkipInPathGraph = Private::neverSkipInPathGraph/1;`
	`34`	`+`
	`35`	`+ int defaultFieldFlowBranchLimit() { result = 3 }`
`34`	`36`	`}`