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)