better optimization suppression

Co-authored-by: bjorn3 <bjorn3@users.noreply.github.com>

diff --git a/tests/compile-fail/invalid_bool.rs b/tests/compile-fail/invalid_bool.rs
index 933ee91c7d4d46ca4b0bc87c8a54e8f50b1fafcc..8d8cce1c7e50e045c6801141cbb87f015ab7987c 100644 (file)
--- a/tests/compile-fail/invalid_bool.rs
+++ b/tests/compile-fail/invalid_bool.rs
@@ -2,6 +2,7 @@
 // Make sure we find these even with many checks disabled.
 // compile-flags: -Zmiri-disable-alignment-check -Zmiri-disable-stacked-borrows -Zmiri-disable-validation
 
+#[inline(never)]
 fn dont_optimize<T>(x: T) -> T { x }
 
 fn main() {