Skip to content

Commit e066e87

Browse files
Update shared/dataflow/codeql/dataflow/DataFlowImpl.qll
Co-authored-by: Anders Schack-Mulligen <[email protected]>
1 parent eb19052 commit e066e87

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

shared/dataflow/codeql/dataflow/DataFlowImpl.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4003,7 +4003,7 @@ module MakeImpl<DataFlowParameter Lang> {
40034003

40044004
private predicate relevantState(FlowState state) {
40054005
sourceNode(_, state) or
4006-
revSinkNode(_, state) or
4006+
sinkNodeWithState(_, state) or
40074007
additionalLocalStateStep(_, state, _, _) or
40084008
additionalLocalStateStep(_, _, _, state) or
40094009
additionalJumpStateStep(_, state, _, _) or

0 commit comments

Comments
 (0)