Skip to content

Commit dfd35ae

Browse files
committed
autoformat
1 parent f7ad210 commit dfd35ae

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

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

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -438,7 +438,10 @@ 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().getImmediatePredecessor+()) and
441+
(
442+
guard.getEnclosingExpr() = cond.getTest() or
443+
guard = cond.getTest().flow().getImmediatePredecessor+()
444+
) and
442445
outcome = cond.getOutcome() and
443446
barrierGuardBlocksAccessPath(guard, outcome, p, label) and
444447
cond.dominates(bb)

0 commit comments

Comments
 (0)