Equivalent to isDereferenceableAndAlignedPointer with an alignment of 1.

Synopses

Declared in <llvm/Analysis/Loads.h>

Equivalent to isDereferenceableAndAlignedPointer with an alignment of 1.

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

» more...

Equivalent to isDereferenceableAndAlignedPointer with an alignment of 1.

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

» more...

Return Value

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

  • True if V is always a dereferenceable pointer.

Parameters

Name

Description

V

Pointer value to check.

Size

Number of bytes that must be dereferenceable.

Q

Query providing data layout and optional context instruction.

IgnoreFree

When true, ignore potential frees of the object.

Ty

Type used to determine the access size.

Created with MrDocs