Skip to content

Commit 0459f0b

Browse files
committed
Auto merge of #1621 - RalfJung:rustup, r=RalfJung
Rustup; test btreemap with raw ptr tracking
2 parents 66a58d4 + df0de77 commit 0459f0b

File tree

10 files changed

+10
-13
lines changed

10 files changed

+10
-13
lines changed

rust-version

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
89631663b7ad2d46d3e4f52bcfa7bee2be9eb82b
1+
cf9cf7c923eb01146971429044f216a3ca905e06

tests/compile-fail/check_arg_count_too_few_args.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
#![feature(core_intrinsics)]
2-
#![feature(rustc_private)]
32

43
fn main() {
54
extern "C" {

tests/compile-fail/check_arg_count_too_many_args.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
#![feature(core_intrinsics)]
2-
#![feature(rustc_private)]
32

43
fn main() {
54
extern "C" {

tests/compile-fail/shim_arg_size.rs

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,3 @@
1-
#![feature(rustc_private)]
2-
31
fn main() {
42
extern "C" {
53
// Use the wrong type(ie. not the pointer width) for the `size`

tests/run-pass/btreemap.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+
// ignore-windows (FIXME: tracking raw pointers does not work on Windows)
13
#![feature(btree_drain_filter)]
24
use std::collections::{BTreeMap, BTreeSet};
35
use std::mem;

tests/run-pass/calloc.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,10 +2,10 @@
22

33
#![feature(rustc_private)]
44

5-
use core::slice;
6-
75
extern crate libc;
86

7+
use core::slice;
8+
99
fn main() {
1010
unsafe {
1111
let p1 = libc::calloc(0, 0);

tests/run-pass/concurrency/sync_singlethread.rs

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,3 @@
1-
#![feature(rustc_private, renamed_spin_loop)]
2-
31
use std::sync::{Mutex, TryLockError};
42
use std::sync::atomic;
53
use std::hint;

tests/run-pass/fs.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,15 +3,15 @@
33

44
#![feature(rustc_private)]
55

6+
extern crate libc;
7+
68
use std::fs::{
79
File, create_dir, OpenOptions, read_dir, remove_dir, remove_dir_all, remove_file, rename,
810
};
911
use std::ffi::CString;
1012
use std::io::{Read, Write, Error, ErrorKind, Result, Seek, SeekFrom};
1113
use std::path::{PathBuf, Path};
1214

13-
extern crate libc;
14-
1515

1616
fn main() {
1717
test_file();

tests/run-pass/malloc.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,10 +2,10 @@
22

33
#![feature(rustc_private)]
44

5-
use core::{slice, ptr};
6-
75
extern crate libc;
86

7+
use core::{slice, ptr};
8+
99
fn main() {
1010
// Test that small allocations sometimes *are* not very aligned.
1111
let saw_unaligned = (0..64).any(|_| unsafe {

tests/run-pass/regions-mock-trans.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,7 @@
33
#![feature(rustc_private)]
44

55
extern crate libc;
6+
67
use std::mem;
78

89
struct Arena(());

0 commit comments

Comments
 (0)