Update shared/dataflow/codeql/dataflow/DataFlowImpl.qll

MathiasVP · aschackmull · web-flow · commit e066e87890cf · 2023-08-04T11:32:41.000+02:00
Co-authored-by: Anders Schack-Mulligen &lt;aschackmull@users.noreply.github.com&gt;
diff --git a/shared/dataflow/codeql/dataflow/DataFlowImpl.qll b/shared/dataflow/codeql/dataflow/DataFlowImpl.qll
@@ -4003,7 +4003,7 @@ module MakeImpl<DataFlowParameter Lang> {
 
       private predicate relevantState(FlowState state) {
         sourceNode(_, state) or
-        revSinkNode(_, state) or
+        sinkNodeWithState(_, state) or
         additionalLocalStateStep(_, state, _, _) or
         additionalLocalStateStep(_, _, _, state) or
         additionalJumpStateStep(_, state, _, _) or
