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

Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
This commit is contained in:
Mathias Vorreiter Pedersen
2023-08-04 11:32:41 +02:00
committed by GitHub
parent eb19052a7d
commit e066e87890

View File

@@ -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