Initialization_Start_End_Interface

interface Initialization_Start_End_Interface (logical)

Variables and lambda fields

Direct implementations:

• class Lambda_Capture_Field

• class Variable

Field	Kind	Type	Description
Initialization_Start	semantic	class Execution_Node	Start of the variable’s initialization. If set to an instruction, that instruction is part of the variable’s initialization. If set to a block, the variable’s initialization begins with the tail jump of that block, but does not include the block’s code. Use is_part_of_variable_initialization() to determine if an instruction is between Initialization_Start and Initialization_End.
Initialization_End	semantic	class Execution_Node	If set to an instruction, it is the first instruction after those responsible for the variable’s initialization. If set to a block, the initialization includes all instructions in that block but not the block’s tail jump. In other words: A block is used to refer to the “instruction-after-last” in that block; all instructions between Initialization_Start (inclusive) to Initialization_End (exclusive) belong to the variable’s initializer. If Initialization_Start==Initialization_End, then the variable has no initializer.