Module rustc_incremental::persist::dirty_clean
source · 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 withDepNode::typeck(X)
must be DIFFERENT (X
is theDefId
of the current node). -
#[rustc_clean(cfg="rev2")]
same as above, except that the fingerprints must be the SAME (along with all other fingerprints). -
#[rustc_clean(cfg="rev2", loaded_from_disk='typeck")]
asserts that the query result forDepNode::typeck(X)
was actually loaded from disk (not just marked green). This can be useful to ensure that a test is actually exercising the deserialization logic for a particular query result. This can be combined withexcept
Errors are reported if we are in the suitable configuration but the required condition is not met.
Structs
- Represents the requested configuration by rustc_clean/dirty
- A visitor that collects all
#[rustc_clean]
attributes from the HIR. It is used to verify that we really ran checks for all annotated nodes.
Constants
- For typedef, constants, and statics
- BASE_FN 🔒DepNodes for functions + methods
- BASE_HIR 🔒DepNodes for Hir, which is pretty much everything
impl
implementation of struct/trait- BASE_MIR 🔒DepNodes for mir_built/Optimized, which is relevant in “executable” code, i.e., functions+methods
- Struct, Enum and Union DepNodes
- CFG 🔒
- EXCEPT 🔒
- Trait definition
DepNode
s. ExtraDepNode
s for functions and methods. - Abstract data type (struct, enum, union)
DepNode
s. - Constant/Typedef in an impl
- Trait-Const/Typedef DepNodes
- Function
DepNode
s. - Method
DepNode
s. - Trait method
DepNode
s. - For generic cases like inline-assembly, modules, etc.
- Impl
DepNode
s. - Impl
DepNode
s.
Functions
- Given a
#[rustc_clean]
attribute, scan for acfg="foo"
attribute and check whether we have a cfg flag calledfoo
.
Type Aliases
- Labels 🔒