Skip to content

Commit 19e78a6

Browse files
committed
run some tests with raw pointer tracking
1 parent 1944513 commit 19e78a6

File tree

4 files changed

+5
-0
lines changed

4 files changed

+5
-0
lines changed

tests/run-pass/format.rs

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

tests/run-pass/slices.rs

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

34
use std::slice;

tests/run-pass/vec.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
// compile-flags: -Zmiri-track-raw-pointers
12
// Gather all references from a mutable iterator and make sure Miri notices if
23
// using them is dangerous.
34
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,3 +1,4 @@
1+
// compile-flags: -Zmiri-track-raw-pointers
12
use std::collections::VecDeque;
23

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

0 commit comments

Comments
 (0)