test Rc with raw pointer tracking

RalfJung · RalfJung · commit 1fb9f015a99b · 2020-10-31T16:23:53.000+01:00
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)]
 

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+// compile-flags: -Zmiri-track-raw-pointers`
	`2`	`+// ignore-windows (FIXME: tracking raw pointers does not work on Windows)`
`1`	`3`	`#![feature(new_uninit)]`
`2`	`4`	`#![feature(get_mut_unchecked)]`
`3`	`5`