diff options
| author | Nurzhan Sakén <nurzhan.sakenov@gmail.com> | 2025-07-30 23:39:35 +0400 |
|---|---|---|
| committer | Nurzhan Sakén <nurzhan.sakenov@gmail.com> | 2025-07-30 23:39:35 +0400 |
| commit | 3ff3a1ee0000c7a47cae866fcb086072eeb3f476 (patch) | |
| tree | 524fcc716b4720fda8e4220c3d46806e17bc3507 /src | |
| parent | e5e79f8bd428d0b8d26e8240d718b134ef297459 (diff) | |
Stabilize strict_overflow_ops
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/miri/src/lib.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/src/lib.rs b/src/tools/miri/src/lib.rs index 507d4f7b428..8d6796644e5 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)] @@ -11,7 +12,6 @@ #![feature(variant_count)] #![feature(yeet_expr)] #![feature(nonzero_ops)] -#![feature(strict_overflow_ops)] #![feature(pointer_is_aligned_to)] #![feature(ptr_metadata)] #![feature(unqualified_local_imports)] |