llvm::AANoReturn

Name

Description

IRAttribute<Attribute::NoReturn, StateWrapper<BooleanState, AbstractAttribute>, AANoReturn>

Helper class that provides common functionality to manifest IR attributes.

Name

Description

AANoReturn [constructor]

Create a AANoReturn for the position IRP.

getAttrKind

Return the kind that identifies the abstract attribute implementation.

getDeducedAttributes [virtual]

Return the deduced attributes in Attrs.

getIdAddr [virtual]

See AbstractAttribute::getIdAddr()

getName [virtual]

See AbstractAttribute::getName()

isAssumedNoReturn

Return true if the underlying object is assumed to never return.

isKnownNoReturn

Return true if the underlying object is known to never return.

manifest [virtual]

See AbstractAttribute::manifest(...).

Name

Description

classof

This function should return true if the type of the AA is AANoReturn

createForPosition

Create an abstract attribute view for the position IRP.

hasTrivialInitializer

Most boolean IRAttribute AAs don't do anything non‐trivial in their initializers while non‐boolean ones often do. Subclasses can change this.

isImpliedByIR

Return true if the IR already implies this attribute.

isImpliedByPoison

Return true if the IR attribute(s) associated with this AA are implied for an poison value.

isImpliedByUndef

Return true if the IR attribute(s) associated with this AA are implied for an undef value.

Name

Description

ID

Unique ID (due to the unique address)

IRAttributeKind

Compile time access to the IR attribute kind.