mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Make validate_mir pull optimized/ctfe MIR for all bodies

Browse Source
This commit is contained in:
Michael Goulet 2024-08-03 14:11:31 -04:00
parent a6043039ad
commit 470ada2de0
4 changed files with 10 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
compiler/rustc_interface/src/passes.rs
View File

@ -818,6 +818,13 @@ fn run_required_analyses(tcx: TyCtxt<'_>) {
}); });
sess.time("layout_testing", || layout_test::test_layout(tcx)); sess.time("layout_testing", || layout_test::test_layout(tcx));
sess.time("abi_testing", || abi_test::test_abi(tcx)); sess.time("abi_testing", || abi_test::test_abi(tcx));
if tcx.sess.opts.unstable_opts.validate_mir {
sess.time("ensuring_optimized_MIR_is_computable", || {
tcx.hir().par_body_owners(|def_id| {
tcx.instance_mir(ty::InstanceKind::Item(def_id.into()));
});
});
}
} }
/// Runs the type-checking, region checking and other miscellaneous analysis /// Runs the type-checking, region checking and other miscellaneous analysis

2
tests/crashes/121127.rs
View File

@ -1,5 +1,5 @@
//@ known-bug: #121127 //@ known-bug: #121127
//@ compile-flags: -Zpolymorphize=on -Zinline-mir=yes -C debuginfo=2 //@ compile-flags: -Zvalidate-mir -Zinline-mir=yes -C debuginfo=2
// Note that as of PR#123949 this only crashes with debuginfo enabled // Note that as of PR#123949 this only crashes with debuginfo enabled
#![feature(specialization)] #![feature(specialization)]

2
tests/crashes/122909.rs
View File

@ -1,4 +1,4 @@
//@ compile-flags: -Zpolymorphize=on -Zinline-mir=yes //@ compile-flags: -Zvalidate-mir -Zinline-mir=yes
//@ known-bug: #122909 //@ known-bug: #122909

2
tests/crashes/126896.rs
View File

@ -1,5 +1,5 @@
//@ known-bug: rust-lang/rust#126896 //@ known-bug: rust-lang/rust#126896
//@ compile-flags: -Zpolymorphize=on -Zinline-mir=yes //@ compile-flags: -Zvalidate-mir -Zinline-mir=yes
#![feature(type_alias_impl_trait)] #![feature(type_alias_impl_trait)]
type Two<'a, 'b> = impl std::fmt::Debug; type Two<'a, 'b> = impl std::fmt::Debug;