CodeQL library for C/C++
Search

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)