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