Skip to content

Commit d71a851

Browse files
committed
fix Miri
1 parent 6f64334 commit d71a851

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

src/tools/miri/tests/fail/unaligned_pointers/unaligned_ptr1.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33

44
fn main() {
55
// Try many times as this might work by chance.
6-
for _ in 0..10 {
6+
for _ in 0..20 {
77
let x = [2u16, 3, 4]; // Make it big enough so we don't get an out-of-bounds error.
88
let x = &x[0] as *const _ as *const u32;
99
// This must fail because alignment is violated: the allocation's base is not sufficiently aligned.

src/tools/miri/tests/fail/unaligned_pointers/unaligned_ptr_addr_of.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ use std::ptr;
44

55
fn main() {
66
// Try many times as this might work by chance.
7-
for _ in 0..10 {
7+
for _ in 0..20 {
88
let x = [2u16, 3, 4]; // Make it big enough so we don't get an out-of-bounds error.
99
let x = &x[0] as *const _ as *const u32;
1010
// This must fail because alignment is violated: the allocation's base is not sufficiently aligned.

0 commit comments

Comments
 (0)