This commit is contained in:
Ralf Jung 2018-08-24 19:49:57 +02:00
parent 40cc72604a
commit bb5079b2bf
2 changed files with 5 additions and 8 deletions

View file

@ -1,7 +1,4 @@
#![feature(
rustc_private,
catch_expr,
)]
#![feature(rustc_private)]
#![cfg_attr(feature = "cargo-clippy", allow(cast_lossless))]
@ -154,10 +151,10 @@ pub fn eval_main<'a, 'tcx: 'a>(
) {
let mut ecx = create_ecx(tcx, main_id, start_wrapper).expect("Couldn't create ecx");
let res: EvalResult = do catch {
let res: EvalResult = (|| {
ecx.run()?;
ecx.run_tls_dtors()?;
};
ecx.run_tls_dtors()
})();
match res {
Ok(()) => {

View file

@ -1,4 +1,4 @@
#![feature(custom_attribute, attr_literals)]
#![feature(custom_attribute)]
#![miri(stack_limit=16)]
//error-pattern: reached the configured maximum number of stack frames