llvm::isDereferenceableAndAlignedPointer

Returns true if V is always dereferenceable for Size bytes with sufficient alignment.

Synopsis

Declared in <llvm/Analysis/Loads.h>

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

Description

The alignment must be greater or equal than requested. If the context instruction is specified performs context‐sensitive analysis and returns true if the pointer is dereferenceable at the specified instruction. If IgnoreFree is set, ignore potential frees of the object.

Return Value

True if V is always dereferenceable for Size bytes with sufficient alignment.

Parameters

Name

Description

Pointer value to check.

Alignment

Minimum required alignment.

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