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 node represents.
Param: kind
Kind of the basic block representing ways it behave.
Param: srcEdges
A set of indices for edges incoming to this node, representing control flows leading into this statement.
Param: dstEdges
A set of indices for edges outgoing from this node, 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 node represents.
Param: kind
Kind of the basic block representing ways it behave.
Param: srcEdges
A set of indices for edges incoming to this node, representing control flows leading into this statement.
Param: dstEdges
A set of indices for edges outgoing from this node, representing potential control flows out of this statement.