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

Commit

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

update miri

Fixes #96975
r? `@ghost`

bors committed May 15, 2022

2 parents 10b3a0d + cdc19b0 commit a170f2b

src/tools/miri

Submodule miri updated 21 files

+8 −0		CONTRIBUTING.md
+4 −0		README.md
+1 −1		miri
+1 −1		rust-version
+7 −0		src/bin/miri.rs
+3 −17		src/data_race.rs
+46 −6		src/diagnostics.rs
+12 −5		src/eval.rs
+46 −14		src/helpers.rs
+45 −18		src/machine.rs
+4 −8		src/shims/foreign_items.rs
+54 −6		src/shims/posix/fs.rs
+67 −32		src/shims/posix/sync.rs
+3 −1		src/shims/windows/dlsym.rs
+22 −10		src/shims/windows/sync.rs
+161 −112		src/stacked_borrows.rs
+274 −0		src/stacked_borrows/diagnostics.rs
+60 −0		src/sync.rs
+1 −1		src/thread.rs
+12 −0		tests/compile-fail/erroneous_const2.rs
+5 −0		tests/run-pass/hide_stdout.rs

Please sign in to comment.