An abstract attribute for undefined behavior.
Declared in <llvm/Transforms/IPO/Attributor.h>
struct AAUndefinedBehavior
: StateWrapper<BooleanState, AbstractAttribute>| Name | Description |
|---|---|
StateWrapper<BooleanState, AbstractAttribute> | Helper to tie a abstract state implementation to an abstract attribute. |
| Name | Description |
|---|---|
Base | Base type of this abstract attribute. |
StateType | Provide static access to the type of the state. |
| Name | Description |
|---|---|
AAUndefinedBehavior [constructor] | Create a AAUndefinedBehavior for the position IRP. |
getIdAddr [virtual] | See AbstractAttribute::getIdAddr() |
getName [virtual] | See AbstractAttribute::getName() |
getState | See AbstractAttribute::getState(...). |
isAssumedToCauseUB | isAssumedToCauseUB overloads |
isKnownToCauseUB | isKnownToCauseUB overloads |
| Name | Description |
|---|---|
classof | This function should return true if the type of the AA is AAUndefineBehavior |
createForPosition | Create an abstract attribute view for the position IRP. |
| Name | Description |
|---|---|
ID | Unique ID (due to the unique address) |