Predicate getOverlap
Gets the overlap relationship between the definition location def and the use location use.
Import path
import semmle.code.cpp.ir.implementation.aliased_ssa.internal.AliasedSSAOverlap getOverlap(MemoryLocation0 def, MemoryLocation0 use)