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.OverlapOverlap combineOverlap(Overlap previousOverlap, Overlap newOverlap)