update miri · rust-lang/rust@e583a5c

Commit

update miri

Browse files

RalfJung committed May 7, 2020

1 parent a08c473 commit e583a5c

src/tools/miri

Submodule miri updated 29 files

+1 −0		README.md
+1 −1		rust-version
+1 −1		src/diagnostics.rs
+1 −1		src/eval.rs
+10 −1		src/helpers.rs
+3 −0		src/lib.rs
+4 −2		src/shims/dlsym.rs
+59 −37		src/shims/foreign_items.rs
+127 −73		src/shims/foreign_items/posix.rs
+43 −24		src/shims/foreign_items/posix/linux.rs
+40 −14		src/shims/foreign_items/posix/macos.rs
+94 −43		src/shims/foreign_items/windows.rs
+21 −13		src/shims/fs.rs
+90 −56		src/shims/intrinsics.rs
+3 −1		src/shims/mod.rs
+7 −4		src/shims/panic.rs
+14 −0		src/shims/thread.rs
+11 −11		src/thread.rs
+12 −0		tests/compile-fail/check_arg_count_too_few_args.rs
+12 −0		tests/compile-fail/check_arg_count_too_many_args.rs
+1 −1		tests/compile-fail/issue-miri-1112.rs
+1 −1		tests/compile-fail/validity/dangling_ref1.rs
+1 −1		tests/compile-fail/validity/invalid_wide_raw.rs
+21 −0		tests/run-pass/concurrency/simple.rs
+2 −0		tests/run-pass/concurrency/simple.stderr
+112 −1		tests/run-pass/float.rs
+3 −1		tests/run-pass/sync_singlethread.rs
+1 −0		tests/run-pass/transmute_fat2.rs
+1 −1		tests/run-pass/transmute_fat2.stderr

Please sign in to comment.