Auto merge of #68258 - RalfJung:miri, r=RalfJung · rust-lang/rust@117ceeb

Commit

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

update miri

Fixes #68081

r? @ghost Cc @oli-obk

bors committed Jan 16, 2020

2 parents 9fe05e9 + d9d7877 commit 117ceeb

src/tools/miri

Submodule miri updated 14 files

+5 −0		.gitattributes
+1 −1		rust-version
+108 −0		src/diagnostics.rs
+5 −62		src/eval.rs
+2 −2		src/helpers.rs
+4 −0		src/lib.rs
+10 −0		src/shims/foreign_items.rs
+55 −4		src/shims/fs.rs
+2 −2		src/shims/intrinsics.rs
+1 −1		src/shims/panic.rs
+11 −18		src/stacked_borrows.rs
+19 −1		tests/run-pass/fs.rs
+45 −0		tests/run-pass/panic/std-panic-locations.rs
+6 −6		travis.sh

Please sign in to comment.