Represents a basic block in a Control Flow Graph (CFG), corresponding to a single
statement in the source code.
Basic blocks are connected by edges that represent the flow of control between statements.
Param: stmtID
The unique identifier of the statement this block represents.
Param: kind
Kind of the basic block representing ways it behave.
Param: srcEdges
A set of indices for edges incoming to this block, representing control flows leading into this statement.
Param: dstEdges
A set of indices for edges outgoing from this block, representing potential control flows out of this statement.
Represents a basic block in a Control Flow Graph (CFG), corresponding to a single statement in the source code. Basic blocks are connected by edges that represent the flow of control between statements.
Param: stmtID
The unique identifier of the statement this block represents.
Param: kind
Kind of the basic block representing ways it behave.
Param: srcEdges
A set of indices for edges incoming to this block, representing control flows leading into this statement.
Param: dstEdges
A set of indices for edges outgoing from this block, representing potential control flows out of this statement.