Skip to content

Commit df8ac7d

Browse files
author
The Miri Cronjob Bot
committed
Merge from rustc
2 parents e28dc1a + 4e0965a commit df8ac7d

File tree

5 files changed

+0
-5
lines changed

5 files changed

+0
-5
lines changed

tests/fail/data_race/alloc_read_race.rs

-1
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
11
//@compile-flags: -Zmiri-disable-weak-memory-emulation -Zmiri-preemption-rate=0 -Zmiri-disable-stacked-borrows
22
// Avoid accidental synchronization via address reuse inside `thread::spawn`.
33
//@compile-flags: -Zmiri-address-reuse-cross-thread-rate=0
4-
#![feature(new_uninit)]
54

65
use std::mem::MaybeUninit;
76
use std::ptr::null_mut;

tests/fail/data_race/alloc_write_race.rs

-1
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
11
//@compile-flags: -Zmiri-disable-weak-memory-emulation -Zmiri-preemption-rate=0 -Zmiri-disable-stacked-borrows
22
// Avoid accidental synchronization via address reuse inside `thread::spawn`.
33
//@compile-flags: -Zmiri-address-reuse-cross-thread-rate=0
4-
#![feature(new_uninit)]
54

65
use std::ptr::null_mut;
76
use std::sync::atomic::{AtomicPtr, Ordering};

tests/fail/weak_memory/weak_uninit.rs

-1
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,6 @@
66
// run multiple times until one try returns true.
77
// Spurious failure is possible, if you are really unlucky with
88
// the RNG and always read the latest value from the store buffer.
9-
#![feature(new_uninit)]
109

1110
use std::sync::atomic::*;
1211
use std::thread::spawn;

tests/pass/rc.rs

-1
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
11
//@revisions: stack tree
22
//@[tree]compile-flags: -Zmiri-tree-borrows
33
//@compile-flags: -Zmiri-strict-provenance
4-
#![feature(new_uninit)]
54
#![feature(get_mut_unchecked)]
65
#![allow(ambiguous_wide_pointer_comparisons)]
76

tests/pass/slices.rs

-1
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
11
//@revisions: stack tree
22
//@[tree]compile-flags: -Zmiri-tree-borrows
33
//@compile-flags: -Zmiri-strict-provenance
4-
#![feature(new_uninit)]
54
#![feature(slice_as_chunks)]
65
#![feature(slice_partition_dedup)]
76
#![feature(layout_for_ptr)]

0 commit comments

Comments
 (0)