Rollup merge of #59315 - Zoxc:move-query, r=oli-obk
Add no_hash to query macro and move some queries over r? @oli-obk
This commit is contained in:
commit
4fbe25cc6b
|
@ -2811,6 +2811,7 @@ dependencies = [
|
||||||
name = "rustc_macros"
|
name = "rustc_macros"
|
||||||
version = "0.1.0"
|
version = "0.1.0"
|
||||||
dependencies = [
|
dependencies = [
|
||||||
|
"itertools 0.8.0 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||||
"proc-macro2 0.4.24 (registry+https://github.com/rust-lang/crates.io-index)",
|
"proc-macro2 0.4.24 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||||
"quote 0.6.10 (registry+https://github.com/rust-lang/crates.io-index)",
|
"quote 0.6.10 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||||
"syn 0.15.22 (registry+https://github.com/rust-lang/crates.io-index)",
|
"syn 0.15.22 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||||
|
|
|
@ -461,11 +461,6 @@ rustc_dep_node_append!([define_dep_nodes!][ <'tcx>
|
||||||
|
|
||||||
// Represents the MIR for a fn; also used as the task node for
|
// Represents the MIR for a fn; also used as the task node for
|
||||||
// things read/modify that MIR.
|
// things read/modify that MIR.
|
||||||
[] MirConstQualif(DefId),
|
|
||||||
[] MirBuilt(DefId),
|
|
||||||
[] MirConst(DefId),
|
|
||||||
[] MirValidated(DefId),
|
|
||||||
[] MirOptimized(DefId),
|
|
||||||
[] MirShim { instance_def: InstanceDef<'tcx> },
|
[] MirShim { instance_def: InstanceDef<'tcx> },
|
||||||
|
|
||||||
[] BorrowCheckKrate,
|
[] BorrowCheckKrate,
|
||||||
|
@ -485,7 +480,6 @@ rustc_dep_node_append!([define_dep_nodes!][ <'tcx>
|
||||||
[] CollectModItemTypes(DefId),
|
[] CollectModItemTypes(DefId),
|
||||||
|
|
||||||
[] Reachability,
|
[] Reachability,
|
||||||
[] MirKeys,
|
|
||||||
[eval_always] CrateVariances,
|
[eval_always] CrateVariances,
|
||||||
|
|
||||||
// Nodes representing bits of computed IR in the tcx. Each shared
|
// Nodes representing bits of computed IR in the tcx. Each shared
|
||||||
|
@ -544,7 +538,6 @@ rustc_dep_node_append!([define_dep_nodes!][ <'tcx>
|
||||||
[anon] TraitSelect,
|
[anon] TraitSelect,
|
||||||
|
|
||||||
[] ParamEnv(DefId),
|
[] ParamEnv(DefId),
|
||||||
[] Environment(DefId),
|
|
||||||
[] DescribeDef(DefId),
|
[] DescribeDef(DefId),
|
||||||
|
|
||||||
// FIXME(mw): DefSpans are not really inputs since they are derived from
|
// FIXME(mw): DefSpans are not really inputs since they are derived from
|
||||||
|
@ -571,7 +564,6 @@ rustc_dep_node_append!([define_dep_nodes!][ <'tcx>
|
||||||
[] HasGlobalAllocator(CrateNum),
|
[] HasGlobalAllocator(CrateNum),
|
||||||
[] HasPanicHandler(CrateNum),
|
[] HasPanicHandler(CrateNum),
|
||||||
[input] ExternCrate(DefId),
|
[input] ExternCrate(DefId),
|
||||||
[eval_always] LintLevels,
|
|
||||||
[] Specializes { impl1: DefId, impl2: DefId },
|
[] Specializes { impl1: DefId, impl2: DefId },
|
||||||
[input] InScopeTraits(DefIndex),
|
[input] InScopeTraits(DefIndex),
|
||||||
[input] ModuleExports(DefId),
|
[input] ModuleExports(DefId),
|
||||||
|
@ -621,14 +613,6 @@ rustc_dep_node_append!([define_dep_nodes!][ <'tcx>
|
||||||
[input] UsedCrateSource(CrateNum),
|
[input] UsedCrateSource(CrateNum),
|
||||||
[input] PostorderCnums,
|
[input] PostorderCnums,
|
||||||
|
|
||||||
// These queries are not expected to have inputs -- as a result, they
|
|
||||||
// are not good candidates for "replay" because they are essentially
|
|
||||||
// pure functions of their input (and hence the expectation is that
|
|
||||||
// no caller would be green **apart** from just these
|
|
||||||
// queries). Making them anonymous avoids hashing the result, which
|
|
||||||
// may save a bit of time.
|
|
||||||
[anon] EraseRegionsTy { ty: Ty<'tcx> },
|
|
||||||
|
|
||||||
[input] Freevars(DefId),
|
[input] Freevars(DefId),
|
||||||
[input] MaybeUnusedTraitImport(DefId),
|
[input] MaybeUnusedTraitImport(DefId),
|
||||||
[input] MaybeUnusedExternCrates,
|
[input] MaybeUnusedExternCrates,
|
||||||
|
@ -667,9 +651,6 @@ rustc_dep_node_append!([define_dep_nodes!][ <'tcx>
|
||||||
|
|
||||||
[input] Features,
|
[input] Features,
|
||||||
|
|
||||||
[] ProgramClausesFor(DefId),
|
|
||||||
[] ProgramClausesForEnv(traits::Environment<'tcx>),
|
|
||||||
[] WasmImportModuleMap(CrateNum),
|
|
||||||
[] ForeignModules(CrateNum),
|
[] ForeignModules(CrateNum),
|
||||||
|
|
||||||
[] UpstreamMonomorphizations(CrateNum),
|
[] UpstreamMonomorphizations(CrateNum),
|
||||||
|
|
|
@ -1,9 +1,9 @@
|
||||||
use crate::ty::query::QueryDescription;
|
use crate::ty::query::QueryDescription;
|
||||||
use crate::ty::query::queries;
|
use crate::ty::query::queries;
|
||||||
use crate::ty::TyCtxt;
|
use crate::ty::{self, Ty, TyCtxt};
|
||||||
use crate::ty;
|
use crate::hir::def_id::{DefId, CrateNum};
|
||||||
use crate::hir::def_id::CrateNum;
|
|
||||||
use crate::dep_graph::SerializedDepNodeIndex;
|
use crate::dep_graph::SerializedDepNodeIndex;
|
||||||
|
use crate::traits;
|
||||||
use std::borrow::Cow;
|
use std::borrow::Cow;
|
||||||
|
|
||||||
// Each of these queries corresponds to a function pointer field in the
|
// Each of these queries corresponds to a function pointer field in the
|
||||||
|
@ -55,6 +55,11 @@ rustc_queries! {
|
||||||
query native_libraries(_: CrateNum) -> Lrc<Vec<NativeLibrary>> {
|
query native_libraries(_: CrateNum) -> Lrc<Vec<NativeLibrary>> {
|
||||||
desc { "looking up the native libraries of a linked crate" }
|
desc { "looking up the native libraries of a linked crate" }
|
||||||
}
|
}
|
||||||
|
|
||||||
|
query lint_levels(_: CrateNum) -> Lrc<lint::LintLevelMap> {
|
||||||
|
eval_always
|
||||||
|
desc { "computing the lint levels for items in this crate" }
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
Codegen {
|
Codegen {
|
||||||
|
@ -63,4 +68,84 @@ rustc_queries! {
|
||||||
desc { "checking if the crate is_panic_runtime" }
|
desc { "checking if the crate is_panic_runtime" }
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Codegen {
|
||||||
|
/// Set of all the `DefId`s in this crate that have MIR associated with
|
||||||
|
/// them. This includes all the body owners, but also things like struct
|
||||||
|
/// constructors.
|
||||||
|
query mir_keys(_: CrateNum) -> Lrc<DefIdSet> {
|
||||||
|
desc { "getting a list of all mir_keys" }
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Maps DefId's that have an associated Mir to the result
|
||||||
|
/// of the MIR qualify_consts pass. The actual meaning of
|
||||||
|
/// the value isn't known except to the pass itself.
|
||||||
|
query mir_const_qualif(key: DefId) -> (u8, Lrc<BitSet<mir::Local>>) {
|
||||||
|
cache { key.is_local() }
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Fetch the MIR for a given `DefId` right after it's built - this includes
|
||||||
|
/// unreachable code.
|
||||||
|
query mir_built(_: DefId) -> &'tcx Steal<mir::Mir<'tcx>> {}
|
||||||
|
|
||||||
|
/// Fetch the MIR for a given `DefId` up till the point where it is
|
||||||
|
/// ready for const evaluation.
|
||||||
|
///
|
||||||
|
/// See the README for the `mir` module for details.
|
||||||
|
query mir_const(_: DefId) -> &'tcx Steal<mir::Mir<'tcx>> {
|
||||||
|
no_hash
|
||||||
|
}
|
||||||
|
|
||||||
|
query mir_validated(_: DefId) -> &'tcx Steal<mir::Mir<'tcx>> {
|
||||||
|
no_hash
|
||||||
|
}
|
||||||
|
|
||||||
|
/// MIR after our optimization passes have run. This is MIR that is ready
|
||||||
|
/// for codegen. This is also the only query that can fetch non-local MIR, at present.
|
||||||
|
query optimized_mir(key: DefId) -> &'tcx mir::Mir<'tcx> {
|
||||||
|
cache { key.is_local() }
|
||||||
|
load_cached(tcx, id) {
|
||||||
|
let mir: Option<crate::mir::Mir<'tcx>> = tcx.queries.on_disk_cache
|
||||||
|
.try_load_query_result(tcx, id);
|
||||||
|
mir.map(|x| tcx.alloc_mir(x))
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
TypeChecking {
|
||||||
|
// Erases regions from `ty` to yield a new type.
|
||||||
|
// Normally you would just use `tcx.erase_regions(&value)`,
|
||||||
|
// however, which uses this query as a kind of cache.
|
||||||
|
query erase_regions_ty(ty: Ty<'tcx>) -> Ty<'tcx> {
|
||||||
|
// This query is not expected to have input -- as a result, it
|
||||||
|
// is not a good candidates for "replay" because it is essentially a
|
||||||
|
// pure function of its input (and hence the expectation is that
|
||||||
|
// no caller would be green **apart** from just these
|
||||||
|
// queries). Making it anonymous avoids hashing the result, which
|
||||||
|
// may save a bit of time.
|
||||||
|
anon
|
||||||
|
no_force
|
||||||
|
desc { "erasing regions from `{:?}`", ty }
|
||||||
|
}
|
||||||
|
|
||||||
|
query program_clauses_for(_: DefId) -> Clauses<'tcx> {
|
||||||
|
desc { "generating chalk-style clauses" }
|
||||||
|
}
|
||||||
|
|
||||||
|
query program_clauses_for_env(_: traits::Environment<'tcx>) -> Clauses<'tcx> {
|
||||||
|
no_force
|
||||||
|
desc { "generating chalk-style clauses for environment" }
|
||||||
|
}
|
||||||
|
|
||||||
|
// Get the chalk-style environment of the given item.
|
||||||
|
query environment(_: DefId) -> traits::Environment<'tcx> {
|
||||||
|
desc { "return a chalk-style environment" }
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
Linking {
|
||||||
|
query wasm_import_module_map(_: CrateNum) -> Lrc<FxHashMap<DefId, String>> {
|
||||||
|
desc { "wasm import module map" }
|
||||||
|
}
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
|
@ -305,12 +305,6 @@ impl<'tcx> QueryDescription<'tcx> for queries::super_predicates_of<'tcx> {
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
impl<'tcx> QueryDescription<'tcx> for queries::erase_regions_ty<'tcx> {
|
|
||||||
fn describe(_tcx: TyCtxt<'_, '_, '_>, ty: Ty<'tcx>) -> Cow<'static, str> {
|
|
||||||
format!("erasing regions from `{:?}`", ty).into()
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
impl<'tcx> QueryDescription<'tcx> for queries::type_param_predicates<'tcx> {
|
impl<'tcx> QueryDescription<'tcx> for queries::type_param_predicates<'tcx> {
|
||||||
fn describe(tcx: TyCtxt<'_, '_, '_>, (_, def_id): (DefId, DefId)) -> Cow<'static, str> {
|
fn describe(tcx: TyCtxt<'_, '_, '_>, (_, def_id): (DefId, DefId)) -> Cow<'static, str> {
|
||||||
let id = tcx.hir().as_local_hir_id(def_id).unwrap();
|
let id = tcx.hir().as_local_hir_id(def_id).unwrap();
|
||||||
|
@ -431,12 +425,6 @@ impl<'tcx> QueryDescription<'tcx> for queries::const_eval_raw<'tcx> {
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
impl<'tcx> QueryDescription<'tcx> for queries::mir_keys<'tcx> {
|
|
||||||
fn describe(_: TyCtxt<'_, '_, '_>, _: CrateNum) -> Cow<'static, str> {
|
|
||||||
"getting a list of all mir_keys".into()
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
impl<'tcx> QueryDescription<'tcx> for queries::symbol_name<'tcx> {
|
impl<'tcx> QueryDescription<'tcx> for queries::symbol_name<'tcx> {
|
||||||
fn describe(_tcx: TyCtxt<'_, '_, '_>, instance: ty::Instance<'tcx>) -> Cow<'static, str> {
|
fn describe(_tcx: TyCtxt<'_, '_, '_>, instance: ty::Instance<'tcx>) -> Cow<'static, str> {
|
||||||
format!("computing the symbol for `{}`", instance).into()
|
format!("computing the symbol for `{}`", instance).into()
|
||||||
|
@ -617,12 +605,6 @@ impl<'tcx> QueryDescription<'tcx> for queries::analysis<'tcx> {
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
impl<'tcx> QueryDescription<'tcx> for queries::lint_levels<'tcx> {
|
|
||||||
fn describe(_tcx: TyCtxt<'_, '_, '_>, _: CrateNum) -> Cow<'static, str> {
|
|
||||||
"computing the lint levels for items in this crate".into()
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
impl<'tcx> QueryDescription<'tcx> for queries::specializes<'tcx> {
|
impl<'tcx> QueryDescription<'tcx> for queries::specializes<'tcx> {
|
||||||
fn describe(_tcx: TyCtxt<'_, '_, '_>, _: (DefId, DefId)) -> Cow<'static, str> {
|
fn describe(_tcx: TyCtxt<'_, '_, '_>, _: (DefId, DefId)) -> Cow<'static, str> {
|
||||||
"computing whether impls specialize one another".into()
|
"computing whether impls specialize one another".into()
|
||||||
|
@ -898,21 +880,6 @@ impl<'tcx> QueryDescription<'tcx> for queries::typeck_tables_of<'tcx> {
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
impl<'tcx> QueryDescription<'tcx> for queries::optimized_mir<'tcx> {
|
|
||||||
#[inline]
|
|
||||||
fn cache_on_disk(_: TyCtxt<'_, 'tcx, 'tcx>, def_id: Self::Key) -> bool {
|
|
||||||
def_id.is_local()
|
|
||||||
}
|
|
||||||
|
|
||||||
fn try_load_from_disk<'a>(tcx: TyCtxt<'a, 'tcx, 'tcx>,
|
|
||||||
id: SerializedDepNodeIndex)
|
|
||||||
-> Option<Self::Value> {
|
|
||||||
let mir: Option<crate::mir::Mir<'tcx>> = tcx.queries.on_disk_cache
|
|
||||||
.try_load_query_result(tcx, id);
|
|
||||||
mir.map(|x| tcx.alloc_mir(x))
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
impl<'tcx> QueryDescription<'tcx> for queries::substitute_normalize_and_test_predicates<'tcx> {
|
impl<'tcx> QueryDescription<'tcx> for queries::substitute_normalize_and_test_predicates<'tcx> {
|
||||||
fn describe(tcx: TyCtxt<'_, '_, '_>, key: (DefId, SubstsRef<'tcx>)) -> Cow<'static, str> {
|
fn describe(tcx: TyCtxt<'_, '_, '_>, key: (DefId, SubstsRef<'tcx>)) -> Cow<'static, str> {
|
||||||
format!("testing substituted normalized predicates:`{}`", tcx.def_path_str(key.0)).into()
|
format!("testing substituted normalized predicates:`{}`", tcx.def_path_str(key.0)).into()
|
||||||
|
@ -937,33 +904,9 @@ impl<'tcx> QueryDescription<'tcx> for queries::instance_def_size_estimate<'tcx>
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
impl<'tcx> QueryDescription<'tcx> for queries::program_clauses_for<'tcx> {
|
|
||||||
fn describe(_tcx: TyCtxt<'_, '_, '_>, _: DefId) -> Cow<'static, str> {
|
|
||||||
"generating chalk-style clauses".into()
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
impl<'tcx> QueryDescription<'tcx> for queries::program_clauses_for_env<'tcx> {
|
|
||||||
fn describe(_tcx: TyCtxt<'_, '_, '_>, _: traits::Environment<'tcx>) -> Cow<'static, str> {
|
|
||||||
"generating chalk-style clauses for environment".into()
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
impl<'tcx> QueryDescription<'tcx> for queries::environment<'tcx> {
|
|
||||||
fn describe(_tcx: TyCtxt<'_, '_, '_>, _: DefId) -> Cow<'static, str> {
|
|
||||||
"return a chalk-style environment".into()
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
impl<'tcx> QueryDescription<'tcx> for queries::wasm_import_module_map<'tcx> {
|
|
||||||
fn describe(_tcx: TyCtxt<'_, '_, '_>, _: CrateNum) -> Cow<'static, str> {
|
|
||||||
"wasm import module map".into()
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
impl<'tcx> QueryDescription<'tcx> for queries::dllimport_foreign_items<'tcx> {
|
impl<'tcx> QueryDescription<'tcx> for queries::dllimport_foreign_items<'tcx> {
|
||||||
fn describe(_tcx: TyCtxt<'_, '_, '_>, _: CrateNum) -> Cow<'static, str> {
|
fn describe(_tcx: TyCtxt<'_, '_, '_>, _: CrateNum) -> Cow<'static, str> {
|
||||||
"wasm import module map".into()
|
"dllimport_foreign_items".into()
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -997,7 +940,6 @@ impl_disk_cacheable_query!(mir_borrowck, |tcx, def_id| {
|
||||||
|
|
||||||
impl_disk_cacheable_query!(unsafety_check_result, |_, def_id| def_id.is_local());
|
impl_disk_cacheable_query!(unsafety_check_result, |_, def_id| def_id.is_local());
|
||||||
impl_disk_cacheable_query!(borrowck, |_, def_id| def_id.is_local());
|
impl_disk_cacheable_query!(borrowck, |_, def_id| def_id.is_local());
|
||||||
impl_disk_cacheable_query!(mir_const_qualif, |_, def_id| def_id.is_local());
|
|
||||||
impl_disk_cacheable_query!(check_match, |_, def_id| def_id.is_local());
|
impl_disk_cacheable_query!(check_match, |_, def_id| def_id.is_local());
|
||||||
impl_disk_cacheable_query!(def_symbol_name, |_, _| true);
|
impl_disk_cacheable_query!(def_symbol_name, |_, _| true);
|
||||||
impl_disk_cacheable_query!(predicates_of, |_, def_id| def_id.is_local());
|
impl_disk_cacheable_query!(predicates_of, |_, def_id| def_id.is_local());
|
||||||
|
|
|
@ -205,34 +205,6 @@ rustc_query_append! { [define_queries!][ <'tcx>
|
||||||
[] fn inherent_impls: InherentImpls(DefId) -> Lrc<Vec<DefId>>,
|
[] fn inherent_impls: InherentImpls(DefId) -> Lrc<Vec<DefId>>,
|
||||||
},
|
},
|
||||||
|
|
||||||
Codegen {
|
|
||||||
/// Set of all the `DefId`s in this crate that have MIR associated with
|
|
||||||
/// them. This includes all the body owners, but also things like struct
|
|
||||||
/// constructors.
|
|
||||||
[] fn mir_keys: mir_keys(CrateNum) -> Lrc<DefIdSet>,
|
|
||||||
|
|
||||||
/// Maps DefId's that have an associated Mir to the result
|
|
||||||
/// of the MIR qualify_consts pass. The actual meaning of
|
|
||||||
/// the value isn't known except to the pass itself.
|
|
||||||
[] fn mir_const_qualif: MirConstQualif(DefId) -> (u8, Lrc<BitSet<mir::Local>>),
|
|
||||||
|
|
||||||
/// Fetch the MIR for a given `DefId` right after it's built - this includes
|
|
||||||
/// unreachable code.
|
|
||||||
[] fn mir_built: MirBuilt(DefId) -> &'tcx Steal<mir::Mir<'tcx>>,
|
|
||||||
|
|
||||||
/// Fetch the MIR for a given `DefId` up till the point where it is
|
|
||||||
/// ready for const evaluation.
|
|
||||||
///
|
|
||||||
/// See the README for the `mir` module for details.
|
|
||||||
[no_hash] fn mir_const: MirConst(DefId) -> &'tcx Steal<mir::Mir<'tcx>>,
|
|
||||||
|
|
||||||
[no_hash] fn mir_validated: MirValidated(DefId) -> &'tcx Steal<mir::Mir<'tcx>>,
|
|
||||||
|
|
||||||
/// MIR after our optimization passes have run. This is MIR that is ready
|
|
||||||
/// for codegen. This is also the only query that can fetch non-local MIR, at present.
|
|
||||||
[] fn optimized_mir: MirOptimized(DefId) -> &'tcx mir::Mir<'tcx>,
|
|
||||||
},
|
|
||||||
|
|
||||||
TypeChecking {
|
TypeChecking {
|
||||||
/// The result of unsafety-checking this `DefId`.
|
/// The result of unsafety-checking this `DefId`.
|
||||||
[] fn unsafety_check_result: UnsafetyCheckResult(DefId) -> mir::UnsafetyCheckResult,
|
[] fn unsafety_check_result: UnsafetyCheckResult(DefId) -> mir::UnsafetyCheckResult,
|
||||||
|
@ -442,7 +414,6 @@ rustc_query_append! { [define_queries!][ <'tcx>
|
||||||
|
|
||||||
Other {
|
Other {
|
||||||
[] fn module_exports: ModuleExports(DefId) -> Option<Lrc<Vec<Export>>>,
|
[] fn module_exports: ModuleExports(DefId) -> Option<Lrc<Vec<Export>>>,
|
||||||
[] fn lint_levels: lint_levels_node(CrateNum) -> Lrc<lint::LintLevelMap>,
|
|
||||||
},
|
},
|
||||||
|
|
||||||
TypeChecking {
|
TypeChecking {
|
||||||
|
@ -582,11 +553,6 @@ rustc_query_append! { [define_queries!][ <'tcx>
|
||||||
},
|
},
|
||||||
|
|
||||||
TypeChecking {
|
TypeChecking {
|
||||||
// Erases regions from `ty` to yield a new type.
|
|
||||||
// Normally you would just use `tcx.erase_regions(&value)`,
|
|
||||||
// however, which uses this query as a kind of cache.
|
|
||||||
[] fn erase_regions_ty: erase_regions_ty(Ty<'tcx>) -> Ty<'tcx>,
|
|
||||||
|
|
||||||
/// Do not call this query directly: invoke `normalize` instead.
|
/// Do not call this query directly: invoke `normalize` instead.
|
||||||
[] fn normalize_projection_ty: NormalizeProjectionTy(
|
[] fn normalize_projection_ty: NormalizeProjectionTy(
|
||||||
CanonicalProjectionGoal<'tcx>
|
CanonicalProjectionGoal<'tcx>
|
||||||
|
@ -710,22 +676,6 @@ rustc_query_append! { [define_queries!][ <'tcx>
|
||||||
|
|
||||||
[] fn features_query: features_node(CrateNum) -> Lrc<feature_gate::Features>,
|
[] fn features_query: features_node(CrateNum) -> Lrc<feature_gate::Features>,
|
||||||
},
|
},
|
||||||
|
|
||||||
TypeChecking {
|
|
||||||
[] fn program_clauses_for: ProgramClausesFor(DefId) -> Clauses<'tcx>,
|
|
||||||
|
|
||||||
[] fn program_clauses_for_env: ProgramClausesForEnv(
|
|
||||||
traits::Environment<'tcx>
|
|
||||||
) -> Clauses<'tcx>,
|
|
||||||
|
|
||||||
// Get the chalk-style environment of the given item.
|
|
||||||
[] fn environment: Environment(DefId) -> traits::Environment<'tcx>,
|
|
||||||
},
|
|
||||||
|
|
||||||
Linking {
|
|
||||||
[] fn wasm_import_module_map: WasmImportModuleMap(CrateNum)
|
|
||||||
-> Lrc<FxHashMap<DefId, String>>,
|
|
||||||
},
|
|
||||||
]}
|
]}
|
||||||
|
|
||||||
//////////////////////////////////////////////////////////////////////
|
//////////////////////////////////////////////////////////////////////
|
||||||
|
@ -741,10 +691,6 @@ fn codegen_fn_attrs<'tcx>(id: DefId) -> DepConstructor<'tcx> {
|
||||||
DepConstructor::CodegenFnAttrs { 0: id }
|
DepConstructor::CodegenFnAttrs { 0: id }
|
||||||
}
|
}
|
||||||
|
|
||||||
fn erase_regions_ty<'tcx>(ty: Ty<'tcx>) -> DepConstructor<'tcx> {
|
|
||||||
DepConstructor::EraseRegionsTy { ty }
|
|
||||||
}
|
|
||||||
|
|
||||||
fn type_param_predicates<'tcx>((item_id, param_id): (DefId, DefId)) -> DepConstructor<'tcx> {
|
fn type_param_predicates<'tcx>((item_id, param_id): (DefId, DefId)) -> DepConstructor<'tcx> {
|
||||||
DepConstructor::TypeParamPredicates {
|
DepConstructor::TypeParamPredicates {
|
||||||
item_id,
|
item_id,
|
||||||
|
@ -795,10 +741,6 @@ fn const_eval_raw_dep_node<'tcx>(param_env: ty::ParamEnvAnd<'tcx, GlobalId<'tcx>
|
||||||
DepConstructor::ConstEvalRaw { param_env }
|
DepConstructor::ConstEvalRaw { param_env }
|
||||||
}
|
}
|
||||||
|
|
||||||
fn mir_keys<'tcx>(_: CrateNum) -> DepConstructor<'tcx> {
|
|
||||||
DepConstructor::MirKeys
|
|
||||||
}
|
|
||||||
|
|
||||||
fn crate_variances<'tcx>(_: CrateNum) -> DepConstructor<'tcx> {
|
fn crate_variances<'tcx>(_: CrateNum) -> DepConstructor<'tcx> {
|
||||||
DepConstructor::CrateVariances
|
DepConstructor::CrateVariances
|
||||||
}
|
}
|
||||||
|
@ -823,10 +765,6 @@ fn layout_dep_node<'tcx>(param_env: ty::ParamEnvAnd<'tcx, Ty<'tcx>>) -> DepConst
|
||||||
DepConstructor::Layout { param_env }
|
DepConstructor::Layout { param_env }
|
||||||
}
|
}
|
||||||
|
|
||||||
fn lint_levels_node<'tcx>(_: CrateNum) -> DepConstructor<'tcx> {
|
|
||||||
DepConstructor::LintLevels
|
|
||||||
}
|
|
||||||
|
|
||||||
fn specializes_node<'tcx>((a, b): (DefId, DefId)) -> DepConstructor<'tcx> {
|
fn specializes_node<'tcx>((a, b): (DefId, DefId)) -> DepConstructor<'tcx> {
|
||||||
DepConstructor::Specializes { impl1: a, impl2: b }
|
DepConstructor::Specializes { impl1: a, impl2: b }
|
||||||
}
|
}
|
||||||
|
|
|
@ -1223,7 +1223,6 @@ pub fn force_from_dep_node<'tcx>(
|
||||||
DepKind::CompileCodegenUnit |
|
DepKind::CompileCodegenUnit |
|
||||||
DepKind::FulfillObligation |
|
DepKind::FulfillObligation |
|
||||||
DepKind::VtableMethods |
|
DepKind::VtableMethods |
|
||||||
DepKind::EraseRegionsTy |
|
|
||||||
DepKind::NormalizeProjectionTy |
|
DepKind::NormalizeProjectionTy |
|
||||||
DepKind::NormalizeTyAfterErasingRegions |
|
DepKind::NormalizeTyAfterErasingRegions |
|
||||||
DepKind::ImpliedOutlivesBounds |
|
DepKind::ImpliedOutlivesBounds |
|
||||||
|
@ -1240,11 +1239,7 @@ pub fn force_from_dep_node<'tcx>(
|
||||||
DepKind::TypeOpNormalizeFnSig |
|
DepKind::TypeOpNormalizeFnSig |
|
||||||
DepKind::SubstituteNormalizeAndTestPredicates |
|
DepKind::SubstituteNormalizeAndTestPredicates |
|
||||||
DepKind::MethodAutoderefSteps |
|
DepKind::MethodAutoderefSteps |
|
||||||
DepKind::InstanceDefSizeEstimate |
|
DepKind::InstanceDefSizeEstimate => {
|
||||||
DepKind::ProgramClausesForEnv |
|
|
||||||
|
|
||||||
// This one should never occur in this context
|
|
||||||
DepKind::Null => {
|
|
||||||
bug!("force_from_dep_node() - Encountered {:?}", dep_node)
|
bug!("force_from_dep_node() - Encountered {:?}", dep_node)
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -1262,11 +1257,6 @@ pub fn force_from_dep_node<'tcx>(
|
||||||
},
|
},
|
||||||
DepKind::PrivacyAccessLevels => { force!(privacy_access_levels, LOCAL_CRATE); }
|
DepKind::PrivacyAccessLevels => { force!(privacy_access_levels, LOCAL_CRATE); }
|
||||||
DepKind::CheckPrivateInPublic => { force!(check_private_in_public, LOCAL_CRATE); }
|
DepKind::CheckPrivateInPublic => { force!(check_private_in_public, LOCAL_CRATE); }
|
||||||
DepKind::MirBuilt => { force!(mir_built, def_id!()); }
|
|
||||||
DepKind::MirConstQualif => { force!(mir_const_qualif, def_id!()); }
|
|
||||||
DepKind::MirConst => { force!(mir_const, def_id!()); }
|
|
||||||
DepKind::MirValidated => { force!(mir_validated, def_id!()); }
|
|
||||||
DepKind::MirOptimized => { force!(optimized_mir, def_id!()); }
|
|
||||||
|
|
||||||
DepKind::BorrowCheck => { force!(borrowck, def_id!()); }
|
DepKind::BorrowCheck => { force!(borrowck, def_id!()); }
|
||||||
DepKind::MirBorrowCheck => { force!(mir_borrowck, def_id!()); }
|
DepKind::MirBorrowCheck => { force!(mir_borrowck, def_id!()); }
|
||||||
|
@ -1282,7 +1272,6 @@ pub fn force_from_dep_node<'tcx>(
|
||||||
DepKind::CheckModImplWf => { force!(check_mod_impl_wf, def_id!()); }
|
DepKind::CheckModImplWf => { force!(check_mod_impl_wf, def_id!()); }
|
||||||
DepKind::CollectModItemTypes => { force!(collect_mod_item_types, def_id!()); }
|
DepKind::CollectModItemTypes => { force!(collect_mod_item_types, def_id!()); }
|
||||||
DepKind::Reachability => { force!(reachable_set, LOCAL_CRATE); }
|
DepKind::Reachability => { force!(reachable_set, LOCAL_CRATE); }
|
||||||
DepKind::MirKeys => { force!(mir_keys, LOCAL_CRATE); }
|
|
||||||
DepKind::CrateVariances => { force!(crate_variances, LOCAL_CRATE); }
|
DepKind::CrateVariances => { force!(crate_variances, LOCAL_CRATE); }
|
||||||
DepKind::AssociatedItems => { force!(associated_item, def_id!()); }
|
DepKind::AssociatedItems => { force!(associated_item, def_id!()); }
|
||||||
DepKind::PredicatesDefinedOnItem => { force!(predicates_defined_on, def_id!()); }
|
DepKind::PredicatesDefinedOnItem => { force!(predicates_defined_on, def_id!()); }
|
||||||
|
@ -1317,7 +1306,6 @@ pub fn force_from_dep_node<'tcx>(
|
||||||
DepKind::CheckMatch => { force!(check_match, def_id!()); }
|
DepKind::CheckMatch => { force!(check_match, def_id!()); }
|
||||||
|
|
||||||
DepKind::ParamEnv => { force!(param_env, def_id!()); }
|
DepKind::ParamEnv => { force!(param_env, def_id!()); }
|
||||||
DepKind::Environment => { force!(environment, def_id!()); }
|
|
||||||
DepKind::DescribeDef => { force!(describe_def, def_id!()); }
|
DepKind::DescribeDef => { force!(describe_def, def_id!()); }
|
||||||
DepKind::DefSpan => { force!(def_span, def_id!()); }
|
DepKind::DefSpan => { force!(def_span, def_id!()); }
|
||||||
DepKind::LookupStability => { force!(lookup_stability, def_id!()); }
|
DepKind::LookupStability => { force!(lookup_stability, def_id!()); }
|
||||||
|
@ -1344,7 +1332,6 @@ pub fn force_from_dep_node<'tcx>(
|
||||||
DepKind::HasGlobalAllocator => { force!(has_global_allocator, krate!()); }
|
DepKind::HasGlobalAllocator => { force!(has_global_allocator, krate!()); }
|
||||||
DepKind::HasPanicHandler => { force!(has_panic_handler, krate!()); }
|
DepKind::HasPanicHandler => { force!(has_panic_handler, krate!()); }
|
||||||
DepKind::ExternCrate => { force!(extern_crate, def_id!()); }
|
DepKind::ExternCrate => { force!(extern_crate, def_id!()); }
|
||||||
DepKind::LintLevels => { force!(lint_levels, LOCAL_CRATE); }
|
|
||||||
DepKind::InScopeTraits => { force!(in_scope_traits_map, def_id!().index); }
|
DepKind::InScopeTraits => { force!(in_scope_traits_map, def_id!().index); }
|
||||||
DepKind::ModuleExports => { force!(module_exports, def_id!()); }
|
DepKind::ModuleExports => { force!(module_exports, def_id!()); }
|
||||||
DepKind::IsSanitizerRuntime => { force!(is_sanitizer_runtime, krate!()); }
|
DepKind::IsSanitizerRuntime => { force!(is_sanitizer_runtime, krate!()); }
|
||||||
|
@ -1425,8 +1412,6 @@ pub fn force_from_dep_node<'tcx>(
|
||||||
|
|
||||||
DepKind::Features => { force!(features_query, LOCAL_CRATE); }
|
DepKind::Features => { force!(features_query, LOCAL_CRATE); }
|
||||||
|
|
||||||
DepKind::ProgramClausesFor => { force!(program_clauses_for, def_id!()); }
|
|
||||||
DepKind::WasmImportModuleMap => { force!(wasm_import_module_map, krate!()); }
|
|
||||||
DepKind::ForeignModules => { force!(foreign_modules, krate!()); }
|
DepKind::ForeignModules => { force!(foreign_modules, krate!()); }
|
||||||
|
|
||||||
DepKind::UpstreamMonomorphizations => {
|
DepKind::UpstreamMonomorphizations => {
|
||||||
|
@ -1491,11 +1476,11 @@ macro_rules! impl_load_from_cache {
|
||||||
|
|
||||||
impl_load_from_cache!(
|
impl_load_from_cache!(
|
||||||
TypeckTables => typeck_tables_of,
|
TypeckTables => typeck_tables_of,
|
||||||
MirOptimized => optimized_mir,
|
optimized_mir => optimized_mir,
|
||||||
UnsafetyCheckResult => unsafety_check_result,
|
UnsafetyCheckResult => unsafety_check_result,
|
||||||
BorrowCheck => borrowck,
|
BorrowCheck => borrowck,
|
||||||
MirBorrowCheck => mir_borrowck,
|
MirBorrowCheck => mir_borrowck,
|
||||||
MirConstQualif => mir_const_qualif,
|
mir_const_qualif => mir_const_qualif,
|
||||||
SymbolName => def_symbol_name,
|
SymbolName => def_symbol_name,
|
||||||
ConstIsRvaluePromotableToStatic => const_is_rvalue_promotable_to_static,
|
ConstIsRvaluePromotableToStatic => const_is_rvalue_promotable_to_static,
|
||||||
CheckMatch => check_match,
|
CheckMatch => check_match,
|
||||||
|
|
|
@ -66,11 +66,11 @@ const BASE_IMPL: &[&str] = &[
|
||||||
label_strs::ImplTraitRef,
|
label_strs::ImplTraitRef,
|
||||||
];
|
];
|
||||||
|
|
||||||
/// DepNodes for MirBuilt/Optimized, which is relevant in "executable"
|
/// DepNodes for mir_built/Optimized, which is relevant in "executable"
|
||||||
/// code, i.e., functions+methods
|
/// code, i.e., functions+methods
|
||||||
const BASE_MIR: &[&str] = &[
|
const BASE_MIR: &[&str] = &[
|
||||||
label_strs::MirOptimized,
|
label_strs::optimized_mir,
|
||||||
label_strs::MirBuilt,
|
label_strs::mir_built,
|
||||||
];
|
];
|
||||||
|
|
||||||
/// Struct, Enum and Union DepNodes
|
/// Struct, Enum and Union DepNodes
|
||||||
|
|
|
@ -12,3 +12,4 @@ synstructure = "0.10.1"
|
||||||
syn = { version = "0.15.22", features = ["full"] }
|
syn = { version = "0.15.22", features = ["full"] }
|
||||||
proc-macro2 = "0.4.24"
|
proc-macro2 = "0.4.24"
|
||||||
quote = "0.6.10"
|
quote = "0.6.10"
|
||||||
|
itertools = "0.8"
|
||||||
|
|
|
@ -8,6 +8,7 @@ use syn::parse::{Result, Parse, ParseStream};
|
||||||
use syn::punctuated::Punctuated;
|
use syn::punctuated::Punctuated;
|
||||||
use syn;
|
use syn;
|
||||||
use quote::quote;
|
use quote::quote;
|
||||||
|
use itertools::Itertools;
|
||||||
|
|
||||||
#[allow(non_camel_case_types)]
|
#[allow(non_camel_case_types)]
|
||||||
mod kw {
|
mod kw {
|
||||||
|
@ -41,6 +42,18 @@ enum QueryModifier {
|
||||||
|
|
||||||
/// A cycle error for this query aborting the compilation with a fatal error.
|
/// A cycle error for this query aborting the compilation with a fatal error.
|
||||||
FatalCycle,
|
FatalCycle,
|
||||||
|
|
||||||
|
/// Don't hash the result, instead just mark a query red if it runs
|
||||||
|
NoHash,
|
||||||
|
|
||||||
|
/// Don't force the query
|
||||||
|
NoForce,
|
||||||
|
|
||||||
|
/// Generate a dep node based on the dependencies of the query
|
||||||
|
Anon,
|
||||||
|
|
||||||
|
// Always evaluate the query, ignoring its depdendencies
|
||||||
|
EvalAlways,
|
||||||
}
|
}
|
||||||
|
|
||||||
impl Parse for QueryModifier {
|
impl Parse for QueryModifier {
|
||||||
|
@ -88,6 +101,14 @@ impl Parse for QueryModifier {
|
||||||
Ok(QueryModifier::LoadCached(tcx, id, block))
|
Ok(QueryModifier::LoadCached(tcx, id, block))
|
||||||
} else if modifier == "fatal_cycle" {
|
} else if modifier == "fatal_cycle" {
|
||||||
Ok(QueryModifier::FatalCycle)
|
Ok(QueryModifier::FatalCycle)
|
||||||
|
} else if modifier == "no_hash" {
|
||||||
|
Ok(QueryModifier::NoHash)
|
||||||
|
} else if modifier == "no_force" {
|
||||||
|
Ok(QueryModifier::NoForce)
|
||||||
|
} else if modifier == "anon" {
|
||||||
|
Ok(QueryModifier::Anon)
|
||||||
|
} else if modifier == "eval_always" {
|
||||||
|
Ok(QueryModifier::EvalAlways)
|
||||||
} else {
|
} else {
|
||||||
Err(Error::new(modifier.span(), "unknown query modifier"))
|
Err(Error::new(modifier.span(), "unknown query modifier"))
|
||||||
}
|
}
|
||||||
|
@ -185,6 +206,18 @@ struct QueryModifiers {
|
||||||
|
|
||||||
/// A cycle error for this query aborting the compilation with a fatal error.
|
/// A cycle error for this query aborting the compilation with a fatal error.
|
||||||
fatal_cycle: bool,
|
fatal_cycle: bool,
|
||||||
|
|
||||||
|
/// Don't hash the result, instead just mark a query red if it runs
|
||||||
|
no_hash: bool,
|
||||||
|
|
||||||
|
/// Don't force the query
|
||||||
|
no_force: bool,
|
||||||
|
|
||||||
|
/// Generate a dep node based on the dependencies of the query
|
||||||
|
anon: bool,
|
||||||
|
|
||||||
|
// Always evaluate the query, ignoring its depdendencies
|
||||||
|
eval_always: bool,
|
||||||
}
|
}
|
||||||
|
|
||||||
/// Process query modifiers into a struct, erroring on duplicates
|
/// Process query modifiers into a struct, erroring on duplicates
|
||||||
|
@ -193,6 +226,10 @@ fn process_modifiers(query: &mut Query) -> QueryModifiers {
|
||||||
let mut cache = None;
|
let mut cache = None;
|
||||||
let mut desc = None;
|
let mut desc = None;
|
||||||
let mut fatal_cycle = false;
|
let mut fatal_cycle = false;
|
||||||
|
let mut no_hash = false;
|
||||||
|
let mut no_force = false;
|
||||||
|
let mut anon = false;
|
||||||
|
let mut eval_always = false;
|
||||||
for modifier in query.modifiers.0.drain(..) {
|
for modifier in query.modifiers.0.drain(..) {
|
||||||
match modifier {
|
match modifier {
|
||||||
QueryModifier::LoadCached(tcx, id, block) => {
|
QueryModifier::LoadCached(tcx, id, block) => {
|
||||||
|
@ -219,6 +256,30 @@ fn process_modifiers(query: &mut Query) -> QueryModifiers {
|
||||||
}
|
}
|
||||||
fatal_cycle = true;
|
fatal_cycle = true;
|
||||||
}
|
}
|
||||||
|
QueryModifier::NoHash => {
|
||||||
|
if no_hash {
|
||||||
|
panic!("duplicate modifier `no_hash` for query `{}`", query.name);
|
||||||
|
}
|
||||||
|
no_hash = true;
|
||||||
|
}
|
||||||
|
QueryModifier::NoForce => {
|
||||||
|
if no_force {
|
||||||
|
panic!("duplicate modifier `no_force` for query `{}`", query.name);
|
||||||
|
}
|
||||||
|
no_force = true;
|
||||||
|
}
|
||||||
|
QueryModifier::Anon => {
|
||||||
|
if anon {
|
||||||
|
panic!("duplicate modifier `anon` for query `{}`", query.name);
|
||||||
|
}
|
||||||
|
anon = true;
|
||||||
|
}
|
||||||
|
QueryModifier::EvalAlways => {
|
||||||
|
if eval_always {
|
||||||
|
panic!("duplicate modifier `eval_always` for query `{}`", query.name);
|
||||||
|
}
|
||||||
|
eval_always = true;
|
||||||
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
QueryModifiers {
|
QueryModifiers {
|
||||||
|
@ -226,6 +287,10 @@ fn process_modifiers(query: &mut Query) -> QueryModifiers {
|
||||||
cache,
|
cache,
|
||||||
desc,
|
desc,
|
||||||
fatal_cycle,
|
fatal_cycle,
|
||||||
|
no_hash,
|
||||||
|
no_force,
|
||||||
|
anon,
|
||||||
|
eval_always,
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -312,6 +377,7 @@ pub fn rustc_queries(input: TokenStream) -> TokenStream {
|
||||||
let mut query_description_stream = quote! {};
|
let mut query_description_stream = quote! {};
|
||||||
let mut dep_node_def_stream = quote! {};
|
let mut dep_node_def_stream = quote! {};
|
||||||
let mut dep_node_force_stream = quote! {};
|
let mut dep_node_force_stream = quote! {};
|
||||||
|
let mut no_force_queries = Vec::new();
|
||||||
|
|
||||||
for group in groups.0 {
|
for group in groups.0 {
|
||||||
let mut group_stream = quote! {};
|
let mut group_stream = quote! {};
|
||||||
|
@ -325,41 +391,83 @@ pub fn rustc_queries(input: TokenStream) -> TokenStream {
|
||||||
_ => quote! { #result_full },
|
_ => quote! { #result_full },
|
||||||
};
|
};
|
||||||
|
|
||||||
|
let mut attributes = Vec::new();
|
||||||
|
|
||||||
// Pass on the fatal_cycle modifier
|
// Pass on the fatal_cycle modifier
|
||||||
let fatal_cycle = if modifiers.fatal_cycle {
|
if modifiers.fatal_cycle {
|
||||||
quote! { fatal_cycle }
|
attributes.push(quote! { fatal_cycle });
|
||||||
} else {
|
|
||||||
quote! {}
|
|
||||||
};
|
};
|
||||||
|
// Pass on the no_hash modifier
|
||||||
|
if modifiers.no_hash {
|
||||||
|
attributes.push(quote! { no_hash });
|
||||||
|
};
|
||||||
|
|
||||||
|
let mut attribute_stream = quote! {};
|
||||||
|
|
||||||
|
for e in attributes.into_iter().intersperse(quote! {,}) {
|
||||||
|
attribute_stream.extend(e);
|
||||||
|
}
|
||||||
|
|
||||||
// Add the query to the group
|
// Add the query to the group
|
||||||
group_stream.extend(quote! {
|
group_stream.extend(quote! {
|
||||||
[#fatal_cycle] fn #name: #name(#arg) #result,
|
[#attribute_stream] fn #name: #name(#arg) #result,
|
||||||
});
|
});
|
||||||
|
|
||||||
add_query_description_impl(&query, modifiers, &mut query_description_stream);
|
let mut attributes = Vec::new();
|
||||||
|
|
||||||
|
// Pass on the anon modifier
|
||||||
|
if modifiers.anon {
|
||||||
|
attributes.push(quote! { anon });
|
||||||
|
};
|
||||||
|
// Pass on the eval_always modifier
|
||||||
|
if modifiers.eval_always {
|
||||||
|
attributes.push(quote! { eval_always });
|
||||||
|
};
|
||||||
|
|
||||||
|
let mut attribute_stream = quote! {};
|
||||||
|
for e in attributes.into_iter().intersperse(quote! {,}) {
|
||||||
|
attribute_stream.extend(e);
|
||||||
|
}
|
||||||
// Create a dep node for the query
|
// Create a dep node for the query
|
||||||
dep_node_def_stream.extend(quote! {
|
dep_node_def_stream.extend(quote! {
|
||||||
[] #name(#arg),
|
[#attribute_stream] #name(#arg),
|
||||||
});
|
});
|
||||||
|
|
||||||
// Add a match arm to force the query given the dep node
|
if modifiers.no_force {
|
||||||
dep_node_force_stream.extend(quote! {
|
no_force_queries.push(name.clone());
|
||||||
DepKind::#name => {
|
} else {
|
||||||
if let Some(key) = RecoverKey::recover($tcx, $dep_node) {
|
// Add a match arm to force the query given the dep node
|
||||||
force_ex!($tcx, #name, key);
|
dep_node_force_stream.extend(quote! {
|
||||||
} else {
|
DepKind::#name => {
|
||||||
return false;
|
if let Some(key) = RecoverKey::recover($tcx, $dep_node) {
|
||||||
|
force_ex!($tcx, #name, key);
|
||||||
|
} else {
|
||||||
|
return false;
|
||||||
|
}
|
||||||
}
|
}
|
||||||
}
|
});
|
||||||
});
|
}
|
||||||
|
|
||||||
|
add_query_description_impl(&query, modifiers, &mut query_description_stream);
|
||||||
}
|
}
|
||||||
let name = &group.name;
|
let name = &group.name;
|
||||||
query_stream.extend(quote! {
|
query_stream.extend(quote! {
|
||||||
#name { #group_stream },
|
#name { #group_stream },
|
||||||
});
|
});
|
||||||
}
|
}
|
||||||
|
|
||||||
|
// Add an arm for the no force queries to panic when trying to force them
|
||||||
|
for query in no_force_queries {
|
||||||
|
dep_node_force_stream.extend(quote! {
|
||||||
|
DepKind::#query |
|
||||||
|
});
|
||||||
|
}
|
||||||
|
dep_node_force_stream.extend(quote! {
|
||||||
|
DepKind::Null => {
|
||||||
|
bug!("Cannot force dep node: {:?}", $dep_node)
|
||||||
|
}
|
||||||
|
});
|
||||||
|
|
||||||
TokenStream::from(quote! {
|
TokenStream::from(quote! {
|
||||||
macro_rules! rustc_query_append {
|
macro_rules! rustc_query_append {
|
||||||
([$($macro:tt)*][$($other:tt)*]) => {
|
([$($macro:tt)*][$($other:tt)*]) => {
|
||||||
|
|
|
@ -25,7 +25,7 @@ pub fn change_callee_function() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirBuilt,MirOptimized,TypeckTables")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,mir_built,optimized_mir,TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_callee_function() {
|
pub fn change_callee_function() {
|
||||||
callee2(1, 2)
|
callee2(1, 2)
|
||||||
|
@ -40,7 +40,7 @@ pub fn change_argument_function() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirBuilt,MirOptimized")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,mir_built,optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_argument_function() {
|
pub fn change_argument_function() {
|
||||||
callee1(1, 3)
|
callee1(1, 3)
|
||||||
|
@ -81,7 +81,7 @@ pub fn change_callee_method() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirBuilt,MirOptimized,TypeckTables")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,mir_built,optimized_mir,TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_callee_method() {
|
pub fn change_callee_method() {
|
||||||
let s = Struct;
|
let s = Struct;
|
||||||
|
@ -98,7 +98,7 @@ pub fn change_argument_method() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirBuilt,MirOptimized")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,mir_built,optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_argument_method() {
|
pub fn change_argument_method() {
|
||||||
let s = Struct;
|
let s = Struct;
|
||||||
|
@ -115,7 +115,7 @@ pub fn change_ufcs_callee_method() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirBuilt,MirOptimized,TypeckTables")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,mir_built,optimized_mir,TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_ufcs_callee_method() {
|
pub fn change_ufcs_callee_method() {
|
||||||
let s = Struct;
|
let s = Struct;
|
||||||
|
@ -132,7 +132,7 @@ pub fn change_argument_method_ufcs() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirBuilt,MirOptimized")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,mir_built,optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_argument_method_ufcs() {
|
pub fn change_argument_method_ufcs() {
|
||||||
let s = Struct;
|
let s = Struct;
|
||||||
|
@ -149,7 +149,7 @@ pub fn change_to_ufcs() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirBuilt,MirOptimized,TypeckTables")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,mir_built,optimized_mir,TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
// One might think this would be expanded in the HirBody/Mir, but it actually
|
// One might think this would be expanded in the HirBody/Mir, but it actually
|
||||||
// results in slightly different Hir/Mir.
|
// results in slightly different Hir/Mir.
|
||||||
|
@ -171,7 +171,7 @@ pub mod change_ufcs_callee_indirectly {
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
use super::Struct2 as Struct;
|
use super::Struct2 as Struct;
|
||||||
|
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirBuilt,MirOptimized,TypeckTables")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,mir_built,optimized_mir,TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
|
|
||||||
|
|
||||||
|
|
|
@ -37,7 +37,7 @@ pub fn add_parameter() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody, MirBuilt, MirOptimized, TypeckTables")]
|
#[rustc_clean(cfg="cfail2", except="HirBody, mir_built, optimized_mir, TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn add_parameter() {
|
pub fn add_parameter() {
|
||||||
let x = 0u32;
|
let x = 0u32;
|
||||||
|
@ -53,7 +53,7 @@ pub fn change_parameter_pattern() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody, MirBuilt, TypeckTables")]
|
#[rustc_clean(cfg="cfail2", except="HirBody, mir_built, TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_parameter_pattern() {
|
pub fn change_parameter_pattern() {
|
||||||
let _ = |&x: &u32| x;
|
let _ = |&x: &u32| x;
|
||||||
|
@ -84,7 +84,7 @@ pub fn add_type_ascription_to_parameter() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody, MirBuilt, TypeckTables")]
|
#[rustc_clean(cfg="cfail2", except="HirBody, mir_built, TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn add_type_ascription_to_parameter() {
|
pub fn add_type_ascription_to_parameter() {
|
||||||
let closure = |x: u32| x + 1u32;
|
let closure = |x: u32| x + 1u32;
|
||||||
|
@ -101,7 +101,7 @@ pub fn change_parameter_type() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody, MirBuilt, MirOptimized, TypeckTables")]
|
#[rustc_clean(cfg="cfail2", except="HirBody, mir_built, optimized_mir, TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_parameter_type() {
|
pub fn change_parameter_type() {
|
||||||
let closure = |x: u16| (x as u64) + 1;
|
let closure = |x: u16| (x as u64) + 1;
|
||||||
|
|
|
@ -34,7 +34,7 @@ pub fn change_field_value_struct_like() -> Enum {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirOptimized,MirBuilt")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,optimized_mir,mir_built")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_field_value_struct_like() -> Enum {
|
pub fn change_field_value_struct_like() -> Enum {
|
||||||
Enum::Struct {
|
Enum::Struct {
|
||||||
|
@ -96,7 +96,7 @@ pub fn change_constructor_path_struct_like() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirOptimized,MirBuilt,TypeckTables")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,optimized_mir,mir_built,TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_constructor_path_struct_like() {
|
pub fn change_constructor_path_struct_like() {
|
||||||
let _ = Enum2::Struct {
|
let _ = Enum2::Struct {
|
||||||
|
@ -119,7 +119,7 @@ pub fn change_constructor_variant_struct_like() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirOptimized,MirBuilt")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,optimized_mir,mir_built")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_constructor_variant_struct_like() {
|
pub fn change_constructor_variant_struct_like() {
|
||||||
let _ = Enum2::Struct2 {
|
let _ = Enum2::Struct2 {
|
||||||
|
@ -139,7 +139,7 @@ pub mod change_constructor_path_indirectly_struct_like {
|
||||||
|
|
||||||
#[rustc_clean(
|
#[rustc_clean(
|
||||||
cfg="cfail2",
|
cfg="cfail2",
|
||||||
except="FnSignature,Hir,HirBody,MirOptimized,MirBuilt,\
|
except="FnSignature,Hir,HirBody,optimized_mir,mir_built,\
|
||||||
TypeckTables"
|
TypeckTables"
|
||||||
)]
|
)]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
|
@ -161,7 +161,7 @@ pub mod change_constructor_variant_indirectly_struct_like {
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
use super::Enum2::Struct2 as Variant;
|
use super::Enum2::Struct2 as Variant;
|
||||||
|
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirOptimized,MirBuilt")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,optimized_mir,mir_built")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn function() -> Enum2 {
|
pub fn function() -> Enum2 {
|
||||||
Variant {
|
Variant {
|
||||||
|
@ -180,7 +180,7 @@ pub fn change_field_value_tuple_like() -> Enum {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirOptimized,MirBuilt")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,optimized_mir,mir_built")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_field_value_tuple_like() -> Enum {
|
pub fn change_field_value_tuple_like() -> Enum {
|
||||||
Enum::Tuple(0, 1, 3)
|
Enum::Tuple(0, 1, 3)
|
||||||
|
@ -197,7 +197,7 @@ pub fn change_constructor_path_tuple_like() {
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(
|
#[rustc_clean(
|
||||||
cfg="cfail2",
|
cfg="cfail2",
|
||||||
except="HirBody,MirOptimized,MirBuilt,TypeckTables"
|
except="HirBody,optimized_mir,mir_built,TypeckTables"
|
||||||
)]
|
)]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_constructor_path_tuple_like() {
|
pub fn change_constructor_path_tuple_like() {
|
||||||
|
@ -215,7 +215,7 @@ pub fn change_constructor_variant_tuple_like() {
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(
|
#[rustc_clean(
|
||||||
cfg="cfail2",
|
cfg="cfail2",
|
||||||
except="HirBody,MirOptimized,MirBuilt,TypeckTables"
|
except="HirBody,optimized_mir,mir_built,TypeckTables"
|
||||||
)]
|
)]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_constructor_variant_tuple_like() {
|
pub fn change_constructor_variant_tuple_like() {
|
||||||
|
@ -232,7 +232,7 @@ pub mod change_constructor_path_indirectly_tuple_like {
|
||||||
|
|
||||||
#[rustc_clean(
|
#[rustc_clean(
|
||||||
cfg="cfail2",
|
cfg="cfail2",
|
||||||
except="FnSignature,Hir,HirBody,MirOptimized,MirBuilt,\
|
except="FnSignature,Hir,HirBody,optimized_mir,mir_built,\
|
||||||
TypeckTables"
|
TypeckTables"
|
||||||
)]
|
)]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
|
@ -251,7 +251,7 @@ pub mod change_constructor_variant_indirectly_tuple_like {
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
use super::Enum2::Tuple2 as Variant;
|
use super::Enum2::Tuple2 as Variant;
|
||||||
|
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirOptimized,MirBuilt,TypeckTables")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,optimized_mir,mir_built,TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn function() -> Enum2 {
|
pub fn function() -> Enum2 {
|
||||||
Variant(0, 1, 2)
|
Variant(0, 1, 2)
|
||||||
|
@ -278,7 +278,7 @@ pub fn change_constructor_path_c_like() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirOptimized,MirBuilt,TypeckTables")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,optimized_mir,mir_built,TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_constructor_path_c_like() {
|
pub fn change_constructor_path_c_like() {
|
||||||
let _ = Clike2::B;
|
let _ = Clike2::B;
|
||||||
|
@ -293,7 +293,7 @@ pub fn change_constructor_variant_c_like() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirOptimized,MirBuilt")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,optimized_mir,mir_built")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_constructor_variant_c_like() {
|
pub fn change_constructor_variant_c_like() {
|
||||||
let _ = Clike::C;
|
let _ = Clike::C;
|
||||||
|
@ -309,7 +309,7 @@ pub mod change_constructor_path_indirectly_c_like {
|
||||||
|
|
||||||
#[rustc_clean(
|
#[rustc_clean(
|
||||||
cfg="cfail2",
|
cfg="cfail2",
|
||||||
except="FnSignature,Hir,HirBody,MirOptimized,MirBuilt,\
|
except="FnSignature,Hir,HirBody,optimized_mir,mir_built,\
|
||||||
TypeckTables"
|
TypeckTables"
|
||||||
)]
|
)]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
|
@ -328,7 +328,7 @@ pub mod change_constructor_variant_indirectly_c_like {
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
use super::Clike::B as Variant;
|
use super::Clike::B as Variant;
|
||||||
|
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirOptimized,MirBuilt")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,optimized_mir,mir_built")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn function() -> Clike {
|
pub fn function() -> Clike {
|
||||||
Variant
|
Variant
|
||||||
|
|
|
@ -16,7 +16,7 @@ pub fn body_not_exported_to_metadata() -> u32 {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirBuilt,MirOptimized")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,mir_built,optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn body_not_exported_to_metadata() -> u32 {
|
pub fn body_not_exported_to_metadata() -> u32 {
|
||||||
2
|
2
|
||||||
|
@ -35,7 +35,7 @@ pub fn body_exported_to_metadata_because_of_inline() -> u32 {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirBuilt,MirOptimized")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,mir_built,optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
#[inline]
|
#[inline]
|
||||||
pub fn body_exported_to_metadata_because_of_inline() -> u32 {
|
pub fn body_exported_to_metadata_because_of_inline() -> u32 {
|
||||||
|
@ -55,7 +55,7 @@ pub fn body_exported_to_metadata_because_of_generic() -> u32 {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirBuilt,MirOptimized")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,mir_built,optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
#[inline]
|
#[inline]
|
||||||
pub fn body_exported_to_metadata_because_of_generic() -> u32 {
|
pub fn body_exported_to_metadata_because_of_generic() -> u32 {
|
||||||
|
|
|
@ -25,7 +25,7 @@ pub fn change_loop_body() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody, MirBuilt, MirOptimized")]
|
#[rustc_clean(cfg="cfail2", except="HirBody, mir_built, optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_loop_body() {
|
pub fn change_loop_body() {
|
||||||
let mut _x = 0;
|
let mut _x = 0;
|
||||||
|
@ -48,7 +48,7 @@ pub fn change_iteration_variable_name() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody, MirBuilt, MirOptimized")]
|
#[rustc_clean(cfg="cfail2", except="HirBody, mir_built, optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_iteration_variable_name() {
|
pub fn change_iteration_variable_name() {
|
||||||
let mut _x = 0;
|
let mut _x = 0;
|
||||||
|
@ -71,7 +71,7 @@ pub fn change_iteration_variable_pattern() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody, MirBuilt, MirOptimized, TypeckTables")]
|
#[rustc_clean(cfg="cfail2", except="HirBody, mir_built, optimized_mir, TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_iteration_variable_pattern() {
|
pub fn change_iteration_variable_pattern() {
|
||||||
let mut _x = 0;
|
let mut _x = 0;
|
||||||
|
@ -94,7 +94,7 @@ pub fn change_iterable() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody, MirBuilt, MirOptimized")]
|
#[rustc_clean(cfg="cfail2", except="HirBody, mir_built, optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_iterable() {
|
pub fn change_iterable() {
|
||||||
let mut _x = 0;
|
let mut _x = 0;
|
||||||
|
@ -116,7 +116,7 @@ pub fn add_break() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody, MirBuilt, MirOptimized, TypeckTables")]
|
#[rustc_clean(cfg="cfail2", except="HirBody, mir_built, optimized_mir, TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn add_break() {
|
pub fn add_break() {
|
||||||
let mut _x = 0;
|
let mut _x = 0;
|
||||||
|
@ -187,7 +187,7 @@ pub fn change_break_label() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody, MirBuilt, MirOptimized")]
|
#[rustc_clean(cfg="cfail2", except="HirBody, mir_built, optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_break_label() {
|
pub fn change_break_label() {
|
||||||
let mut _x = 0;
|
let mut _x = 0;
|
||||||
|
@ -237,7 +237,7 @@ pub fn change_continue_label() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody, MirBuilt, MirOptimized")]
|
#[rustc_clean(cfg="cfail2", except="HirBody, mir_built, optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_continue_label() {
|
pub fn change_continue_label() {
|
||||||
let mut _x = 0;
|
let mut _x = 0;
|
||||||
|
@ -262,7 +262,7 @@ pub fn change_continue_to_break() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody, MirBuilt, MirOptimized")]
|
#[rustc_clean(cfg="cfail2", except="HirBody, mir_built, optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_continue_to_break() {
|
pub fn change_continue_to_break() {
|
||||||
let mut _x = 0;
|
let mut _x = 0;
|
||||||
|
|
|
@ -24,7 +24,7 @@ pub fn add_parameter() {}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg = "cfail2",
|
#[rustc_clean(cfg = "cfail2",
|
||||||
except = "Hir, HirBody, MirBuilt, MirOptimized, TypeckTables, FnSignature")]
|
except = "Hir, HirBody, mir_built, optimized_mir, TypeckTables, FnSignature")]
|
||||||
#[rustc_clean(cfg = "cfail3")]
|
#[rustc_clean(cfg = "cfail3")]
|
||||||
pub fn add_parameter(p: i32) {}
|
pub fn add_parameter(p: i32) {}
|
||||||
|
|
||||||
|
@ -47,7 +47,7 @@ pub fn type_of_parameter(p: i32) {}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg = "cfail2",
|
#[rustc_clean(cfg = "cfail2",
|
||||||
except = "Hir, HirBody, MirBuilt, MirOptimized, TypeckTables, FnSignature")]
|
except = "Hir, HirBody, mir_built, optimized_mir, TypeckTables, FnSignature")]
|
||||||
#[rustc_clean(cfg = "cfail3")]
|
#[rustc_clean(cfg = "cfail3")]
|
||||||
pub fn type_of_parameter(p: i64) {}
|
pub fn type_of_parameter(p: i64) {}
|
||||||
|
|
||||||
|
@ -59,7 +59,7 @@ pub fn type_of_parameter_ref(p: &i32) {}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg = "cfail2",
|
#[rustc_clean(cfg = "cfail2",
|
||||||
except = "Hir, HirBody, MirBuilt, MirOptimized, TypeckTables, FnSignature")]
|
except = "Hir, HirBody, mir_built, optimized_mir, TypeckTables, FnSignature")]
|
||||||
#[rustc_clean(cfg = "cfail3")]
|
#[rustc_clean(cfg = "cfail3")]
|
||||||
pub fn type_of_parameter_ref(p: &mut i32) {}
|
pub fn type_of_parameter_ref(p: &mut i32) {}
|
||||||
|
|
||||||
|
@ -71,7 +71,7 @@ pub fn order_of_parameters(p1: i32, p2: i64) {}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg = "cfail2",
|
#[rustc_clean(cfg = "cfail2",
|
||||||
except = "Hir, HirBody, MirBuilt, MirOptimized, TypeckTables, FnSignature")]
|
except = "Hir, HirBody, mir_built, optimized_mir, TypeckTables, FnSignature")]
|
||||||
#[rustc_clean(cfg = "cfail3")]
|
#[rustc_clean(cfg = "cfail3")]
|
||||||
pub fn order_of_parameters(p2: i64, p1: i32) {}
|
pub fn order_of_parameters(p2: i64, p1: i32) {}
|
||||||
|
|
||||||
|
@ -83,7 +83,7 @@ pub fn make_unsafe() {}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg = "cfail2",
|
#[rustc_clean(cfg = "cfail2",
|
||||||
except = "Hir, HirBody, MirBuilt, MirOptimized, TypeckTables, FnSignature")]
|
except = "Hir, HirBody, mir_built, optimized_mir, TypeckTables, FnSignature")]
|
||||||
#[rustc_clean(cfg = "cfail3")]
|
#[rustc_clean(cfg = "cfail3")]
|
||||||
pub unsafe fn make_unsafe() {}
|
pub unsafe fn make_unsafe() {}
|
||||||
|
|
||||||
|
@ -94,7 +94,7 @@ pub unsafe fn make_unsafe() {}
|
||||||
pub fn make_extern() {}
|
pub fn make_extern() {}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg = "cfail2", except = "Hir, HirBody, MirBuilt, TypeckTables, FnSignature")]
|
#[rustc_clean(cfg = "cfail2", except = "Hir, HirBody, mir_built, TypeckTables, FnSignature")]
|
||||||
#[rustc_clean(cfg = "cfail3")]
|
#[rustc_clean(cfg = "cfail3")]
|
||||||
pub extern "C" fn make_extern() {}
|
pub extern "C" fn make_extern() {}
|
||||||
|
|
||||||
|
@ -292,7 +292,7 @@ pub mod change_return_type_indirectly {
|
||||||
use super::ReferencedType2 as ReturnType;
|
use super::ReferencedType2 as ReturnType;
|
||||||
|
|
||||||
#[rustc_clean(cfg = "cfail2",
|
#[rustc_clean(cfg = "cfail2",
|
||||||
except = "Hir, HirBody, MirBuilt, MirOptimized, TypeckTables, FnSignature")]
|
except = "Hir, HirBody, mir_built, optimized_mir, TypeckTables, FnSignature")]
|
||||||
#[rustc_clean(cfg = "cfail3")]
|
#[rustc_clean(cfg = "cfail3")]
|
||||||
pub fn indirect_return_type() -> ReturnType {
|
pub fn indirect_return_type() -> ReturnType {
|
||||||
ReturnType {}
|
ReturnType {}
|
||||||
|
@ -309,7 +309,7 @@ pub mod change_parameter_type_indirectly {
|
||||||
use super::ReferencedType2 as ParameterType;
|
use super::ReferencedType2 as ParameterType;
|
||||||
|
|
||||||
#[rustc_clean(cfg = "cfail2",
|
#[rustc_clean(cfg = "cfail2",
|
||||||
except = "Hir, HirBody, MirBuilt, MirOptimized, TypeckTables, FnSignature")]
|
except = "Hir, HirBody, mir_built, optimized_mir, TypeckTables, FnSignature")]
|
||||||
#[rustc_clean(cfg = "cfail3")]
|
#[rustc_clean(cfg = "cfail3")]
|
||||||
pub fn indirect_parameter_type(p: ParameterType) {}
|
pub fn indirect_parameter_type(p: ParameterType) {}
|
||||||
}
|
}
|
||||||
|
|
|
@ -25,7 +25,7 @@ pub fn change_condition(x: bool) -> u32 {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirBuilt,MirOptimized,TypeckTables")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,mir_built,optimized_mir,TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_condition(x: bool) -> u32 {
|
pub fn change_condition(x: bool) -> u32 {
|
||||||
if !x {
|
if !x {
|
||||||
|
@ -46,7 +46,7 @@ pub fn change_then_branch(x: bool) -> u32 {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirBuilt,MirOptimized")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,mir_built,optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_then_branch(x: bool) -> u32 {
|
pub fn change_then_branch(x: bool) -> u32 {
|
||||||
if x {
|
if x {
|
||||||
|
@ -69,7 +69,7 @@ pub fn change_else_branch(x: bool) -> u32 {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirBuilt,MirOptimized")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,mir_built,optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_else_branch(x: bool) -> u32 {
|
pub fn change_else_branch(x: bool) -> u32 {
|
||||||
if x {
|
if x {
|
||||||
|
@ -120,7 +120,7 @@ pub fn change_condition_if_let(x: Option<u32>) -> u32 {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirBuilt,MirOptimized,TypeckTables")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,mir_built,optimized_mir,TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_condition_if_let(x: Option<u32>) -> u32 {
|
pub fn change_condition_if_let(x: Option<u32>) -> u32 {
|
||||||
if let Some(_) = x {
|
if let Some(_) = x {
|
||||||
|
@ -143,7 +143,7 @@ pub fn change_then_branch_if_let(x: Option<u32>) -> u32 {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirBuilt,MirOptimized,TypeckTables")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,mir_built,optimized_mir,TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_then_branch_if_let(x: Option<u32>) -> u32 {
|
pub fn change_then_branch_if_let(x: Option<u32>) -> u32 {
|
||||||
if let Some(x) = x {
|
if let Some(x) = x {
|
||||||
|
@ -166,7 +166,7 @@ pub fn change_else_branch_if_let(x: Option<u32>) -> u32 {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirBuilt,MirOptimized")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,mir_built,optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_else_branch_if_let(x: Option<u32>) -> u32 {
|
pub fn change_else_branch_if_let(x: Option<u32>) -> u32 {
|
||||||
if let Some(x) = x {
|
if let Some(x) = x {
|
||||||
|
|
|
@ -42,7 +42,7 @@ impl Foo {
|
||||||
#[rustc_clean(cfg="cfail2")]
|
#[rustc_clean(cfg="cfail2")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
impl Foo {
|
impl Foo {
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirOptimized,MirBuilt,TypeckTables")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,optimized_mir,mir_built,TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn method_body() {
|
pub fn method_body() {
|
||||||
println!("Hello, world!");
|
println!("Hello, world!");
|
||||||
|
@ -63,7 +63,7 @@ impl Foo {
|
||||||
#[rustc_clean(cfg="cfail2")]
|
#[rustc_clean(cfg="cfail2")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
impl Foo {
|
impl Foo {
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirOptimized,MirBuilt,TypeckTables")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,optimized_mir,mir_built,TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
#[inline]
|
#[inline]
|
||||||
pub fn method_body_inlined() {
|
pub fn method_body_inlined() {
|
||||||
|
@ -114,7 +114,7 @@ impl Foo {
|
||||||
impl Foo {
|
impl Foo {
|
||||||
#[rustc_clean(
|
#[rustc_clean(
|
||||||
cfg="cfail2",
|
cfg="cfail2",
|
||||||
except="Hir,HirBody,FnSignature,TypeckTables,MirOptimized,MirBuilt"
|
except="Hir,HirBody,FnSignature,TypeckTables,optimized_mir,mir_built"
|
||||||
)]
|
)]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn method_selfmutness(&mut self) { }
|
pub fn method_selfmutness(&mut self) { }
|
||||||
|
@ -154,7 +154,7 @@ impl Foo {
|
||||||
impl Foo {
|
impl Foo {
|
||||||
#[rustc_clean(
|
#[rustc_clean(
|
||||||
cfg="cfail2",
|
cfg="cfail2",
|
||||||
except="Hir,HirBody,FnSignature,TypeckTables,MirOptimized,MirBuilt"
|
except="Hir,HirBody,FnSignature,TypeckTables,optimized_mir,mir_built"
|
||||||
)]
|
)]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn add_method_parameter(&self, _: i32) { }
|
pub fn add_method_parameter(&self, _: i32) { }
|
||||||
|
@ -172,7 +172,7 @@ impl Foo {
|
||||||
#[rustc_clean(cfg="cfail2")]
|
#[rustc_clean(cfg="cfail2")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
impl Foo {
|
impl Foo {
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirOptimized,MirBuilt")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,optimized_mir,mir_built")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_method_parameter_name(&self, b: i64) { }
|
pub fn change_method_parameter_name(&self, b: i64) { }
|
||||||
}
|
}
|
||||||
|
@ -191,7 +191,7 @@ impl Foo {
|
||||||
impl Foo {
|
impl Foo {
|
||||||
#[rustc_clean(
|
#[rustc_clean(
|
||||||
cfg="cfail2",
|
cfg="cfail2",
|
||||||
except="Hir,HirBody,FnSignature,MirOptimized,MirBuilt,TypeckTables")]
|
except="Hir,HirBody,FnSignature,optimized_mir,mir_built,TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_method_return_type(&self) -> u8 { 0 }
|
pub fn change_method_return_type(&self) -> u8 { 0 }
|
||||||
}
|
}
|
||||||
|
@ -226,7 +226,7 @@ impl Foo {
|
||||||
#[rustc_clean(cfg="cfail2")]
|
#[rustc_clean(cfg="cfail2")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
impl Foo {
|
impl Foo {
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirOptimized,MirBuilt")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,optimized_mir,mir_built")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_method_parameter_order(&self, b: i64, a: i64) { }
|
pub fn change_method_parameter_order(&self, b: i64, a: i64) { }
|
||||||
}
|
}
|
||||||
|
@ -245,7 +245,7 @@ impl Foo {
|
||||||
impl Foo {
|
impl Foo {
|
||||||
#[rustc_clean(
|
#[rustc_clean(
|
||||||
cfg="cfail2",
|
cfg="cfail2",
|
||||||
except="Hir,HirBody,FnSignature,TypeckTables,MirOptimized,MirBuilt"
|
except="Hir,HirBody,FnSignature,TypeckTables,optimized_mir,mir_built"
|
||||||
)]
|
)]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub unsafe fn make_method_unsafe(&self) { }
|
pub unsafe fn make_method_unsafe(&self) { }
|
||||||
|
@ -263,7 +263,7 @@ impl Foo {
|
||||||
#[rustc_clean(cfg="cfail2")]
|
#[rustc_clean(cfg="cfail2")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
impl Foo {
|
impl Foo {
|
||||||
#[rustc_clean(cfg="cfail2", except="Hir,HirBody,MirBuilt,FnSignature,TypeckTables")]
|
#[rustc_clean(cfg="cfail2", except="Hir,HirBody,mir_built,FnSignature,TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub extern fn make_method_extern(&self) { }
|
pub extern fn make_method_extern(&self) { }
|
||||||
}
|
}
|
||||||
|
@ -447,7 +447,7 @@ impl Bar<u32> {
|
||||||
impl<T> Bar<T> {
|
impl<T> Bar<T> {
|
||||||
#[rustc_clean(
|
#[rustc_clean(
|
||||||
cfg="cfail2",
|
cfg="cfail2",
|
||||||
except="generics_of,FnSignature,TypeckTables,type_of,MirOptimized,MirBuilt"
|
except="generics_of,FnSignature,TypeckTables,type_of,optimized_mir,mir_built"
|
||||||
)]
|
)]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn add_type_parameter_to_impl(&self) { }
|
pub fn add_type_parameter_to_impl(&self) { }
|
||||||
|
@ -465,7 +465,7 @@ impl Bar<u32> {
|
||||||
#[rustc_clean(cfg="cfail2", except="Hir,HirBody")]
|
#[rustc_clean(cfg="cfail2", except="Hir,HirBody")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
impl Bar<u64> {
|
impl Bar<u64> {
|
||||||
#[rustc_clean(cfg="cfail2", except="FnSignature,MirOptimized,MirBuilt,TypeckTables")]
|
#[rustc_clean(cfg="cfail2", except="FnSignature,optimized_mir,mir_built,TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_impl_self_type(&self) { }
|
pub fn change_impl_self_type(&self) { }
|
||||||
}
|
}
|
||||||
|
|
|
@ -33,7 +33,7 @@ pub fn change_template(a: i32) -> i32 {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody, MirBuilt, MirOptimized")]
|
#[rustc_clean(cfg="cfail2", except="HirBody, mir_built, optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
#[cfg(any(target_arch = "x86", target_arch = "x86_64"))]
|
#[cfg(any(target_arch = "x86", target_arch = "x86_64"))]
|
||||||
pub fn change_template(a: i32) -> i32 {
|
pub fn change_template(a: i32) -> i32 {
|
||||||
|
@ -69,7 +69,7 @@ pub fn change_output(a: i32) -> i32 {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody, MirBuilt, MirOptimized")]
|
#[rustc_clean(cfg="cfail2", except="HirBody, mir_built, optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
#[cfg(any(target_arch = "x86", target_arch = "x86_64"))]
|
#[cfg(any(target_arch = "x86", target_arch = "x86_64"))]
|
||||||
pub fn change_output(a: i32) -> i32 {
|
pub fn change_output(a: i32) -> i32 {
|
||||||
|
@ -105,7 +105,7 @@ pub fn change_input(_a: i32, _b: i32) -> i32 {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody, MirBuilt, MirOptimized")]
|
#[rustc_clean(cfg="cfail2", except="HirBody, mir_built, optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
#[cfg(any(target_arch = "x86", target_arch = "x86_64"))]
|
#[cfg(any(target_arch = "x86", target_arch = "x86_64"))]
|
||||||
pub fn change_input(_a: i32, _b: i32) -> i32 {
|
pub fn change_input(_a: i32, _b: i32) -> i32 {
|
||||||
|
@ -140,7 +140,7 @@ pub fn change_input_constraint(_a: i32, _b: i32) -> i32 {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody, MirBuilt, MirOptimized")]
|
#[rustc_clean(cfg="cfail2", except="HirBody, mir_built, optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
#[cfg(any(target_arch = "x86", target_arch = "x86_64"))]
|
#[cfg(any(target_arch = "x86", target_arch = "x86_64"))]
|
||||||
pub fn change_input_constraint(_a: i32, _b: i32) -> i32 {
|
pub fn change_input_constraint(_a: i32, _b: i32) -> i32 {
|
||||||
|
@ -175,7 +175,7 @@ pub fn change_clobber(_a: i32) -> i32 {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody, MirBuilt, MirOptimized")]
|
#[rustc_clean(cfg="cfail2", except="HirBody, mir_built, optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
#[cfg(any(target_arch = "x86", target_arch = "x86_64"))]
|
#[cfg(any(target_arch = "x86", target_arch = "x86_64"))]
|
||||||
pub fn change_clobber(_a: i32) -> i32 {
|
pub fn change_clobber(_a: i32) -> i32 {
|
||||||
|
@ -210,7 +210,7 @@ pub fn change_options(_a: i32) -> i32 {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody, MirBuilt, MirOptimized")]
|
#[rustc_clean(cfg="cfail2", except="HirBody, mir_built, optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
#[cfg(any(target_arch = "x86", target_arch = "x86_64"))]
|
#[cfg(any(target_arch = "x86", target_arch = "x86_64"))]
|
||||||
pub fn change_options(_a: i32) -> i32 {
|
pub fn change_options(_a: i32) -> i32 {
|
||||||
|
|
|
@ -22,7 +22,7 @@ pub fn change_name() {
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2",
|
#[rustc_clean(cfg="cfail2",
|
||||||
except="HirBody,MirBuilt,MirOptimized")]
|
except="HirBody,mir_built,optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_name() {
|
pub fn change_name() {
|
||||||
let _y = 2u64;
|
let _y = 2u64;
|
||||||
|
@ -38,7 +38,7 @@ pub fn add_type() {
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2",
|
#[rustc_clean(cfg="cfail2",
|
||||||
except="HirBody,TypeckTables,MirBuilt,MirOptimized")]
|
except="HirBody,TypeckTables,mir_built,optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn add_type() {
|
pub fn add_type() {
|
||||||
let _x: u32 = 2u32;
|
let _x: u32 = 2u32;
|
||||||
|
@ -54,7 +54,7 @@ pub fn change_type() {
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2",
|
#[rustc_clean(cfg="cfail2",
|
||||||
except="HirBody,TypeckTables,MirBuilt,MirOptimized")]
|
except="HirBody,TypeckTables,mir_built,optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_type() {
|
pub fn change_type() {
|
||||||
let _x: u8 = 2;
|
let _x: u8 = 2;
|
||||||
|
@ -70,7 +70,7 @@ pub fn change_mutability_of_reference_type() {
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2",
|
#[rustc_clean(cfg="cfail2",
|
||||||
except="HirBody,TypeckTables,MirBuilt,MirOptimized")]
|
except="HirBody,TypeckTables,mir_built,optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_mutability_of_reference_type() {
|
pub fn change_mutability_of_reference_type() {
|
||||||
let _x: &mut u64;
|
let _x: &mut u64;
|
||||||
|
@ -86,7 +86,7 @@ pub fn change_mutability_of_slot() {
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2",
|
#[rustc_clean(cfg="cfail2",
|
||||||
except="HirBody,TypeckTables,MirBuilt,MirOptimized")]
|
except="HirBody,TypeckTables,mir_built,optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_mutability_of_slot() {
|
pub fn change_mutability_of_slot() {
|
||||||
let _x: u64 = 0;
|
let _x: u64 = 0;
|
||||||
|
@ -102,7 +102,7 @@ pub fn change_simple_binding_to_pattern() {
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2",
|
#[rustc_clean(cfg="cfail2",
|
||||||
except="HirBody,TypeckTables,MirBuilt,MirOptimized")]
|
except="HirBody,TypeckTables,mir_built,optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_simple_binding_to_pattern() {
|
pub fn change_simple_binding_to_pattern() {
|
||||||
let (_a, _b) = (0u8, 'x');
|
let (_a, _b) = (0u8, 'x');
|
||||||
|
@ -118,7 +118,7 @@ pub fn change_name_in_pattern() {
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2",
|
#[rustc_clean(cfg="cfail2",
|
||||||
except="HirBody,MirBuilt,MirOptimized")]
|
except="HirBody,mir_built,optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_name_in_pattern() {
|
pub fn change_name_in_pattern() {
|
||||||
let (_a, _c) = (1u8, 'y');
|
let (_a, _c) = (1u8, 'y');
|
||||||
|
@ -134,7 +134,7 @@ pub fn add_ref_in_pattern() {
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2",
|
#[rustc_clean(cfg="cfail2",
|
||||||
except="HirBody,TypeckTables,MirBuilt,MirOptimized")]
|
except="HirBody,TypeckTables,mir_built,optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn add_ref_in_pattern() {
|
pub fn add_ref_in_pattern() {
|
||||||
let (ref _a, _b) = (1u8, 'y');
|
let (ref _a, _b) = (1u8, 'y');
|
||||||
|
@ -150,7 +150,7 @@ pub fn add_amp_in_pattern() {
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2",
|
#[rustc_clean(cfg="cfail2",
|
||||||
except="HirBody,TypeckTables,MirBuilt,MirOptimized")]
|
except="HirBody,TypeckTables,mir_built,optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn add_amp_in_pattern() {
|
pub fn add_amp_in_pattern() {
|
||||||
let (&_a, _b) = (&1u8, 'y');
|
let (&_a, _b) = (&1u8, 'y');
|
||||||
|
@ -166,7 +166,7 @@ pub fn change_mutability_of_binding_in_pattern() {
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2",
|
#[rustc_clean(cfg="cfail2",
|
||||||
except="HirBody,TypeckTables,MirBuilt,MirOptimized")]
|
except="HirBody,TypeckTables,mir_built,optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_mutability_of_binding_in_pattern() {
|
pub fn change_mutability_of_binding_in_pattern() {
|
||||||
let (mut _a, _b) = (99u8, 'q');
|
let (mut _a, _b) = (99u8, 'q');
|
||||||
|
@ -182,7 +182,7 @@ pub fn add_initializer() {
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2",
|
#[rustc_clean(cfg="cfail2",
|
||||||
except="HirBody,TypeckTables,MirBuilt,MirOptimized")]
|
except="HirBody,TypeckTables,mir_built,optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn add_initializer() {
|
pub fn add_initializer() {
|
||||||
let _x: i16 = 3i16;
|
let _x: i16 = 3i16;
|
||||||
|
@ -198,7 +198,7 @@ pub fn change_initializer() {
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2",
|
#[rustc_clean(cfg="cfail2",
|
||||||
except="HirBody,MirBuilt,MirOptimized")]
|
except="HirBody,mir_built,optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_initializer() {
|
pub fn change_initializer() {
|
||||||
let _x = 5u16;
|
let _x = 5u16;
|
||||||
|
|
|
@ -25,7 +25,7 @@ pub fn change_loop_body() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody, MirBuilt, MirOptimized")]
|
#[rustc_clean(cfg="cfail2", except="HirBody, mir_built, optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_loop_body() {
|
pub fn change_loop_body() {
|
||||||
let mut _x = 0;
|
let mut _x = 0;
|
||||||
|
@ -47,7 +47,7 @@ pub fn add_break() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody, MirBuilt, MirOptimized, TypeckTables")]
|
#[rustc_clean(cfg="cfail2", except="HirBody, mir_built, optimized_mir, TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn add_break() {
|
pub fn add_break() {
|
||||||
let mut _x = 0;
|
let mut _x = 0;
|
||||||
|
@ -118,7 +118,7 @@ pub fn change_break_label() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody, MirBuilt, MirOptimized, TypeckTables")]
|
#[rustc_clean(cfg="cfail2", except="HirBody, mir_built, optimized_mir, TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_break_label() {
|
pub fn change_break_label() {
|
||||||
let mut _x = 0;
|
let mut _x = 0;
|
||||||
|
@ -168,7 +168,7 @@ pub fn change_continue_label() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody, MirBuilt, TypeckTables")]
|
#[rustc_clean(cfg="cfail2", except="HirBody, mir_built, TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_continue_label() {
|
pub fn change_continue_label() {
|
||||||
let mut _x = 0;
|
let mut _x = 0;
|
||||||
|
@ -193,7 +193,7 @@ pub fn change_continue_to_break() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody, MirBuilt, MirOptimized, TypeckTables")]
|
#[rustc_clean(cfg="cfail2", except="HirBody, mir_built, optimized_mir, TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_continue_to_break() {
|
pub fn change_continue_to_break() {
|
||||||
let mut _x = 0;
|
let mut _x = 0;
|
||||||
|
|
|
@ -26,7 +26,7 @@ pub fn add_arm(x: u32) -> u32 {
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2",
|
#[rustc_clean(cfg="cfail2",
|
||||||
except="HirBody,MirBuilt,MirOptimized,TypeckTables")]
|
except="HirBody,mir_built,optimized_mir,TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn add_arm(x: u32) -> u32 {
|
pub fn add_arm(x: u32) -> u32 {
|
||||||
match x {
|
match x {
|
||||||
|
@ -51,7 +51,7 @@ pub fn change_order_of_arms(x: u32) -> u32 {
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2",
|
#[rustc_clean(cfg="cfail2",
|
||||||
except="HirBody,MirBuilt,MirOptimized")]
|
except="HirBody,mir_built,optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_order_of_arms(x: u32) -> u32 {
|
pub fn change_order_of_arms(x: u32) -> u32 {
|
||||||
match x {
|
match x {
|
||||||
|
@ -75,7 +75,7 @@ pub fn add_guard_clause(x: u32, y: bool) -> u32 {
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2",
|
#[rustc_clean(cfg="cfail2",
|
||||||
except="HirBody,MirBuilt,MirOptimized,TypeckTables")]
|
except="HirBody,mir_built,optimized_mir,TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn add_guard_clause(x: u32, y: bool) -> u32 {
|
pub fn add_guard_clause(x: u32, y: bool) -> u32 {
|
||||||
match x {
|
match x {
|
||||||
|
@ -99,7 +99,7 @@ pub fn change_guard_clause(x: u32, y: bool) -> u32 {
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2",
|
#[rustc_clean(cfg="cfail2",
|
||||||
except="HirBody,MirBuilt,MirOptimized,TypeckTables")]
|
except="HirBody,mir_built,optimized_mir,TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_guard_clause(x: u32, y: bool) -> u32 {
|
pub fn change_guard_clause(x: u32, y: bool) -> u32 {
|
||||||
match x {
|
match x {
|
||||||
|
@ -123,7 +123,7 @@ pub fn add_at_binding(x: u32) -> u32 {
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2",
|
#[rustc_clean(cfg="cfail2",
|
||||||
except="HirBody,MirBuilt,MirOptimized,TypeckTables")]
|
except="HirBody,mir_built,optimized_mir,TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn add_at_binding(x: u32) -> u32 {
|
pub fn add_at_binding(x: u32) -> u32 {
|
||||||
match x {
|
match x {
|
||||||
|
@ -147,7 +147,7 @@ pub fn change_name_of_at_binding(x: u32) -> u32 {
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2",
|
#[rustc_clean(cfg="cfail2",
|
||||||
except="HirBody,MirBuilt,MirOptimized")]
|
except="HirBody,mir_built,optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_name_of_at_binding(x: u32) -> u32 {
|
pub fn change_name_of_at_binding(x: u32) -> u32 {
|
||||||
match x {
|
match x {
|
||||||
|
@ -170,7 +170,7 @@ pub fn change_simple_name_to_pattern(x: u32) -> u32 {
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2",
|
#[rustc_clean(cfg="cfail2",
|
||||||
except="HirBody,MirBuilt,MirOptimized,TypeckTables")]
|
except="HirBody,mir_built,optimized_mir,TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_simple_name_to_pattern(x: u32) -> u32 {
|
pub fn change_simple_name_to_pattern(x: u32) -> u32 {
|
||||||
match (x, x & 1) {
|
match (x, x & 1) {
|
||||||
|
@ -193,7 +193,7 @@ pub fn change_name_in_pattern(x: u32) -> u32 {
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2",
|
#[rustc_clean(cfg="cfail2",
|
||||||
except="HirBody,MirBuilt,MirOptimized")]
|
except="HirBody,mir_built,optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_name_in_pattern(x: u32) -> u32 {
|
pub fn change_name_in_pattern(x: u32) -> u32 {
|
||||||
match (x, x & 1) {
|
match (x, x & 1) {
|
||||||
|
@ -216,7 +216,7 @@ pub fn change_mutability_of_binding_in_pattern(x: u32) -> u32 {
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2",
|
#[rustc_clean(cfg="cfail2",
|
||||||
except="HirBody,MirBuilt,MirOptimized,TypeckTables")]
|
except="HirBody,mir_built,optimized_mir,TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_mutability_of_binding_in_pattern(x: u32) -> u32 {
|
pub fn change_mutability_of_binding_in_pattern(x: u32) -> u32 {
|
||||||
match (x, x & 1) {
|
match (x, x & 1) {
|
||||||
|
@ -238,7 +238,7 @@ pub fn add_ref_to_binding_in_pattern(x: u32) -> u32 {
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2",
|
#[rustc_clean(cfg="cfail2",
|
||||||
except="HirBody,MirBuilt,MirOptimized,TypeckTables")]
|
except="HirBody,mir_built,optimized_mir,TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn add_ref_to_binding_in_pattern(x: u32) -> u32 {
|
pub fn add_ref_to_binding_in_pattern(x: u32) -> u32 {
|
||||||
match (x, x & 1) {
|
match (x, x & 1) {
|
||||||
|
@ -260,7 +260,7 @@ pub fn add_amp_to_binding_in_pattern(x: u32) -> u32 {
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2",
|
#[rustc_clean(cfg="cfail2",
|
||||||
except="HirBody,MirBuilt,MirOptimized,TypeckTables")]
|
except="HirBody,mir_built,optimized_mir,TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn add_amp_to_binding_in_pattern(x: u32) -> u32 {
|
pub fn add_amp_to_binding_in_pattern(x: u32) -> u32 {
|
||||||
match (&x, x & 1) {
|
match (&x, x & 1) {
|
||||||
|
@ -283,7 +283,7 @@ pub fn change_rhs_of_arm(x: u32) -> u32 {
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2",
|
#[rustc_clean(cfg="cfail2",
|
||||||
except="HirBody,MirBuilt,MirOptimized")]
|
except="HirBody,mir_built,optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_rhs_of_arm(x: u32) -> u32 {
|
pub fn change_rhs_of_arm(x: u32) -> u32 {
|
||||||
match x {
|
match x {
|
||||||
|
@ -307,7 +307,7 @@ pub fn add_alternative_to_arm(x: u32) -> u32 {
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2",
|
#[rustc_clean(cfg="cfail2",
|
||||||
except="HirBody,MirBuilt,MirOptimized,TypeckTables")]
|
except="HirBody,mir_built,optimized_mir,TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn add_alternative_to_arm(x: u32) -> u32 {
|
pub fn add_alternative_to_arm(x: u32) -> u32 {
|
||||||
match x {
|
match x {
|
||||||
|
|
|
@ -18,7 +18,7 @@
|
||||||
|
|
||||||
|
|
||||||
// Indexing expression ---------------------------------------------------------
|
// Indexing expression ---------------------------------------------------------
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirBuilt,MirOptimized")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,mir_built,optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn indexing(slice: &[u8]) -> u8 {
|
pub fn indexing(slice: &[u8]) -> u8 {
|
||||||
#[cfg(cfail1)]
|
#[cfg(cfail1)]
|
||||||
|
@ -33,7 +33,7 @@ pub fn indexing(slice: &[u8]) -> u8 {
|
||||||
|
|
||||||
|
|
||||||
// Arithmetic overflow plus ----------------------------------------------------
|
// Arithmetic overflow plus ----------------------------------------------------
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirBuilt,MirOptimized")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,mir_built,optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn arithmetic_overflow_plus(val: i32) -> i32 {
|
pub fn arithmetic_overflow_plus(val: i32) -> i32 {
|
||||||
#[cfg(cfail1)]
|
#[cfg(cfail1)]
|
||||||
|
@ -48,7 +48,7 @@ pub fn arithmetic_overflow_plus(val: i32) -> i32 {
|
||||||
|
|
||||||
|
|
||||||
// Arithmetic overflow minus ----------------------------------------------------
|
// Arithmetic overflow minus ----------------------------------------------------
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirBuilt,MirOptimized")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,mir_built,optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn arithmetic_overflow_minus(val: i32) -> i32 {
|
pub fn arithmetic_overflow_minus(val: i32) -> i32 {
|
||||||
#[cfg(cfail1)]
|
#[cfg(cfail1)]
|
||||||
|
@ -63,7 +63,7 @@ pub fn arithmetic_overflow_minus(val: i32) -> i32 {
|
||||||
|
|
||||||
|
|
||||||
// Arithmetic overflow mult ----------------------------------------------------
|
// Arithmetic overflow mult ----------------------------------------------------
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirBuilt,MirOptimized")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,mir_built,optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn arithmetic_overflow_mult(val: i32) -> i32 {
|
pub fn arithmetic_overflow_mult(val: i32) -> i32 {
|
||||||
#[cfg(cfail1)]
|
#[cfg(cfail1)]
|
||||||
|
@ -78,7 +78,7 @@ pub fn arithmetic_overflow_mult(val: i32) -> i32 {
|
||||||
|
|
||||||
|
|
||||||
// Arithmetic overflow negation ------------------------------------------------
|
// Arithmetic overflow negation ------------------------------------------------
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirBuilt,MirOptimized")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,mir_built,optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn arithmetic_overflow_negation(val: i32) -> i32 {
|
pub fn arithmetic_overflow_negation(val: i32) -> i32 {
|
||||||
#[cfg(cfail1)]
|
#[cfg(cfail1)]
|
||||||
|
@ -93,7 +93,7 @@ pub fn arithmetic_overflow_negation(val: i32) -> i32 {
|
||||||
|
|
||||||
|
|
||||||
// Division by zero ------------------------------------------------------------
|
// Division by zero ------------------------------------------------------------
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirBuilt,MirOptimized")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,mir_built,optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn division_by_zero(val: i32) -> i32 {
|
pub fn division_by_zero(val: i32) -> i32 {
|
||||||
#[cfg(cfail1)]
|
#[cfg(cfail1)]
|
||||||
|
@ -107,7 +107,7 @@ pub fn division_by_zero(val: i32) -> i32 {
|
||||||
}
|
}
|
||||||
|
|
||||||
// Division by zero ------------------------------------------------------------
|
// Division by zero ------------------------------------------------------------
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirBuilt,MirOptimized")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,mir_built,optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn mod_by_zero(val: i32) -> i32 {
|
pub fn mod_by_zero(val: i32) -> i32 {
|
||||||
#[cfg(cfail1)]
|
#[cfg(cfail1)]
|
||||||
|
@ -122,7 +122,7 @@ pub fn mod_by_zero(val: i32) -> i32 {
|
||||||
|
|
||||||
|
|
||||||
// shift left ------------------------------------------------------------------
|
// shift left ------------------------------------------------------------------
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirBuilt,MirOptimized")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,mir_built,optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn shift_left(val: i32, shift: usize) -> i32 {
|
pub fn shift_left(val: i32, shift: usize) -> i32 {
|
||||||
#[cfg(cfail1)]
|
#[cfg(cfail1)]
|
||||||
|
@ -137,7 +137,7 @@ pub fn shift_left(val: i32, shift: usize) -> i32 {
|
||||||
|
|
||||||
|
|
||||||
// shift right ------------------------------------------------------------------
|
// shift right ------------------------------------------------------------------
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirBuilt,MirOptimized")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,mir_built,optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn shift_right(val: i32, shift: usize) -> i32 {
|
pub fn shift_right(val: i32, shift: usize) -> i32 {
|
||||||
#[cfg(cfail1)]
|
#[cfg(cfail1)]
|
||||||
|
|
|
@ -31,7 +31,7 @@ pub fn change_field_value_regular_struct() -> RegularStruct {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirOptimized,MirBuilt")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,optimized_mir,mir_built")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_field_value_regular_struct() -> RegularStruct {
|
pub fn change_field_value_regular_struct() -> RegularStruct {
|
||||||
RegularStruct {
|
RegularStruct {
|
||||||
|
@ -82,7 +82,7 @@ pub fn add_field_regular_struct() -> RegularStruct {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirOptimized,MirBuilt,TypeckTables")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,optimized_mir,mir_built,TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn add_field_regular_struct() -> RegularStruct {
|
pub fn add_field_regular_struct() -> RegularStruct {
|
||||||
let struct1 = RegularStruct {
|
let struct1 = RegularStruct {
|
||||||
|
@ -117,7 +117,7 @@ pub fn change_field_label_regular_struct() -> RegularStruct {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirOptimized,MirBuilt,TypeckTables")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,optimized_mir,mir_built,TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_field_label_regular_struct() -> RegularStruct {
|
pub fn change_field_label_regular_struct() -> RegularStruct {
|
||||||
let struct1 = RegularStruct {
|
let struct1 = RegularStruct {
|
||||||
|
@ -152,7 +152,7 @@ pub fn change_constructor_path_regular_struct() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirOptimized,MirBuilt,TypeckTables")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,optimized_mir,mir_built,TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_constructor_path_regular_struct() {
|
pub fn change_constructor_path_regular_struct() {
|
||||||
let _ = RegularStruct2 {
|
let _ = RegularStruct2 {
|
||||||
|
@ -173,7 +173,7 @@ pub mod change_constructor_path_indirectly_regular_struct {
|
||||||
|
|
||||||
#[rustc_clean(
|
#[rustc_clean(
|
||||||
cfg="cfail2",
|
cfg="cfail2",
|
||||||
except="FnSignature,Hir,HirBody,MirOptimized,MirBuilt,TypeckTables"
|
except="FnSignature,Hir,HirBody,optimized_mir,mir_built,TypeckTables"
|
||||||
)]
|
)]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn function() -> Struct {
|
pub fn function() -> Struct {
|
||||||
|
@ -196,7 +196,7 @@ pub fn change_field_value_tuple_struct() -> TupleStruct {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirOptimized,MirBuilt")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,optimized_mir,mir_built")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_field_value_tuple_struct() -> TupleStruct {
|
pub fn change_field_value_tuple_struct() -> TupleStruct {
|
||||||
TupleStruct(0, 1, 3)
|
TupleStruct(0, 1, 3)
|
||||||
|
@ -213,7 +213,7 @@ pub fn change_constructor_path_tuple_struct() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody,MirOptimized,MirBuilt,TypeckTables")]
|
#[rustc_clean(cfg="cfail2", except="HirBody,optimized_mir,mir_built,TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_constructor_path_tuple_struct() {
|
pub fn change_constructor_path_tuple_struct() {
|
||||||
let _ = TupleStruct2(0, 1, 2);
|
let _ = TupleStruct2(0, 1, 2);
|
||||||
|
@ -230,7 +230,7 @@ pub mod change_constructor_path_indirectly_tuple_struct {
|
||||||
|
|
||||||
#[rustc_clean(
|
#[rustc_clean(
|
||||||
cfg="cfail2",
|
cfg="cfail2",
|
||||||
except="FnSignature,Hir,HirBody,MirOptimized,MirBuilt,TypeckTables"
|
except="FnSignature,Hir,HirBody,optimized_mir,mir_built,TypeckTables"
|
||||||
)]
|
)]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn function() -> Struct {
|
pub fn function() -> Struct {
|
||||||
|
|
|
@ -21,7 +21,7 @@ pub fn const_negation() -> i32 {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(except="HirBody,MirOptimized,MirBuilt", cfg="cfail2")]
|
#[rustc_clean(except="HirBody,optimized_mir,mir_built", cfg="cfail2")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn const_negation() -> i32 {
|
pub fn const_negation() -> i32 {
|
||||||
-1
|
-1
|
||||||
|
@ -36,7 +36,7 @@ pub fn const_bitwise_not() -> i32 {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(except="HirBody,MirOptimized,MirBuilt", cfg="cfail2")]
|
#[rustc_clean(except="HirBody,optimized_mir,mir_built", cfg="cfail2")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn const_bitwise_not() -> i32 {
|
pub fn const_bitwise_not() -> i32 {
|
||||||
!99
|
!99
|
||||||
|
@ -51,7 +51,7 @@ pub fn var_negation(x: i32, y: i32) -> i32 {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(except="HirBody,MirOptimized,MirBuilt", cfg="cfail2")]
|
#[rustc_clean(except="HirBody,optimized_mir,mir_built", cfg="cfail2")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn var_negation(x: i32, y: i32) -> i32 {
|
pub fn var_negation(x: i32, y: i32) -> i32 {
|
||||||
-y
|
-y
|
||||||
|
@ -66,7 +66,7 @@ pub fn var_bitwise_not(x: i32, y: i32) -> i32 {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(except="HirBody,MirOptimized,MirBuilt", cfg="cfail2")]
|
#[rustc_clean(except="HirBody,optimized_mir,mir_built", cfg="cfail2")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn var_bitwise_not(x: i32, y: i32) -> i32 {
|
pub fn var_bitwise_not(x: i32, y: i32) -> i32 {
|
||||||
!y
|
!y
|
||||||
|
@ -81,7 +81,7 @@ pub fn var_deref(x: &i32, y: &i32) -> i32 {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(except="HirBody,MirOptimized,MirBuilt,TypeckTables", cfg="cfail2")]
|
#[rustc_clean(except="HirBody,optimized_mir,mir_built,TypeckTables", cfg="cfail2")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn var_deref(x: &i32, y: &i32) -> i32 {
|
pub fn var_deref(x: &i32, y: &i32) -> i32 {
|
||||||
*y
|
*y
|
||||||
|
@ -96,7 +96,7 @@ pub fn first_const_add() -> i32 {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(except="HirBody,MirOptimized,MirBuilt", cfg="cfail2")]
|
#[rustc_clean(except="HirBody,optimized_mir,mir_built", cfg="cfail2")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn first_const_add() -> i32 {
|
pub fn first_const_add() -> i32 {
|
||||||
2 + 3
|
2 + 3
|
||||||
|
@ -111,7 +111,7 @@ pub fn second_const_add() -> i32 {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(except="HirBody,MirOptimized,MirBuilt", cfg="cfail2")]
|
#[rustc_clean(except="HirBody,optimized_mir,mir_built", cfg="cfail2")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn second_const_add() -> i32 {
|
pub fn second_const_add() -> i32 {
|
||||||
1 + 3
|
1 + 3
|
||||||
|
@ -126,7 +126,7 @@ pub fn first_var_add(a: i32, b: i32) -> i32 {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(except="HirBody,MirOptimized,MirBuilt", cfg="cfail2")]
|
#[rustc_clean(except="HirBody,optimized_mir,mir_built", cfg="cfail2")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn first_var_add(a: i32, b: i32) -> i32 {
|
pub fn first_var_add(a: i32, b: i32) -> i32 {
|
||||||
b + 2
|
b + 2
|
||||||
|
@ -141,7 +141,7 @@ pub fn second_var_add(a: i32, b: i32) -> i32 {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(except="HirBody,MirOptimized,MirBuilt", cfg="cfail2")]
|
#[rustc_clean(except="HirBody,optimized_mir,mir_built", cfg="cfail2")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn second_var_add(a: i32, b: i32) -> i32 {
|
pub fn second_var_add(a: i32, b: i32) -> i32 {
|
||||||
1 + b
|
1 + b
|
||||||
|
@ -156,7 +156,7 @@ pub fn plus_to_minus(a: i32) -> i32 {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(except="HirBody,MirOptimized,MirBuilt", cfg="cfail2")]
|
#[rustc_clean(except="HirBody,optimized_mir,mir_built", cfg="cfail2")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn plus_to_minus(a: i32) -> i32 {
|
pub fn plus_to_minus(a: i32) -> i32 {
|
||||||
1 - a
|
1 - a
|
||||||
|
@ -171,7 +171,7 @@ pub fn plus_to_mult(a: i32) -> i32 {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(except="HirBody,MirOptimized,MirBuilt", cfg="cfail2")]
|
#[rustc_clean(except="HirBody,optimized_mir,mir_built", cfg="cfail2")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn plus_to_mult(a: i32) -> i32 {
|
pub fn plus_to_mult(a: i32) -> i32 {
|
||||||
1 * a
|
1 * a
|
||||||
|
@ -186,7 +186,7 @@ pub fn plus_to_div(a: i32) -> i32 {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(except="HirBody,MirOptimized,MirBuilt", cfg="cfail2")]
|
#[rustc_clean(except="HirBody,optimized_mir,mir_built", cfg="cfail2")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn plus_to_div(a: i32) -> i32 {
|
pub fn plus_to_div(a: i32) -> i32 {
|
||||||
1 / a
|
1 / a
|
||||||
|
@ -201,7 +201,7 @@ pub fn plus_to_mod(a: i32) -> i32 {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(except="HirBody,MirOptimized,MirBuilt", cfg="cfail2")]
|
#[rustc_clean(except="HirBody,optimized_mir,mir_built", cfg="cfail2")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn plus_to_mod(a: i32) -> i32 {
|
pub fn plus_to_mod(a: i32) -> i32 {
|
||||||
1 % a
|
1 % a
|
||||||
|
@ -216,7 +216,7 @@ pub fn and_to_or(a: bool, b: bool) -> bool {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(except="HirBody,MirOptimized,MirBuilt", cfg="cfail2")]
|
#[rustc_clean(except="HirBody,optimized_mir,mir_built", cfg="cfail2")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn and_to_or(a: bool, b: bool) -> bool {
|
pub fn and_to_or(a: bool, b: bool) -> bool {
|
||||||
a || b
|
a || b
|
||||||
|
@ -231,7 +231,7 @@ pub fn bitwise_and_to_bitwise_or(a: i32) -> i32 {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(except="HirBody,MirOptimized,MirBuilt", cfg="cfail2")]
|
#[rustc_clean(except="HirBody,optimized_mir,mir_built", cfg="cfail2")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn bitwise_and_to_bitwise_or(a: i32) -> i32 {
|
pub fn bitwise_and_to_bitwise_or(a: i32) -> i32 {
|
||||||
1 | a
|
1 | a
|
||||||
|
@ -246,7 +246,7 @@ pub fn bitwise_and_to_bitwise_xor(a: i32) -> i32 {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(except="HirBody,MirOptimized,MirBuilt", cfg="cfail2")]
|
#[rustc_clean(except="HirBody,optimized_mir,mir_built", cfg="cfail2")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn bitwise_and_to_bitwise_xor(a: i32) -> i32 {
|
pub fn bitwise_and_to_bitwise_xor(a: i32) -> i32 {
|
||||||
1 ^ a
|
1 ^ a
|
||||||
|
@ -261,7 +261,7 @@ pub fn bitwise_and_to_lshift(a: i32) -> i32 {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(except="HirBody,MirOptimized,MirBuilt", cfg="cfail2")]
|
#[rustc_clean(except="HirBody,optimized_mir,mir_built", cfg="cfail2")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn bitwise_and_to_lshift(a: i32) -> i32 {
|
pub fn bitwise_and_to_lshift(a: i32) -> i32 {
|
||||||
a << 1
|
a << 1
|
||||||
|
@ -276,7 +276,7 @@ pub fn bitwise_and_to_rshift(a: i32) -> i32 {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(except="HirBody,MirOptimized,MirBuilt", cfg="cfail2")]
|
#[rustc_clean(except="HirBody,optimized_mir,mir_built", cfg="cfail2")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn bitwise_and_to_rshift(a: i32) -> i32 {
|
pub fn bitwise_and_to_rshift(a: i32) -> i32 {
|
||||||
a >> 1
|
a >> 1
|
||||||
|
@ -291,7 +291,7 @@ pub fn eq_to_uneq(a: i32) -> bool {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(except="HirBody,MirOptimized,MirBuilt", cfg="cfail2")]
|
#[rustc_clean(except="HirBody,optimized_mir,mir_built", cfg="cfail2")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn eq_to_uneq(a: i32) -> bool {
|
pub fn eq_to_uneq(a: i32) -> bool {
|
||||||
a != 1
|
a != 1
|
||||||
|
@ -306,7 +306,7 @@ pub fn eq_to_lt(a: i32) -> bool {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(except="HirBody,MirOptimized,MirBuilt", cfg="cfail2")]
|
#[rustc_clean(except="HirBody,optimized_mir,mir_built", cfg="cfail2")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn eq_to_lt(a: i32) -> bool {
|
pub fn eq_to_lt(a: i32) -> bool {
|
||||||
a < 1
|
a < 1
|
||||||
|
@ -321,7 +321,7 @@ pub fn eq_to_gt(a: i32) -> bool {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(except="HirBody,MirOptimized,MirBuilt", cfg="cfail2")]
|
#[rustc_clean(except="HirBody,optimized_mir,mir_built", cfg="cfail2")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn eq_to_gt(a: i32) -> bool {
|
pub fn eq_to_gt(a: i32) -> bool {
|
||||||
a > 1
|
a > 1
|
||||||
|
@ -336,7 +336,7 @@ pub fn eq_to_le(a: i32) -> bool {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(except="HirBody,MirOptimized,MirBuilt", cfg="cfail2")]
|
#[rustc_clean(except="HirBody,optimized_mir,mir_built", cfg="cfail2")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn eq_to_le(a: i32) -> bool {
|
pub fn eq_to_le(a: i32) -> bool {
|
||||||
a <= 1
|
a <= 1
|
||||||
|
@ -351,7 +351,7 @@ pub fn eq_to_ge(a: i32) -> bool {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(except="HirBody,MirOptimized,MirBuilt", cfg="cfail2")]
|
#[rustc_clean(except="HirBody,optimized_mir,mir_built", cfg="cfail2")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn eq_to_ge(a: i32) -> bool {
|
pub fn eq_to_ge(a: i32) -> bool {
|
||||||
a >= 1
|
a >= 1
|
||||||
|
@ -368,7 +368,7 @@ pub fn type_cast(a: u8) -> u64 {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(except="HirBody,MirOptimized,MirBuilt,TypeckTables", cfg="cfail2")]
|
#[rustc_clean(except="HirBody,optimized_mir,mir_built,TypeckTables", cfg="cfail2")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn type_cast(a: u8) -> u64 {
|
pub fn type_cast(a: u8) -> u64 {
|
||||||
let b = a as u32;
|
let b = a as u32;
|
||||||
|
@ -385,7 +385,7 @@ pub fn value_cast(a: u32) -> i32 {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(except="HirBody,MirOptimized,MirBuilt", cfg="cfail2")]
|
#[rustc_clean(except="HirBody,optimized_mir,mir_built", cfg="cfail2")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn value_cast(a: u32) -> i32 {
|
pub fn value_cast(a: u32) -> i32 {
|
||||||
2 as i32
|
2 as i32
|
||||||
|
@ -403,7 +403,7 @@ pub fn place() -> i32 {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(except="HirBody,MirOptimized,MirBuilt", cfg="cfail2")]
|
#[rustc_clean(except="HirBody,optimized_mir,mir_built", cfg="cfail2")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn place() -> i32 {
|
pub fn place() -> i32 {
|
||||||
let mut x = 10;
|
let mut x = 10;
|
||||||
|
@ -423,7 +423,7 @@ pub fn rvalue() -> i32 {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(except="HirBody,MirOptimized,MirBuilt", cfg="cfail2")]
|
#[rustc_clean(except="HirBody,optimized_mir,mir_built", cfg="cfail2")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn rvalue() -> i32 {
|
pub fn rvalue() -> i32 {
|
||||||
let mut x = 10;
|
let mut x = 10;
|
||||||
|
@ -440,7 +440,7 @@ pub fn index_to_slice(s: &[u8], i: usize, j: usize) -> u8 {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(except="HirBody,MirOptimized,MirBuilt", cfg="cfail2")]
|
#[rustc_clean(except="HirBody,optimized_mir,mir_built", cfg="cfail2")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn index_to_slice(s: &[u8], i: usize, j: usize) -> u8 {
|
pub fn index_to_slice(s: &[u8], i: usize, j: usize) -> u8 {
|
||||||
s[j]
|
s[j]
|
||||||
|
|
|
@ -25,7 +25,7 @@ pub fn change_loop_body() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody, MirBuilt, MirOptimized")]
|
#[rustc_clean(cfg="cfail2", except="HirBody, mir_built, optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_loop_body() {
|
pub fn change_loop_body() {
|
||||||
let mut _x = 0;
|
let mut _x = 0;
|
||||||
|
@ -48,7 +48,7 @@ pub fn change_loop_condition() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody, MirBuilt, MirOptimized")]
|
#[rustc_clean(cfg="cfail2", except="HirBody, mir_built, optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_loop_condition() {
|
pub fn change_loop_condition() {
|
||||||
let mut _x = 0;
|
let mut _x = 0;
|
||||||
|
@ -70,7 +70,7 @@ pub fn add_break() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody, MirBuilt, MirOptimized, TypeckTables")]
|
#[rustc_clean(cfg="cfail2", except="HirBody, mir_built, optimized_mir, TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn add_break() {
|
pub fn add_break() {
|
||||||
let mut _x = 0;
|
let mut _x = 0;
|
||||||
|
@ -141,7 +141,7 @@ pub fn change_break_label() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody, MirBuilt, MirOptimized, TypeckTables")]
|
#[rustc_clean(cfg="cfail2", except="HirBody, mir_built, optimized_mir, TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_break_label() {
|
pub fn change_break_label() {
|
||||||
let mut _x = 0;
|
let mut _x = 0;
|
||||||
|
@ -191,7 +191,7 @@ pub fn change_continue_label() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody, MirBuilt, MirOptimized, TypeckTables")]
|
#[rustc_clean(cfg="cfail2", except="HirBody, mir_built, optimized_mir, TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_continue_label() {
|
pub fn change_continue_label() {
|
||||||
let mut _x = 0;
|
let mut _x = 0;
|
||||||
|
@ -216,7 +216,7 @@ pub fn change_continue_to_break() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody, MirBuilt, MirOptimized")]
|
#[rustc_clean(cfg="cfail2", except="HirBody, mir_built, optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_continue_to_break() {
|
pub fn change_continue_to_break() {
|
||||||
let mut _x = 0;
|
let mut _x = 0;
|
||||||
|
|
|
@ -25,7 +25,7 @@ pub fn change_loop_body() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody, MirBuilt, MirOptimized")]
|
#[rustc_clean(cfg="cfail2", except="HirBody, mir_built, optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_loop_body() {
|
pub fn change_loop_body() {
|
||||||
let mut _x = 0;
|
let mut _x = 0;
|
||||||
|
@ -48,7 +48,7 @@ pub fn change_loop_condition() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody, MirBuilt, MirOptimized")]
|
#[rustc_clean(cfg="cfail2", except="HirBody, mir_built, optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_loop_condition() {
|
pub fn change_loop_condition() {
|
||||||
let mut _x = 0;
|
let mut _x = 0;
|
||||||
|
@ -70,7 +70,7 @@ pub fn add_break() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody, MirBuilt, MirOptimized, TypeckTables")]
|
#[rustc_clean(cfg="cfail2", except="HirBody, mir_built, optimized_mir, TypeckTables")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn add_break() {
|
pub fn add_break() {
|
||||||
let mut _x = 0;
|
let mut _x = 0;
|
||||||
|
@ -141,7 +141,7 @@ pub fn change_break_label() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody, MirBuilt, MirOptimized")]
|
#[rustc_clean(cfg="cfail2", except="HirBody, mir_built, optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_break_label() {
|
pub fn change_break_label() {
|
||||||
let mut _x = 0;
|
let mut _x = 0;
|
||||||
|
@ -191,7 +191,7 @@ pub fn change_continue_label() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody, MirBuilt")]
|
#[rustc_clean(cfg="cfail2", except="HirBody, mir_built")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_continue_label() {
|
pub fn change_continue_label() {
|
||||||
let mut _x = 0;
|
let mut _x = 0;
|
||||||
|
@ -216,7 +216,7 @@ pub fn change_continue_to_break() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(cfail1))]
|
#[cfg(not(cfail1))]
|
||||||
#[rustc_clean(cfg="cfail2", except="HirBody, MirBuilt, MirOptimized")]
|
#[rustc_clean(cfg="cfail2", except="HirBody, mir_built, optimized_mir")]
|
||||||
#[rustc_clean(cfg="cfail3")]
|
#[rustc_clean(cfg="cfail3")]
|
||||||
pub fn change_continue_to_break() {
|
pub fn change_continue_to_break() {
|
||||||
let mut _x = 0;
|
let mut _x = 0;
|
||||||
|
|
|
@ -13,7 +13,7 @@ pub fn main() {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(rpass2)]
|
#[cfg(rpass2)]
|
||||||
#[rustc_dirty(label="MirOptimized", cfg="rpass2")]
|
#[rustc_dirty(label="optimized_mir", cfg="rpass2")]
|
||||||
pub fn main() {
|
pub fn main() {
|
||||||
let _ = 0u8 + 1;
|
let _ = 0u8 + 1;
|
||||||
}
|
}
|
||||||
|
|
|
@ -19,7 +19,7 @@ pub mod x {
|
||||||
|
|
||||||
#[cfg(cfail2)]
|
#[cfg(cfail2)]
|
||||||
#[rustc_dirty(label="HirBody", cfg="cfail2")]
|
#[rustc_dirty(label="HirBody", cfg="cfail2")]
|
||||||
#[rustc_dirty(label="MirOptimized", cfg="cfail2")]
|
#[rustc_dirty(label="optimized_mir", cfg="cfail2")]
|
||||||
pub fn x() {
|
pub fn x() {
|
||||||
println!("{}", "2");
|
println!("{}", "2");
|
||||||
}
|
}
|
||||||
|
@ -29,7 +29,7 @@ pub mod y {
|
||||||
use x;
|
use x;
|
||||||
|
|
||||||
#[rustc_clean(label="TypeckTables", cfg="cfail2")]
|
#[rustc_clean(label="TypeckTables", cfg="cfail2")]
|
||||||
#[rustc_clean(label="MirOptimized", cfg="cfail2")]
|
#[rustc_clean(label="optimized_mir", cfg="cfail2")]
|
||||||
pub fn y() {
|
pub fn y() {
|
||||||
x::x();
|
x::x();
|
||||||
}
|
}
|
||||||
|
@ -39,7 +39,7 @@ pub mod z {
|
||||||
use y;
|
use y;
|
||||||
|
|
||||||
#[rustc_clean(label="TypeckTables", cfg="cfail2")]
|
#[rustc_clean(label="TypeckTables", cfg="cfail2")]
|
||||||
#[rustc_clean(label="MirOptimized", cfg="cfail2")]
|
#[rustc_clean(label="optimized_mir", cfg="cfail2")]
|
||||||
pub fn z() {
|
pub fn z() {
|
||||||
y::y();
|
y::y();
|
||||||
}
|
}
|
||||||
|
|
|
@ -87,6 +87,7 @@ const WHITELIST: &[Crate<'_>] = &[
|
||||||
Crate("fuchsia-zircon-sys"),
|
Crate("fuchsia-zircon-sys"),
|
||||||
Crate("getopts"),
|
Crate("getopts"),
|
||||||
Crate("humantime"),
|
Crate("humantime"),
|
||||||
|
Crate("itertools"),
|
||||||
Crate("jobserver"),
|
Crate("jobserver"),
|
||||||
Crate("kernel32-sys"),
|
Crate("kernel32-sys"),
|
||||||
Crate("lazy_static"),
|
Crate("lazy_static"),
|
||||||
|
|
Loading…
Reference in New Issue