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 javascript
predicate foldedComparisonEdge(ControlFlowNode cfg, Node a, int asign, Node b, int bsign, Bias c, boolean sharp)