Equivalent to isDereferenceableAndAlignedPointer with an alignment of 1.

Synopsis

Declared in <llvm/Analysis/Loads.h>

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

Return Value

True if V is always a dereferenceable pointer.

Parameters

Name

Description

V

Pointer value to check.

Ty

Type used to determine the access size.

Q

Query providing data layout and optional context instruction.

IgnoreFree

When true, ignore potential frees of the object.

Created with MrDocs