File tree Expand file tree Collapse file tree 4 files changed +0
-4
lines changed Expand file tree Collapse file tree 4 files changed +0
-4
lines changed Original file line number Diff line number Diff line change 1
1
//@compile-flags: -Zmiri-disable-weak-memory-emulation -Zmiri-preemption-rate=0 -Zmiri-disable-stacked-borrows
2
2
// Avoid accidental synchronization via address reuse inside `thread::spawn`.
3
3
//@compile-flags: -Zmiri-address-reuse-cross-thread-rate=0
4
- #![feature(new_uninit)]
5
4
6
5
use std::mem::MaybeUninit;
7
6
use std::ptr::null_mut;
Original file line number Diff line number Diff line change 1
1
//@compile-flags: -Zmiri-disable-weak-memory-emulation -Zmiri-preemption-rate=0 -Zmiri-disable-stacked-borrows
2
2
// Avoid accidental synchronization via address reuse inside `thread::spawn`.
3
3
//@compile-flags: -Zmiri-address-reuse-cross-thread-rate=0
4
- #![feature(new_uninit)]
5
4
6
5
use std::ptr::null_mut;
7
6
use std::sync::atomic::{AtomicPtr, Ordering};
Original file line number Diff line number Diff line change 1
1
//@revisions: stack tree
2
2
//@[tree]compile-flags: -Zmiri-tree-borrows
3
3
//@compile-flags: -Zmiri-strict-provenance
4
- #![feature(new_uninit)]
5
4
#![feature(get_mut_unchecked)]
6
5
#![allow(ambiguous_wide_pointer_comparisons)]
7
6
Original file line number Diff line number Diff line change 1
1
//@revisions: stack tree
2
2
//@[tree]compile-flags: -Zmiri-tree-borrows
3
3
//@compile-flags: -Zmiri-strict-provenance
4
- #![feature(new_uninit)]
5
4
#![feature(slice_as_chunks)]
6
5
#![feature(slice_partition_dedup)]
7
6
#![feature(layout_for_ptr)]
You can’t perform that action at this time.
0 commit comments