llvm::isDereferenceablePointer

Equivalent to isDereferenceableAndAlignedPointer with an alignment of 1.

Synopsis

Declared in <llvm/Analysis/Loads.h>

bool
isDereferenceablePointer(
    Value const* V,
    APInt const& Size,
    SimplifyQuery const& Q,
    bool IgnoreFree = false);

True if V is always a dereferenceable pointer for Size bytes.

Name

Description

Pointer value to check.

Size

Number of bytes that must be dereferenceable.

Query providing data layout and optional context instruction.

IgnoreFree

When true, ignore potential frees of the object.

Created with MrDocs