Method new

src/debug_utils/checker.rs:52–58

(output: &Output<'_, impl Function, impl RegInfo>)

impl CheckerState {
    fn new(output: &Output<'_, impl Function, impl RegInfo>) -> Self {
        Self {
            unit_values: SparseMap::with_max_index(
                output.stack_layout().num_spillslots() + MAX_REG_UNITS,
            ),
        }
    }

    /// Lattice meet operation when merging initial block states from multiple
    /// predecessors. This only keeps the common subset of values between the