Function charon_lib::transform::ullbc_to_llbc::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.