Skip to content

Commit 13b4a44

Browse files
authored
Merge pull request #60 from RalfJung/rustup
rustup
2 parents c00de99 + 2eeaf3c commit 13b4a44

File tree

2 files changed

+1
-87
lines changed

2 files changed

+1
-87
lines changed

rust-src.diff

-86
Original file line numberDiff line numberDiff line change
@@ -1,86 +0,0 @@
1-
diff --git a/library/alloc/benches/lib.rs b/library/alloc/benches/lib.rs
2-
index 638f343fb24..0561f49c967 100644
3-
--- a/library/alloc/benches/lib.rs
4-
+++ b/library/alloc/benches/lib.rs
5-
@@ -1,6 +1,8 @@
6-
// Disabling on android for the time being
7-
// See https://github.com/rust-lang/rust/issues/73535#event-3477699747
8-
#![cfg(not(target_os = "android"))]
9-
+// Disabling in Miri as these would take too long.
10-
+#![cfg(not(miri))]
11-
#![feature(btree_extract_if)]
12-
#![feature(iter_next_chunk)]
13-
#![feature(repr_simd)]
14-
diff --git a/library/alloc/src/sync.rs b/library/alloc/src/sync.rs
15-
index 4dea27221b7..6ae52cc7827 100644
16-
--- a/library/alloc/src/sync.rs
17-
+++ b/library/alloc/src/sync.rs
18-
@@ -1062,7 +1062,9 @@ pub fn try_unwrap(this: Self) -> Result<T, Self> {
19-
///
20-
/// // Create a long list and clone it
21-
/// let mut x = LinkedList::new();
22-
- /// for i in 0..100000 {
23-
+ /// let size = 100000;
24-
+ /// # let size = if cfg!(miri) { 100 } else { size };
25-
+ /// for i in 0..size {
26-
/// x.push(i); // Adds i to the front of x
27-
/// }
28-
/// let y = x.clone();
29-
diff --git a/library/core/benches/lib.rs b/library/core/benches/lib.rs
30-
index 4d14b930e41..32d15c386cb 100644
31-
--- a/library/core/benches/lib.rs
32-
+++ b/library/core/benches/lib.rs
33-
@@ -1,5 +1,7 @@
34-
// wasm32 does not support benches (no time).
35-
#![cfg(not(target_arch = "wasm32"))]
36-
+// Disabling in Miri as these would take too long.
37-
+#![cfg(not(miri))]
38-
#![feature(flt2dec)]
39-
#![feature(test)]
40-
#![feature(trusted_random_access)]
41-
diff --git a/library/std/benches/lib.rs b/library/std/benches/lib.rs
42-
index 4d1cf7fab7b..1b21c230a0b 100644
43-
--- a/library/std/benches/lib.rs
44-
+++ b/library/std/benches/lib.rs
45-
@@ -1,3 +1,5 @@
46-
+// Disabling in Miri as these would take too long.
47-
+#![cfg(not(miri))]
48-
#![feature(test)]
49-
50-
extern crate test;
51-
diff --git a/library/std/tests/process_spawning.rs b/library/std/tests/process_spawning.rs
52-
index 59f67f9901f..2b7997299c5 100644
53-
--- a/library/std/tests/process_spawning.rs
54-
+++ b/library/std/tests/process_spawning.rs
55-
@@ -1,4 +1,6 @@
56-
#![cfg(not(target_env = "sgx"))]
57-
+// Process spawning does not work in Miri.
58-
+#![cfg(not(miri))]
59-
60-
use std::env;
61-
use std::fs;
62-
diff --git a/library/std/tests/switch-stdout.rs b/library/std/tests/switch-stdout.rs
63-
index 27f3e8a9b96..a80f24fcb19 100644
64-
--- a/library/std/tests/switch-stdout.rs
65-
+++ b/library/std/tests/switch-stdout.rs
66-
@@ -1,4 +1,6 @@
67-
#![cfg(any(target_family = "unix", target_family = "windows"))]
68-
+// Calls functions that are not supported by Miri.
69-
+#![cfg(not(miri))]
70-
71-
use std::fs::File;
72-
use std::io::{Read, Write};
73-
diff --git a/library/std/tests/thread.rs b/library/std/tests/thread.rs
74-
index 4ce81f2846e..79a981d0b0d 100644
75-
--- a/library/std/tests/thread.rs
76-
+++ b/library/std/tests/thread.rs
77-
@@ -5,7 +5,8 @@
78-
79-
#[test]
80-
#[cfg_attr(target_os = "emscripten", ignore)]
81-
-fn sleep() {
82-
+#[cfg_attr(miri, ignore)] // Miri does not like the thread leak
83-
+fn sleep_very_long() {
84-
let finished = Arc::new(Mutex::new(false));
85-
let t_finished = finished.clone();
86-
thread::spawn(move || {

rust-version

+1-1
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
nightly-2024-04-06
1+
nightly-2024-04-09

0 commit comments

Comments
 (0)