Skip to main content

Module cfg

Module cfg 

Source

Structs§

BlockId
EdgeData
EdgeId
Function-local CFG-edge index. A plain body-local id (stage 4): it indexes the owning FunctionBody’s edge arena directly and carries no function qualifier. Global addressing of an edge is the explicit pair (FunctionId, EdgeId); every edge is stored in its from block’s function, so the owning function is recoverable from either incident block.
LocalBlockId
Function-local block index (indexes the owning FunctionBody’s block arena).