Skip to content

Commit 557b642

Browse files
committed
add isRelevant check on flowStep predicate
1 parent 1d4dd2b commit 557b642

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

javascript/ql/src/semmle/javascript/dataflow/Configuration.qll

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1106,6 +1106,7 @@ private predicate flowStep(
11061106
// Flow into higher-order call
11071107
flowIntoHigherOrderCall(pred, succ, cfg, summary)
11081108
) and
1109+
isRelevant(succ, cfg) and
11091110
not cfg.isBarrier(succ) and
11101111
not isBarrierEdge(cfg, pred, succ) and
11111112
not isLabeledBarrierEdge(cfg, pred, succ, summary.getEndLabel()) and

0 commit comments

Comments
 (0)