Skip to content

Commit 3f00f51

Browse files
committed
we cannot track raw pointers on Windows
1 parent 70af7ae commit 3f00f51

File tree

4 files changed

+2
-3
lines changed

4 files changed

+2
-3
lines changed

tests/run-pass/format.rs

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,3 @@
1-
// compile-flags: -Zmiri-track-raw-pointers
2-
31
fn main() {
42
println!("Hello {}", 13);
53
println!("{:0<width$}", "hello", width = 10);

tests/run-pass/slices.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// compile-flags: -Zmiri-track-raw-pointers
21
#![feature(new_uninit)]
32

43
use std::slice;

tests/run-pass/vec.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
// compile-flags: -Zmiri-track-raw-pointers
2+
// ignore-windows (tracking raw oointesr does not work on Windows)
23
// Gather all references from a mutable iterator and make sure Miri notices if
34
// using them is dangerous.
45
fn test_all_refs<'a, T: 'a>(dummy: &mut T, iter: impl Iterator<Item = &'a mut T>) {

tests/run-pass/vecdeque.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
// compile-flags: -Zmiri-track-raw-pointers
2+
// ignore-windows (tracking raw oointesr does not work on Windows)
23
use std::collections::VecDeque;
34

45
fn test_all_refs<'a, T: 'a>(dummy: &mut T, iter: impl Iterator<Item = &'a mut T>) {

0 commit comments

Comments
 (0)