C++: Follow-up changes

hvitved · hvitved · commit 6e14ba4e56d5 · 2020-02-04T14:09:12.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
@@ -301,3 +301,5 @@ class DataFlowCall extends Expr {
 }
 
 predicate isUnreachableInCall(Node n, DataFlowCall call) { none() } // stub implementation
+
+int flowThroughAccessPathLimit() { none() }
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
@@ -204,3 +204,5 @@ class DataFlowCall extends CallInstruction {
 }
 
 predicate isUnreachableInCall(Node n, DataFlowCall call) { none() } // stub implementation
+
+int flowThroughAccessPathLimit() { none() }

Original file line number	Diff line number	Diff line change
`@@ -301,3 +301,5 @@ class DataFlowCall extends Expr {`
`301`	`301`	`}`
`302`	`302`
`303`	`303`	`predicate isUnreachableInCall(Node n, DataFlowCall call) { none() } // stub implementation`
	`304`	`+`
	`305`	`+int flowThroughAccessPathLimit() { none() }`
Original file line number	Diff line number	Diff line change
`@@ -204,3 +204,5 @@ class DataFlowCall extends CallInstruction {`
`204`	`204`	`}`
`205`	`205`
`206`	`206`	`predicate isUnreachableInCall(Node n, DataFlowCall call) { none() } // stub implementation`
	`207`	`+`
	`208`	`+int flowThroughAccessPathLimit() { none() }`