submodules: Update miri · tbu-/rust@f4ed8a2

Commit

submodules: Update miri

Browse files

tesuji committed Aug 15, 2019

1 parent f7af19c commit f4ed8a2

src/tools/miri

Submodule miri updated 29 files

+3 −0		README.md
+6 −1		benches/helpers/miri_helper.rs
+1 −1		miri
+1 −1		rust-version
+12 −2		src/bin/miri-rustc-tests.rs
+9 −5		src/bin/miri.rs
+11 −5		src/eval.rs
+1 −0		src/lib.rs
+9 −4		src/machine.rs
+1 −1		src/operator.rs
+116 −0		src/shims/env.rs
+26 −75		src/shims/foreign_items.rs
+1 −0		src/shims/mod.rs
+4 −4		src/shims/tls.rs
+7 −0		tests/compile-fail/deref-invalid-ptr.rs
+8 −0		tests/compile-fail/deref-partially-dangling.rs
+3 −9		tests/compile-fail/intptrcast_alignment_check.rs
+0 −0		tests/compile-fail/stacked_borrows/deallocate_against_barrier1.rs
+17 −0		tests/compile-fail/stacked_borrows/deallocate_against_barrier2.rs
+1 −2		tests/compile-fail/storage_dead_dangling.rs
+3 −0		tests/compiletest.rs
+32 −28		tests/run-pass/async-fn.rs
+6 −0		tests/run-pass/communication.rs
+2 −0		tests/run-pass/env.rs
+14 −1		tests/run-pass/generator.rs
+10 −4		tests/run-pass/intrinsics-math.rs
+0 −12		tests/run-pass/ref-invalid-ptr.rs
+0 −11		tests/run-pass/stacked-borrows/stacked-borrows.rs
+1 −0		travis.sh

Please sign in to comment.