¶bool isDereferenceablePointer(
    const llvm::Value* V,
    llvm::Type* Ty,
    const llvm::DataLayout& DL,
    const llvm::Instruction* CtxI = nullptr,
    const llvm::DominatorTree* DT = nullptr)

Description

Return true if this is always a dereferenceable pointer. If the context instruction is specified perform context-sensitive analysis and return true if the pointer is dereferenceable at the specified instruction.

Declared at: llvm/include/llvm/Analysis/Loads.h:30

Parameters

const llvm::Value* V

llvm::Type* Ty

const llvm::DataLayout& DL

const llvm::Instruction* CtxI = nullptr

const llvm::DominatorTree* DT = nullptr