From 1d39d00afc6f7ab7b586772ee985badc2aa373ab Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Wed, 20 Aug 2025 09:35:03 +0200
Subject: [PATCH] add back cfg(bootstrap), it is still needed

---
 src/tools/miri/src/lib.rs | 1 +
 1 file changed, 1 insertion(+)

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)]