Skip to content

Commit

Permalink
C++: Fix deprecation warning
Browse files Browse the repository at this point in the history
  • Loading branch information
jketema committed Apr 6, 2023
1 parent 9123657 commit 12702b5
Showing 1 changed file with 2 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -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)
)
}

Expand Down

0 comments on commit 12702b5

Please sign in to comment.