From 00bc944eeac0eaa12a1facf2e623f7832f402e57 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sat, 31 Oct 2020 16:23:41 +0100
Subject: [PATCH] test Rc with raw pointer tracking

---
 tests/run-pass/rc.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tests/run-pass/rc.rs b/tests/run-pass/rc.rs
index 3dc61fe1f00d..47f29992c459 100644
--- 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)]