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.
Keyboard shortcuts
- ?
- Show this help dialog
- S
- Focus the search field
- ⇤
- Move up in search results
- ⇥
- Move down in search results
- ⏎
- Go to active search result
Search tricks
Prefix searches with a type followed by a colon (e.g.
fn:) to restrict the search to a given type.
Accepted types are: fn, mod,
struct, enum,
trait, typedef (or
tdef).
