flowistry_pdg_construction::construct

Type Alias LocalAnalysisResults

Source 
type LocalAnalysisResults<'tcx, 'mir> = Results<'tcx, &'mir LocalAnalysis<'tcx, 'mir>>;

Aliased Type§

struct LocalAnalysisResults<'tcx, 'mir> {
    pub analysis: &'mir LocalAnalysis<'tcx, 'mir>,
    pub entry_states: IndexVec<BasicBlock, InstructionState<'tcx>>,
}

Fields§

§analysis: &'mir LocalAnalysis<'tcx, 'mir>§entry_states: IndexVec<BasicBlock, InstructionState<'tcx>>