Function cranelift_codegen::verifier::verify_context

pub fn verify_context<'a, FOI: Into<FlagsOrIsa<'a>>>(
    func: &Function, 
    cfg: &ControlFlowGraph, 
    domtree: &DominatorTree, 
    fisa: FOI, 
    errors: &mut VerifierErrors
) -> VerifierStepResult<()>

Verify func after checking the integrity of associated context data structures cfg and domtree.