Struct rustc_mir_transform::coverage::graph::TraversalContext
source · pub(super) struct TraversalContext {
pub loop_backedges: Option<(Vec<BasicCoverageBlock>, BasicCoverageBlock)>,
pub worklist: Vec<BasicCoverageBlock>,
}
Expand description
Maintains separate worklists for each loop in the BasicCoverageBlock CFG, plus one for the CoverageGraph outside all loops. This supports traversing the BCB CFG in a way that ensures a loop is completely traversed before processing Blocks after the end of the loop.
Fields§
§loop_backedges: Option<(Vec<BasicCoverageBlock>, BasicCoverageBlock)>
From one or more backedges returning to a loop header.
worklist: Vec<BasicCoverageBlock>
worklist, to be traversed, of CoverageGraph in the loop with the given loop backedges, such that the loop is the inner inner-most loop containing these CoverageGraph
Trait Implementations§
Auto Trait Implementations§
impl RefUnwindSafe for TraversalContext
impl Send for TraversalContext
impl Sync for TraversalContext
impl Unpin for TraversalContext
impl UnwindSafe for TraversalContext
Blanket Implementations§
Layout§
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.
Size: 56 bytes