C++: Set defaultFieldFlowBranchLimit to 3

This commit is contained in:
Jeroen Ketema
2025-04-24 20:19:29 +02:00
parent ac3c3ae13a
commit 9396f0ee55

View File

@@ -31,4 +31,6 @@ module CppDataFlow implements InputSig<Location> {
predicate viableImplInCallContext = Private::viableImplInCallContext/2;
predicate neverSkipInPathGraph = Private::neverSkipInPathGraph/1;
int defaultFieldFlowBranchLimit() { result = 3 }
}