func.Purity enum

← Attribute reference

Function purity. Absent (0) means unspecified (conservative).

Cases

Keyword	Value	Description
pure	1	No memory effects, deterministic.

Used by

• func.call.purity
• func.decl.purity
• func.def.purity