Statement

class Statement (abstract, physical)

instructions causing local control flow (they have no type) basically, these are the statements

Direct parents:

• inherits Operation

Ancestor classes and implemented interfaces:

Linked_Node, Operation, Physical_IR_Root

Direct child classes:

• subclass Expression_Statement

• subclass Loop_Statement

• subclass Switch_Statement

• subclass Try_Statement

• subclass Catch_Block

• subclass General_Statement_Sequence

• subclass Declaration_Statement

• subclass Attributed_Statement

• subclass If_Statement

• subclass Unconditional_Branch

• subclass Label

• subclass Empty_Statement

• subclass Asm_Statement

Field	Kind	Type	Description
Logical (from Linked_Node)	semantic to logical	class Logical_IR_Root	cross-reference into LIR
Parent (from Physical_IR_Root)	semantic	class Physical_IR_Root	The parent of the node in the syntactic forest.
Original_Position_Index (from Physical_IR_Root)	attribute	builtin SLoc_Index_Type	Internal source location info. If from macro expansion, this location is inside the macro body or macro argument
Original_Position (from Physical_IR_Root)	attribute	builtin SLoc	Source location. If from macro expansion, this location is inside the macro body or macro argument
Position (from Physical_IR_Root)	attribute	builtin SLoc	Source location. If from macro expansion, this location is that of the macro expansion
Artificial (from Physical_IR_Root)	attribute	builtin Boolean	Whether this node was compiler-generated
Parenthesized (from Physical_IR_Root)	attribute	builtin Boolean	Whether this node was enclosed in parentheses (used for expressions)
In_Template_Instance (from Physical_IR_Root)	attribute	builtin Boolean	Whether this node is inside a template instance
Enclosing_Template_Instance (from Physical_IR_Root)	semantic	class Physical_IR_Root	Innermost enclosing template instance if In_Template_Instance is true