From c153f3a356b0e7917c91d3a804b93fadffb778b0 Mon Sep 17 00:00:00 2001 From: Ben Kimock Date: Sun, 4 Jun 2023 20:21:00 -0400 Subject: Ignore the always part of #[inline(always)] in MIR inlining --- src/tools/miri/tests/fail/terminate-terminator.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/tools/miri/tests/fail/terminate-terminator.rs b/src/tools/miri/tests/fail/terminate-terminator.rs index b9199cff079..bd6cd69215a 100644 --- a/src/tools/miri/tests/fail/terminate-terminator.rs +++ b/src/tools/miri/tests/fail/terminate-terminator.rs @@ -1,4 +1,4 @@ -//@compile-flags: -Zmir-opt-level=3 +//@compile-flags: -Zmir-opt-level=3 -Zinline-mir-hint-threshold=1000 // Enable MIR inlining to ensure that `TerminatorKind::Terminate` is generated // instead of just `UnwindAction::Terminate`. -- cgit 1.4.1-3-g733a5