File tree 4 files changed +0
-4
lines changed
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