test Rc with raw pointer tracking

rust-lang · Oct 31, 2020 · 1fb9f01 · 1fb9f01
1 parent d1c9a6e
commit 1fb9f01
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/tests/run-pass/rc.rs b/tests/run-pass/rc.rs
@@ -1,3 +1,5 @@
+// compile-flags: -Zmiri-track-raw-pointers
+// ignore-windows (FIXME: tracking raw pointers does not work on Windows)
 #![feature(new_uninit)]
 #![feature(get_mut_unchecked)]