Skip to content

Commit 86ac05e

Browse files
committed
Auto merge of #2885 - RalfJung:rustup, r=RalfJung
Rustup
2 parents b78b9c4 + f83a1b9 commit 86ac05e

File tree

3 files changed

+3
-4
lines changed

3 files changed

+3
-4
lines changed

ci.sh

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -45,7 +45,8 @@ function run_tests {
4545
# them. Also error locations change so we don't run the failing tests.
4646
# We explicitly enable debug-assertions here, they are disabled by -O but we have tests
4747
# which exist to check that we panic on debug assertion failures.
48-
MIRIFLAGS="${MIRIFLAGS:-} -O -Zmir-opt-level=4 -Cdebug-assertions=yes" MIRI_SKIP_UI_CHECKS=1 ./miri test -- tests/{pass,panic}
48+
#FIXME: Disabled due to <https://github.com/rust-lang/rust/issues/111422>.
49+
#MIRIFLAGS="${MIRIFLAGS:-} -O -Zmir-opt-level=4 -Cdebug-assertions=yes" MIRI_SKIP_UI_CHECKS=1 ./miri test -- tests/{pass,panic}
4950

5051
# Also run some many-seeds tests. 64 seeds means this takes around a minute per test.
5152
for FILE in tests/many-seeds/*.rs; do

rust-version

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
c4190f2d3a46a59f435f7b42f58bc22b2f4d6917
1+
65dfca8488d635552eb246eb8e15df646e987cff

tests/fail/const-ub-checks.rs

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,3 @@
1-
#![feature(const_ptr_read)]
2-
31
const UNALIGNED_READ: () = unsafe {
42
let x = &[0u8; 4];
53
let ptr = x.as_ptr().cast::<u32>();

0 commit comments

Comments
 (0)