CFG_Jump_To_Next_Block

class CFG_Jump_To_Next_Block (concrete, logical)

for cases where the successor also represents the next statement (a new block was necessary, e.g., because it is also the target of some other jump, or because a call in its own block follows)

Direct parents:
Ancestor classes and implemented interfaces:

CFG_Block, CFG_Jump_Block, CFG_Single_Successor_Block, CFG_Standard_Block, CFG_Structured_Jump_Block, Execution_Node, Logical_IR_Root

Field

Kind

Type

Description

Next (from CFG_Single_Successor_Block)

semantic

class CFG_Block

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