pub struct FlowAnalysis { /* private fields */ }Expand description
The result of flowing a body: per-statement entry facts + the statements proven unreachable.
Implementations§
Source§impl FlowAnalysis
impl FlowAnalysis
Sourcepub fn facts_before(&self, stmt: StmtId) -> Option<&FlowFacts>
pub fn facts_before(&self, stmt: StmtId) -> Option<&FlowFacts>
The facts in force before stmt (empty if none / unreachable).
Sourcepub fn unreachable_ranges(&self, body: &Body) -> Vec<TextRange>
pub fn unreachable_ranges(&self, body: &Body) -> Vec<TextRange>
The byte ranges of the unreachable-code anchors (Workstream 1 emits UNREACHABLE_CODE here).
Trait Implementations§
Source§impl Clone for FlowAnalysis
impl Clone for FlowAnalysis
Source§fn clone(&self) -> FlowAnalysis
fn clone(&self) -> FlowAnalysis
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for FlowAnalysis
impl Debug for FlowAnalysis
Source§impl Default for FlowAnalysis
impl Default for FlowAnalysis
Source§fn default() -> FlowAnalysis
fn default() -> FlowAnalysis
Returns the “default value” for a type. Read more
Auto Trait Implementations§
impl Freeze for FlowAnalysis
impl RefUnwindSafe for FlowAnalysis
impl Send for FlowAnalysis
impl Sync for FlowAnalysis
impl Unpin for FlowAnalysis
impl UnsafeUnpin for FlowAnalysis
impl UnwindSafe for FlowAnalysis
Blanket Implementations§
Source§impl<T> ArchivePointee for T
impl<T> ArchivePointee for T
Source§type ArchivedMetadata = ()
type ArchivedMetadata = ()
The archived version of the pointer metadata for this type.
Source§fn pointer_metadata(
_: &<T as ArchivePointee>::ArchivedMetadata,
) -> <T as Pointee>::Metadata
fn pointer_metadata( _: &<T as ArchivePointee>::ArchivedMetadata, ) -> <T as Pointee>::Metadata
Converts some archived metadata to the pointer metadata for itself.
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> LayoutRaw for T
impl<T> LayoutRaw for T
Source§fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>
fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>
Returns the layout of the type.
Source§impl<T, N1, N2> Niching<NichedOption<T, N1>> for N2
impl<T, N1, N2> Niching<NichedOption<T, N1>> for N2
Source§unsafe fn is_niched(niched: *const NichedOption<T, N1>) -> bool
unsafe fn is_niched(niched: *const NichedOption<T, N1>) -> bool
Returns whether the given value has been niched. Read more
Source§fn resolve_niched(out: Place<NichedOption<T, N1>>)
fn resolve_niched(out: Place<NichedOption<T, N1>>)
Writes data to
out indicating that a T is niched.