LLVM: llvm::AbstractState Struct Reference (original) (raw)

An interface to query the internal state of an abstract attribute.

The abstract state is a minimal interface that allows the Attributor to communicate with the abstract attributes about their internal state without enforcing or exposing implementation details, e.g., the (existence of an) underlying lattice.

It is sufficient to be able to query if a state is (1) valid or invalid, (2) at a fixpoint, and to indicate to the state that (3) an optimistic fixpoint was reached or (4) a pessimistic fixpoint was enforced.

All methods need to be implemented by the subclass. For the common use case, a single boolean state or a bit-encoded state, the BooleanState and {Inc,Dec,Bit}IntegerState classes are already provided. An abstract attribute can inherit from them to get the abstract state interface and additional methods to directly modify the state based if needed. See the class comments for help.

Definition at line 2642 of file Attributor.h.