llvm::isBaseOfObject

Return true if we know V to the base address of the corresponding memory object. This implies that any address less than V must be out of bounds for the underlying object. Note that just being isIdentifiedObject() is not enough - For example, a negative offset from a noalias argument or call can be inbounds w.r.t the actual underlying object.

Synopsis

Declared in <llvm/Analysis/AliasAnalysis.h>

bool
isBaseOfObject(Value const* V);

Parameters

NameDescription
VLLVM Value Representation