Java/C++: Follow-up changes

hvitved · hvitved · commit 332733a92e87 · 2020-02-13T16:34:06.000+01:00
diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowPrivate.qll b/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowPrivate.qll
@@ -302,4 +302,4 @@ class DataFlowCall extends Expr {
 
 predicate isUnreachableInCall(Node n, DataFlowCall call) { none() } // stub implementation
 
-int flowThroughAccessPathLimit() { none() }
+int accessPathLimit() { result = 5 }
diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll b/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll
@@ -205,4 +205,4 @@ class DataFlowCall extends CallInstruction {
 
 predicate isUnreachableInCall(Node n, DataFlowCall call) { none() } // stub implementation
 
-int flowThroughAccessPathLimit() { none() }
+int accessPathLimit() { result = 5 }
diff --git a/java/ql/src/semmle/code/java/dataflow/internal/DataFlowPrivate.qll b/java/ql/src/semmle/code/java/dataflow/internal/DataFlowPrivate.qll
@@ -323,4 +323,4 @@ predicate isUnreachableInCall(Node n, DataFlowCall call) {
   )
 }
 
-int flowThroughAccessPathLimit() { none() }
+int accessPathLimit() { result = 5 }

Original file line number	Diff line number	Diff line change
`@@ -302,4 +302,4 @@ class DataFlowCall extends Expr {`
`302`	`302`
`303`	`303`	`predicate isUnreachableInCall(Node n, DataFlowCall call) { none() } // stub implementation`
`304`	`304`
`305`		`-int flowThroughAccessPathLimit() { none() }`
	`305`	`+int accessPathLimit() { result = 5 }`
Original file line number	Diff line number	Diff line change
`@@ -205,4 +205,4 @@ class DataFlowCall extends CallInstruction {`
`205`	`205`
`206`	`206`	`predicate isUnreachableInCall(Node n, DataFlowCall call) { none() } // stub implementation`
`207`	`207`
`208`		`-int flowThroughAccessPathLimit() { none() }`
	`208`	`+int accessPathLimit() { result = 5 }`
Original file line number	Diff line number	Diff line change
`@@ -323,4 +323,4 @@ predicate isUnreachableInCall(Node n, DataFlowCall call) {`
`323`	`323`	`)`
`324`	`324`	`}`
`325`	`325`
`326`		`-int flowThroughAccessPathLimit() { none() }`
	`326`	`+int accessPathLimit() { result = 5 }`