Auto merge of #100495 - RalfJung:miri, r=RalfJung · rust-lang/rust@d70c0ec

Commit

Auto merge of #100495 - RalfJung:miri, r=RalfJung

update Miri

Fixes #100424

bors committed Aug 14, 2022

2 parents b76fec3 + f3fc1cd commit d70c0ec

+1 −1		rust-version
+1 −0		src/lib.rs
+12 −9		src/shims/time.rs
+6 −5		src/shims/unix/foreign_items.rs
+71 −65		src/shims/unix/fs.rs
+13 −10		src/shims/unix/linux/foreign_items.rs
+12 −12		src/shims/unix/macos/foreign_items.rs
+5 −5		src/shims/unix/sync.rs
+11 −52		src/shims/unix/thread.rs
+10 −15		src/thread.rs
+11 −0		tests/fail/const-ub-checks.rs
+9 −0		tests/fail/const-ub-checks.stderr
+11 −0		tests/fail/intrinsics/raw_eq_on_ptr.rs
+14 −0		tests/fail/intrinsics/raw_eq_on_ptr.stderr
+10 −6		tests/pass/concurrency/data_race.rs
+0 −55		tests/pass/libc.rs