Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
1 changed file
with
1 addition
and
1 deletion.
There are no files selected for viewing
Submodule miri
updated
22 files
+8 −4 | README.md | |
+1 −1 | rust-version | |
+5 −0 | src/bin/miri.rs | |
+3 −3 | src/data_race.rs | |
+4 −1 | src/eval.rs | |
+1 −0 | src/lib.rs | |
+2 −0 | src/machine.rs | |
+9 −3 | src/shims/env.rs | |
+132 −25 | src/shims/intrinsics.rs | |
+3 −2 | src/shims/posix/foreign_items.rs | |
+26 −15 | src/shims/posix/fs.rs | |
+16 −0 | tests/compile-fail/fs/unix_open_missing_required_mode.rs | |
+16 −0 | tests/compile-fail/fs/unix_open_too_many_args.rs | |
+1 −1 | tests/compile-fail/intrinsics/exact_div4.rs | |
+15 −0 | tests/compile-fail/intrinsics/simd-div-overflow.rs | |
+1 −1 | tests/compile-fail/intrinsics/unchecked_div1.rs | |
+12 −0 | tests/compile-fail/unaligned_pointers/unaligned_ptr4.rs | |
+0 −0 | tests/run-pass/available-parallelism.rs | |
+5 −0 | tests/run-pass/env-forward.rs | |
+56 −13 | tests/run-pass/fs.rs | |
+3 −0 | tests/run-pass/integer-ops.rs | |
+71 −13 | tests/run-pass/portable-simd.rs |