Predicate signature Semantic::additionalValueFlowStep
Holds if the value of dest is known to be src + delta.
signature predicate additionalValueFlowStep(Expr dest, Expr src, int delta)Holds if the value of dest is known to be src + delta.
signature predicate additionalValueFlowStep(Expr dest, Expr src, int delta)