OffsetSpan ‐ Used internally by ObjectSizeOffsetVisitor. Represents a point in memory as a pair of allocated bytes before and after it.

Synopsis

Declared in <llvm/Analysis/MemoryBuiltins.h>

struct OffsetSpan;

Description

Before and After fields are signed values. It makes it possible to represent out‐of‐bound access, e.g. as a result of a GEP, at the expense of not being able to represent very large allocation.

Member Functions

Name

Description

OffsetSpan [constructor]

Constructors

anyKnown

Return true if either Before or After is known.

bothKnown

Return true if both Before and After are known.

knownAfter

Return true if After is known.

knownBefore

Return true if Before is known.

operator==

Return true if this offset span equals RHS.

operator!=

Return true if this offset span differs from RHS.

Static Member Functions

Name

Description

known

Return true if V represents a known APInt value.

Data Members

Name

Description

After

Number of allocated bytes after this point.

Before

Number of allocated bytes before this point.

Created with MrDocs