Struct rustc::middle::dataflow::DataFlowContext [] [src]

pub struct DataFlowContext<'a, 'tcx: 'a, O> { /* fields omitted */ }
🔬 This is a nightly-only experimental API. (rustc_private)

Methods

impl<'a, 'tcx, O: DataFlowOperator> DataFlowContext<'a, 'tcx, O>
[src]

🔬 This is a nightly-only experimental API. (rustc_private)

🔬 This is a nightly-only experimental API. (rustc_private)

Indicates that id generates bit

🔬 This is a nightly-only experimental API. (rustc_private)

Indicates that id kills bit

🔬 This is a nightly-only experimental API. (rustc_private)

Iterates through each bit that is set on entry to id. Only useful after propagate() has been called.

🔬 This is a nightly-only experimental API. (rustc_private)

Iterates through each bit that is set on entry/exit to cfgidx. Only useful after propagate() has been called.

🔬 This is a nightly-only experimental API. (rustc_private)

Iterates through each bit in the gen set for id.

🔬 This is a nightly-only experimental API. (rustc_private)

Whenever you have a break or continue statement, flow exits through any number of enclosing scopes on its way to the new destination. This function infers the kill bits of those control operators based on the kill bits associated with those scopes.

This is usually called (if it is called at all), after all add_gen and add_kill calls, but before propagate.

impl<'a, 'tcx, O: DataFlowOperator + Clone + 'static> DataFlowContext<'a, 'tcx, O>
[src]

🔬 This is a nightly-only experimental API. (rustc_private)

Performs the data flow analysis.

Trait Implementations

impl<'a, 'tcx: 'a, O: Clone> Clone for DataFlowContext<'a, 'tcx, O>
[src]

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more

impl<'a, 'tcx, O: DataFlowOperator> PpAnn for DataFlowContext<'a, 'tcx, O>
[src]

🔬 This is a nightly-only experimental API. (rustc_private)

🔬 This is a nightly-only experimental API. (rustc_private)

🔬 This is a nightly-only experimental API. (rustc_private)