flowistry_pdg_construction::construct

Type Alias LocalAnalysisResults

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

Aliased Type§

struct LocalAnalysisResults<'tcx, 'mir, K> {
    pub analysis: &'mir LocalAnalysis<'tcx, 'mir, K>,
    pub entry_states: IndexVec<BasicBlock, <&'mir LocalAnalysis<'tcx, 'mir, K> as Analysis<'tcx>>::Domain>,
}

Fields§

§analysis: &'mir LocalAnalysis<'tcx, 'mir, K>§entry_states: IndexVec<BasicBlock, <&'mir LocalAnalysis<'tcx, 'mir, K> as Analysis<'tcx>>::Domain>