about summary refs log tree commit diff
path: root/compiler/rustc_mir/src/dataflow/mod.rs
AgeCommit message (Collapse)AuthorLines
2021-09-07Move the dataflow framework to its own crate.Camille GILLOT-50/+0
2021-09-07Move rustc_mir::transform to rustc_mir_transform.Camille GILLOT-2/+6
2021-09-07Move rustc_mir::borrow_check to new crate rustc_borrowck.Camille GILLOT-9/+6
2021-08-21Remove `Session.used_attrs` and move logic to `CheckAttrVisitor`Aaron Hill-2/+2
Instead of updating global state to mark attributes as used, we now explicitly emit a warning when an attribute is used in an unsupported position. As a side effect, we are to emit more detailed warning messages (instead of just a generic "unused" message). `Session.check_name` is removed, since its only purpose was to mark the attribute as used. All of the callers are modified to use `Attribute.has_name` Additionally, `AttributeType::AssumedUsed` is removed - an 'assumed used' attribute is implemented by simply not performing any checks in `CheckAttrVisitor` for a particular attribute. We no longer emit unused attribute warnings for the `#[rustc_dummy]` attribute - it's an internal attribute used for tests, so it doesn't mark sense to treat it as 'unused'. With this commit, a large source of global untracked state is removed.
2021-08-17Expose graphviz modulesWill Crichton-1/+1
2021-07-04re-export SwitchIntEdgeEffectsTomasz Miąsko-1/+1
This makes it possible to use `switch_int_edge_effects` outside `rustc_mir::dataflow::impls`.
2020-08-30Extend dataflow framework to support arbitrary latticesDylan MacKenzie-3/+3
2020-08-30mv compiler to compiler/mark-0/+49