Module graph 

Re-exports

use std::cmp::Ordering; 🔒

use std::ops::Index; 🔒

use std::ops::IndexMut; 🔒

use std::mem; 🔒

use std::slice; 🔒

use rustc_data_structures::fx::FxHashSet; 🔒

use rustc_data_structures::graph::dominators::Dominators; 🔒

use rustc_data_structures::graph; 🔒

use rustc_data_structures::graph::DirectedGraph; 🔒

use rustc_data_structures::graph::StartNode; 🔒

use rustc_index::IndexVec; 🔒

use rustc_index::bit_set::DenseBitSet; 🔒

use rustc_middle::mir; 🔒

use rustc_middle::mir::BasicBlock; 🔒

use rustc_middle::mir::Terminator; 🔒

use rustc_middle::mir::TerminatorKind; 🔒

use tracing::debug; 🔒

Structs

BasicCoverageBlock 🔒

During the InstrumentCoverage MIR pass, a BCB is a node in the “coverage graph”, which is a refinement of the MIR control-flow graph that merges or omits some blocks that aren’t relevant to coverage.

BasicCoverageBlockData 🔒

BasicCoverageBlockData holds the data indexed by a BasicCoverageBlock.

CoverageGraph 🔒

A coverage-specific simplification of the MIR control flow graph (CFG). The CoverageGraphs nodes are BasicCoverageBlocks, which encompass one or more MIR BasicBlocks.

CoverageRelevantSubgraph 🔒

Wrapper around a mir::BasicBlocks graph that restricts each node’s successors to only the ones considered “relevant” when building a coverage graph.

CoverageSuccessors 🔒

Holds the coverage-relevant successors of a basic block’s terminator, and indicates whether that block can potentially be combined into the same BCB as its sole successor.

Constants

START_BCB 🔒

Functions

bcb_filtered_successors 🔒