From bf54607ba03cf12a015e7027be6d5ffdf08cc3ca Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Wed, 28 Oct 2020 13:50:27 +0100
Subject: [PATCH] test raw pointer tracking; we cannot track raw pointers on
 Windows

---
 tests/compile-fail/stacked_borrows/raw_tracking.rs | 13 +++++++++++++
 tests/run-pass/format.rs                           |  2 --
 tests/run-pass/slices.rs                           |  1 -
 tests/run-pass/vec.rs                              |  1 +
 tests/run-pass/vecdeque.rs                         |  1 +
 5 files changed, 15 insertions(+), 3 deletions(-)
 create mode 100644 tests/compile-fail/stacked_borrows/raw_tracking.rs

diff --git a/tests/compile-fail/stacked_borrows/raw_tracking.rs b/tests/compile-fail/stacked_borrows/raw_tracking.rs
new file mode 100644
index 00000000000..b9ddee328f7
--- /dev/null
+++ b/tests/compile-fail/stacked_borrows/raw_tracking.rs
@@ -0,0 +1,13 @@
+// compile-flags: -Zmiri-track-raw-pointers
+// ignore-windows (FIXME: tracking raw pointers does not work on Windows)
+//! This demonstrates a provenance problem that requires tracking of raw pointers to be detected.
+
+fn main() {
+    let mut l = 13;
+    let raw1 = &mut l as *mut _;
+    let raw2 = &mut l as *mut _; // invalidates raw1
+    // Without raw pointer tracking, Stacked Borrows cannot distinguish raw1 and raw2, and thus
+    // fails to realize that raw1 should not be used any more.
+    unsafe { *raw1 = 13; } //~ ERROR no item granting write access to tag
+    unsafe { *raw2 = 13; }
+}
diff --git a/tests/run-pass/format.rs b/tests/run-pass/format.rs
index 3893efcb26a..053cce36130 100644
--- a/tests/run-pass/format.rs
+++ b/tests/run-pass/format.rs
@@ -1,5 +1,3 @@
-// compile-flags: -Zmiri-track-raw-pointers
-
 fn main() {
     println!("Hello {}", 13);
     println!("{:0<width$}", "hello", width = 10);
diff --git a/tests/run-pass/slices.rs b/tests/run-pass/slices.rs
index 7e754907792..41e7b2d36c7 100644
--- a/tests/run-pass/slices.rs
+++ b/tests/run-pass/slices.rs
@@ -1,4 +1,3 @@
-// compile-flags: -Zmiri-track-raw-pointers
 #![feature(new_uninit)]
 
 use std::slice;
diff --git a/tests/run-pass/vec.rs b/tests/run-pass/vec.rs
index a27fd94d8ba..ad6c5363ac1 100644
--- a/tests/run-pass/vec.rs
+++ b/tests/run-pass/vec.rs
@@ -1,4 +1,5 @@
 // compile-flags: -Zmiri-track-raw-pointers
+// ignore-windows (FIXME: tracking raw pointers does not work on Windows)
 // Gather all references from a mutable iterator and make sure Miri notices if
 // using them is dangerous.
 fn test_all_refs<'a, T: 'a>(dummy: &mut T, iter: impl Iterator<Item = &'a mut T>) {
diff --git a/tests/run-pass/vecdeque.rs b/tests/run-pass/vecdeque.rs
index 54aeb89ec83..55b47f622fd 100644
--- a/tests/run-pass/vecdeque.rs
+++ b/tests/run-pass/vecdeque.rs
@@ -1,4 +1,5 @@
 // compile-flags: -Zmiri-track-raw-pointers
+// ignore-windows (FIXME: tracking raw pointers does not work on Windows)
 use std::collections::VecDeque;
 
 fn test_all_refs<'a, T: 'a>(dummy: &mut T, iter: impl Iterator<Item = &'a mut T>) {
-- 
2.44.0