Auto merge of #1648 - RalfJung:windows-track-raw, r=RalfJung

enable track-raw-ptr tests on Windows

With https://github.com/rust-lang/rust/pull/79893 landed, raw-pointer-tracking now works even for the Windows runtime. :)

README.md

@@ -248,8 +248,7 @@ environment variable:
   help identify latent aliasing issues in code that Miri accepts by default. You
   can recognize false positives by "<untagged>" occurring in the message -- this
   indicates a pointer that was cast from an integer, so Miri was unable to track
-  this pointer. Make sure to use a non-Windows target with this flag, as the
-  Windows runtime makes use of integer-pointer casts.
+  this pointer.
 
 Some native rustc `-Z` flags are also very relevant for Miri:
 

rust-version

@@ -1 +1 @@
-39b841dfe36f90a7cd111e7f0c55f32594f6e578
+a2e29d67c26bdf8f278c98ee02d6cc77a279ed2e

tests/compile-fail/stacked_borrows/raw_tracking.rs

@@ -1,5 +1,4 @@
 // 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() {

tests/run-pass/btreemap.rs

@@ -1,5 +1,4 @@
 // compile-flags: -Zmiri-track-raw-pointers
-// ignore-windows (FIXME: tracking raw pointers does not work on Windows)
 #![feature(btree_drain_filter)]
 use std::collections::{BTreeMap, BTreeSet};
 use std::mem;

tests/run-pass/rc.rs

@@ -1,5 +1,4 @@
 // compile-flags: -Zmiri-track-raw-pointers
-// ignore-windows (FIXME: tracking raw pointers does not work on Windows)
 #![feature(new_uninit)]
 #![feature(get_mut_unchecked)]
 

tests/run-pass/stacked-borrows/stacked-borrows.rs

@@ -1,5 +1,4 @@
 // compile-flags: -Zmiri-track-raw-pointers
-// ignore-windows (FIXME: tracking raw pointers does not work on Windows)
 #![feature(raw_ref_macros)]
 use std::ptr;
     

tests/run-pass/vec.rs

@@ -1,5 +1,4 @@
 // 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>) {

tests/run-pass/vecdeque.rs

@@ -1,5 +1,4 @@
 // 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>) {