CFG_Computed_Goto_Block

class CFG_Computed_Goto_Block (concrete, logical)

ends with computed goto, so target must be determined by some analysis at runtime NOTE: taking the address of a label (as value for such a jump variable) is represented as taking the address of the corresponding basic block, so that the target can be found by determining the pointer target

Direct parents:
Ancestor classes and implemented interfaces:

CFG_Block, CFG_Standard_Block, CFG_Unknown_Successor_Block, Execution_Node, Logical_IR_Root

Field

Kind

Type

Description

Code (from CFG_Standard_Block)

syntactic

list of class Instruction

Helpers (from CFG_Standard_Block)

syntactic

list of class Helper_Variable

Start_Role (from CFG_Standard_Block)

attribute

enum Cfg_Block_Start_Role

Provides an explanation why a new block was started. The Start_Physical edge provides details specific to the role. More details are documented on the individual role enumerators.

Start_Physical (from CFG_Standard_Block)

semantic to physical

class Physical_IR_Root

Physical edge related to the block start; see Start_Role for the interpretation of this edge.

Parent (from Logical_IR_Root)

semantic

class Logical_IR_Root

Physical (from Logical_IR_Root)

semantic to physical

class Physical_IR_Root