charon_lib::transform::ullbc_to_llbc

Function build_cfg_info

source
fn build_cfg_info(body: &ExprBody) -> CfgInfo
Expand description

Build the CFGs (the “regular” CFG and the CFG without backward edges) and compute some information like the loop entries and the switch blocks.