Struct Reach 

pub struct Reach {
    pub functions: Vec<bool>,
    pub code: Vec<bool>,
}

What can run.

Fields

functions: Vec<bool>

functions[fi] — whether function fi can be entered.

code: Vec<bool>

code[pc] — whether the op at pc lies in Main or in the region of a function that can be entered. A region is scanned whole, holes included, so an inline closure body inside a running region counts as running with it: the edges it names are followed either way.