Predicate combineOverlap
Gets the Overlap that best represents the relationship between two memory locations a and
c, where getOverlap(a, b) = previousOverlap and getOverlap(b, c) = newOverlap, for some
intermediate memory location b.
Import path
import semmle.code.cpp.ir.internal.Overlap
Overlap
combineOverlap
(
Overlap
previousOverlap
,
Overlap
newOverlap
)