summaryrefslogtreecommitdiff
path: root/src/tools/miri/tests/fail/data_race/dealloc_write_race2.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/tools/miri/tests/fail/data_race/dealloc_write_race2.rs')
-rw-r--r--src/tools/miri/tests/fail/data_race/dealloc_write_race2.rs2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/tools/miri/tests/fail/data_race/dealloc_write_race2.rs b/src/tools/miri/tests/fail/data_race/dealloc_write_race2.rs
index 385584db27f..a7f43f03c02 100644
--- a/src/tools/miri/tests/fail/data_race/dealloc_write_race2.rs
+++ b/src/tools/miri/tests/fail/data_race/dealloc_write_race2.rs
@@ -19,6 +19,7 @@ pub fn main() {
unsafe {
let j1 = spawn(move || {
+ let ptr = ptr; // avoid field capturing
__rust_dealloc(
ptr.0 as *mut _,
std::mem::size_of::<usize>(),
@@ -27,6 +28,7 @@ pub fn main() {
});
let j2 = spawn(move || {
+ let ptr = ptr; // avoid field capturing
// Also an error of the form: Data race detected between (1) Deallocate on thread `<unnamed>` and (2) Write on thread `<unnamed>`
// but the invalid allocation is detected first.
*ptr.0 = 2; //~ ERROR: dereferenced after this allocation got freed