[−][src]Module rustc_incremental::persist::dirty_clean
Debugging code to test fingerprints computed for query results.
For each node marked with #[rustc_clean] or #[rustc_dirty],
we will compare the fingerprint from the current and from the previous
compilation session as appropriate:
#[rustc_clean(cfg="rev2", except="typeck")]if we are in#[cfg(rev2)], then the fingerprints associated withDepNode::typeck(X)must be DIFFERENT (Xis theDefIdof the current node).#[rustc_clean(cfg="rev2")]same as above, except that the fingerprints must be the SAME (along with all other fingerprints).
Errors are reported if we are in the suitable configuration but the required condition is not met.
Structs
| Assertion | Represents the requested configuration by rustc_clean/dirty |
| DirtyCleanVisitor | |
| FindAllAttrs |
Constants
| BASE_CONST | For typedef, constants, and statics |
| BASE_FN | DepNodes for functions + methods |
| BASE_HIR | DepNodes for Hir, which is pretty much everything |
| BASE_IMPL |
|
| BASE_MIR | DepNodes for mir_built/Optimized, which is relevant in "executable" code, i.e., functions+methods |
| BASE_STRUCT | Struct, Enum and Union DepNodes |
| BASE_TRAIT_DEF | Trait definition |
| CFG | |
| EXCEPT | |
| EXTRA_ASSOCIATED | Extra |
| EXTRA_TRAIT | |
| LABEL | |
| LABELS_ADT | Abstract data type (struct, enum, union) |
| LABELS_CONST | |
| LABELS_CONST_IN_IMPL | Constant/Typedef in an impl |
| LABELS_CONST_IN_TRAIT | Trait-Const/Typedef DepNodes |
| LABELS_FN | Function |
| LABELS_FN_IN_IMPL | Method |
| LABELS_FN_IN_TRAIT | Trait method |
| LABELS_HIR_ONLY | For generic cases like inline-assembly, modules, etc. |
| LABELS_IMPL | Impl |
| LABELS_TRAIT | Trait definition |
Functions
| check_config | Given a |
| check_dirty_clean_annotations | |
| expect_associated_value |
Type Definitions
| Labels |