Module rustc::middle::dataflow [−] [src]

Unstable (rustc_private)

A module for propagating forward dataflow information. The analysis assumes that the items to be propagated can be represented as bits and thus uses bitvectors. Your job is simply to specify the so-called GEN and KILL bits for each expression.

Structs

DataFlowContext

[Unstable]

Enums

EntryOrExit	[Unstable]
KillFrom	[Unstable] Flag used by `add_kill` to indicate whether the provided kill takes effect only when control flows directly through the node in question, or if the kill's effect is associated with any control-flow directly through or indirectly over the node.

Traits

BitwiseOperator	[Unstable]
DataFlowOperator	[Unstable] Parameterization for the precise form of data flow that is used.