Module rustc_incremental::persist::dirty_clean[−][src]

Expand description

Debugging code to test fingerprints computed for query results. For each node marked with #[rustc_clean] 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 with DepNode::typeck(X) must be DIFFERENT (X is the DefId of 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	`impl` implementation of struct/trait
BASE_MIR	DepNodes for mir_built/Optimized, which is relevant in “executable” code, i.e., functions+methods
BASE_STRUCT	Struct, Enum and Union DepNodes
CFG
EXCEPT
EXTRA_ASSOCIATED	Trait definition `DepNode`s. Extra `DepNode`s for functions and methods.
EXTRA_TRAIT
LABELS_ADT	Abstract data type (struct, enum, union) `DepNode`s.
LABELS_CONST
LABELS_CONST_IN_IMPL	Constant/Typedef in an impl
LABELS_CONST_IN_TRAIT	Trait-Const/Typedef DepNodes
LABELS_FN	Function `DepNode`s.
LABELS_FN_IN_IMPL	Method `DepNode`s.
LABELS_FN_IN_TRAIT	Trait method `DepNode`s.
LABELS_HIR_ONLY	For generic cases like inline-assembly, modules, etc.
LABELS_IMPL	Impl `DepNode`s.
LABELS_TRAIT	Impl `DepNode`s.

Functions

check_config	Given a `#[rustc_clean]` attribute, scan for a `cfg="foo"` attribute and check whether we have a cfg flag called `foo`.
check_dirty_clean_annotations
expect_associated_value

Type Definitions

Labels