JS: loosen qldoc for barrierGuardIsRelevant

This commit is contained in:
Esben Sparre Andreasen
2020-03-11 07:54:38 +01:00
committed by GitHub
parent 66fd566b66
commit 4dac835bb0

View File

@@ -354,7 +354,7 @@ private predicate barrierGuardBlocksExpr(
} }
/** /**
* Holds if `guard` blocks the flow of a value reachable through exploratory flow. * Holds if `guard` may block the flow of a value reachable through exploratory flow.
*/ */
pragma[noinline] pragma[noinline]
private predicate barrierGuardIsRelevant(BarrierGuardNode guard) { private predicate barrierGuardIsRelevant(BarrierGuardNode guard) {