Skip to content

Commit

Permalink
miri: Remove feature(new_uninit)
Browse files Browse the repository at this point in the history
  • Loading branch information
workingjubilee committed Aug 26, 2024
1 parent 0b1fd5d commit ae88be4
Show file tree
Hide file tree
Showing 4 changed files with 0 additions and 4 deletions.
1 change: 0 additions & 1 deletion src/tools/miri/tests/fail/data_race/alloc_read_race.rs
Original file line number Diff line number Diff line change
@@ -1,7 +1,6 @@
//@compile-flags: -Zmiri-disable-weak-memory-emulation -Zmiri-preemption-rate=0 -Zmiri-disable-stacked-borrows
// Avoid accidental synchronization via address reuse inside `thread::spawn`.
//@compile-flags: -Zmiri-address-reuse-cross-thread-rate=0
#![feature(new_uninit)]

use std::mem::MaybeUninit;
use std::ptr::null_mut;
Expand Down
1 change: 0 additions & 1 deletion src/tools/miri/tests/fail/data_race/alloc_write_race.rs
Original file line number Diff line number Diff line change
@@ -1,7 +1,6 @@
//@compile-flags: -Zmiri-disable-weak-memory-emulation -Zmiri-preemption-rate=0 -Zmiri-disable-stacked-borrows
// Avoid accidental synchronization via address reuse inside `thread::spawn`.
//@compile-flags: -Zmiri-address-reuse-cross-thread-rate=0
#![feature(new_uninit)]

use std::ptr::null_mut;
use std::sync::atomic::{AtomicPtr, Ordering};
Expand Down
1 change: 0 additions & 1 deletion src/tools/miri/tests/pass/rc.rs
Original file line number Diff line number Diff line change
@@ -1,7 +1,6 @@
//@revisions: stack tree
//@[tree]compile-flags: -Zmiri-tree-borrows
//@compile-flags: -Zmiri-strict-provenance
#![feature(new_uninit)]
#![feature(get_mut_unchecked)]
#![allow(ambiguous_wide_pointer_comparisons)]

Expand Down
1 change: 0 additions & 1 deletion src/tools/miri/tests/pass/slices.rs
Original file line number Diff line number Diff line change
@@ -1,7 +1,6 @@
//@revisions: stack tree
//@[tree]compile-flags: -Zmiri-tree-borrows
//@compile-flags: -Zmiri-strict-provenance
#![feature(new_uninit)]
#![feature(slice_as_chunks)]
#![feature(slice_partition_dedup)]
#![feature(layout_for_ptr)]
Expand Down

0 comments on commit ae88be4

Please sign in to comment.