We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent c31cdaa commit a962a8aCopy full SHA for a962a8a
javascript/ql/src/semmle/javascript/dataflow/Configuration.qll
@@ -426,7 +426,9 @@ private predicate barrierGuardBlocksSsaRefinement(
426
* `outcome` is bound to the outcome of `cond` for join-ordering purposes.
427
*/
428
pragma[noinline]
429
-private predicate barrierGuardUsedInCondition(BarrierGuardNode guard, ConditionGuardNode cond, boolean outcome) {
+private predicate barrierGuardUsedInCondition(
430
+ BarrierGuardNode guard, ConditionGuardNode cond, boolean outcome
431
+) {
432
barrierGuardIsRelevant(guard) and
433
outcome = cond.getOutcome() and
434
(
0 commit comments