clang: clang::FunctionEffectsRef Class Reference (original) (raw)
An immutable set of FunctionEffects and possibly conditions attached to them. More...
An immutable set of FunctionEffects and possibly conditions attached to them.
The effects and conditions reside in memory not managed by this object (typically, trailing objects in FunctionProtoType, or borrowed references from a FunctionEffectSet).
Invariants:
- there is never more than one instance of any given effect.
- the array of conditions is either empty or has the same size as the array of effects.
- some conditions may be null expressions; each condition pertains to the effect at the same array index.
Also, if there are any conditions, at least one of those expressions will be dependent, but this is only asserted in the constructor of FunctionProtoType.
See also FunctionEffectSet, in Sema, which provides a mutable set.