Predicate RangeAnalysis::comparisonEdge
Holds if immediately after cfg it becomes known that A <= B + c.
These are the initial inputs to the difference bound constraint system.
The dual constraint -B <= -A + c is not included in this predicate.
Import path
import semmle.javascript.RangeAnalysispredicate comparisonEdge(ControlFlowNode cfg, Node a, int asign, Node b, int bsign, Bias bias, boolean sharp)