diff --git a/src/tools/miri/src/lib.rs b/src/tools/miri/src/lib.rs
index 7d8538d24bbb..5ed6d6b346c7 100644
--- a/src/tools/miri/src/lib.rs
+++ b/src/tools/miri/src/lib.rs
@@ -1,3 +1,4 @@
+#![cfg_attr(bootstrap, feature(strict_overflow_ops))]
 #![feature(abort_unwind)]
 #![feature(cfg_select)]
 #![feature(rustc_private)]