Skip to content

Commit 05bfba4

Browse files
committed
use getImmediatePredecessor instead of getALocalSource()
1 parent 5bb308d commit 05bfba4

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -438,7 +438,7 @@ private predicate barrierGuardBlocksNode(BarrierGuardNode guard, DataFlow::Node
438438
barrierGuardIsRelevant(guard) and
439439
exists(AccessPath p, BasicBlock bb, ConditionGuardNode cond, boolean outcome |
440440
nd = DataFlow::valueNode(p.getAnInstanceIn(bb)) and
441-
(guard.getEnclosingExpr() = cond.getTest() or guard = cond.getTest().flow().getALocalSource()) and
441+
(guard.getEnclosingExpr() = cond.getTest() or guard = cond.getTest().flow().getImmediatePredecessor+()) and
442442
outcome = cond.getOutcome() and
443443
barrierGuardBlocksAccessPath(guard, outcome, p, label) and
444444
cond.dominates(bb)

0 commit comments

Comments
 (0)