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
)