Struct BlockInfo

struct BlockInfo<'a> {
    no_code_duplication: bool,
    cfg: &'a CfgInfo,
    body: &'a ExprBody,
    exits_info: &'a ExitInfo,
    explored: &'a mut HashSet<BlockId>,
}

Small utility

Fields

no_code_duplication: bool

no_code_duplication: if true, check that no block is translated twice (this can be a sign that the reconstruction is of poor quality, but sometimes code duplication is necessary, in the presence of “fused” match branches for instance, like in match ... { Foo | Bar => { ... }}).

cfg: &'a CfgInfo

body: &'a ExprBody

exits_info: &'a ExitInfo

explored: &'a mut HashSet<BlockId>