forked from rust-lang/rust
-
Notifications
You must be signed in to change notification settings - Fork 7
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Auto merge of rust-lang#70695 - RalfJung:miri, r=RalfJung
update miri Fixes rust-lang#70664 r? @ghost Cc @oli-obk
- Loading branch information
Showing
1 changed file
with
1 addition
and
1 deletion.
There are no files selected for viewing
Submodule miri
updated
31 files
+1 −0 | .appveyor.yml | |
+1 −0 | .travis.yml | |
+4 −1 | miri | |
+1 −1 | rust-version | |
+6 −9 | src/diagnostics.rs | |
+1 −1 | src/eval.rs | |
+29 −26 | src/helpers.rs | |
+1 −2 | src/intptrcast.rs | |
+5 −11 | src/machine.rs | |
+2 −5 | src/operator.rs | |
+1 −1 | src/range_map.rs | |
+4 −6 | src/shims/env.rs | |
+2 −3 | src/shims/foreign_items.rs | |
+1 −1 | src/shims/foreign_items/posix.rs | |
+10 −3 | src/shims/foreign_items/windows.rs | |
+1 −1 | src/shims/fs.rs | |
+3 −8 | src/shims/intrinsics.rs | |
+1 −1 | src/shims/os_str.rs | |
+4 −5 | src/shims/panic.rs | |
+31 −1 | src/shims/time.rs | |
+2 −2 | src/shims/tls.rs | |
+2 −1 | src/stacked_borrows.rs | |
+3 −8 | tests/compile-fail/deallocate-bad-alignment.rs | |
+3 −8 | tests/compile-fail/deallocate-bad-size.rs | |
+4 −9 | tests/compile-fail/deallocate-twice.rs | |
+2 −2 | tests/compile-fail/never_transmute_void.rs | |
+3 −8 | tests/compile-fail/reallocate-bad-size.rs | |
+4 −9 | tests/compile-fail/reallocate-change-alloc.rs | |
+4 −9 | tests/compile-fail/reallocate-dangling.rs | |
+9 −8 | tests/run-pass/heap_allocator.rs | |
+28 −6 | tests/run-pass/time.rs |