C++: Fix deprecation warning

jketema · jketema · commit 12702b59d3a6 · 2023-04-06T17:13:15.000+02:00
diff --git a/cpp/ql/lib/experimental/semmle/code/cpp/dataflow/ProductFlow.qll b/cpp/ql/lib/experimental/semmle/code/cpp/dataflow/ProductFlow.qll
@@ -295,14 +295,14 @@ module ProductFlow {
       predicate isSource(DataFlow::Node source, FlowState state) {
         exists(Flow1::PathNode source1 |
           Config::isSourcePair(source1.getNode(), source1.getState(), source, state) and
-          Flow1::hasFlowPath(source1, _)
+          Flow1::flowPath(source1, _)
         )
       }
 
       predicate isSink(DataFlow::Node sink, FlowState state) {
         exists(Flow1::PathNode sink1 |
           Config::isSinkPair(sink1.getNode(), sink1.getState(), sink, state) and
-          Flow1::hasFlowPath(_, sink1)
+          Flow1::flowPath(_, sink1)
         )
       }
 

Original file line number	Diff line number	Diff line change
`@@ -295,14 +295,14 @@ module ProductFlow {`
`295`	`295`	`predicate isSource(DataFlow::Node source, FlowState state) {`
`296`	`296`	`exists(Flow1::PathNode source1 \|`
`297`	`297`	`Config::isSourcePair(source1.getNode(), source1.getState(), source, state) and`
`298`		`- Flow1::hasFlowPath(source1, _)`
	`298`	`+ Flow1::flowPath(source1, _)`
`299`	`299`	`)`
`300`	`300`	`}`
`301`	`301`
`302`	`302`	`predicate isSink(DataFlow::Node sink, FlowState state) {`
`303`	`303`	`exists(Flow1::PathNode sink1 \|`
`304`	`304`	`Config::isSinkPair(sink1.getNode(), sink1.getState(), sink, state) and`
`305`		`- Flow1::hasFlowPath(_, sink1)`
	`305`	`+ Flow1::flowPath(_, sink1)`
`306`	`306`	`)`
`307`	`307`	`}`
`308`	`308`