Predicate RangeAnalysis::foldedComparisonEdge
Holds if a comparison implies that A <= B + c.
Comparisons where one operand is really a constant are converted into a unary constraint.
Import path
import semmle.javascript.RangeAnalysispredicate foldedComparisonEdge(ControlFlowNode cfg, Node a, int asign, Node b, int bsign, Bias c, boolean sharp)