Predicate RangeAnalysis::linearComparisonGuard
Holds if guard
asserts that the outcome of A <op> B + bias
is true, where <op>
is a comparison operator.
Import path
import javascript
predicate linearComparisonGuard(ConditionGuardNode guard, Node a, int asign, string op, Node b, int bsign, Bias bias)