Skip to content

Commit

Permalink
update miri
Browse files Browse the repository at this point in the history
  • Loading branch information
@RalfJung
RalfJung committed Apr 18, 2019
1 parent be1dbaf commit fc0cfdb
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/tools/miri
Submodule miri updated 65 files
+14 −6 README.md
+1 −1 rust-version
+29 −22 src/fn_call.rs
+12 −12 src/helpers.rs
+3 −3 src/intrinsic.rs
+48 −60 src/lib.rs
+33 −23 src/operator.rs
+477 −516 src/stacked_borrows.rs
+5 −5 src/tls.rs
+1 −1 test-cargo-miri/run-test.py
+4 −3 test-cargo-miri/test.stdout.ref
+1 −1 test-cargo-miri/test.stdout.ref2
+19 −2 test-cargo-miri/tests/test.rs
+2 −2 tests/compile-fail/getrandom.rs
+1 −3 tests/compile-fail/ptr_eq_integer.rs
+1 −1 tests/compile-fail/stacked_borrows/alias_through_mutation.rs
+1 −1 tests/compile-fail/stacked_borrows/aliasing_mut1.rs
+1 −1 tests/compile-fail/stacked_borrows/aliasing_mut2.rs
+1 −1 tests/compile-fail/stacked_borrows/aliasing_mut3.rs
+1 −1 tests/compile-fail/stacked_borrows/aliasing_mut4.rs
+1 −1 tests/compile-fail/stacked_borrows/box_exclusive_violation1.rs
+1 −1 tests/compile-fail/stacked_borrows/buggy_as_mut_slice.rs
+1 −1 tests/compile-fail/stacked_borrows/buggy_split_at_mut.rs
+1 −1 tests/compile-fail/stacked_borrows/deallocate_against_barrier.rs
+1 −1 tests/compile-fail/stacked_borrows/illegal_read1.rs
+1 −1 tests/compile-fail/stacked_borrows/illegal_read2.rs
+1 −1 tests/compile-fail/stacked_borrows/illegal_read3.rs
+1 −1 tests/compile-fail/stacked_borrows/illegal_read4.rs
+1 −1 tests/compile-fail/stacked_borrows/illegal_read5.rs
+8 −0 tests/compile-fail/stacked_borrows/illegal_read6.rs
+1 −1 tests/compile-fail/stacked_borrows/illegal_write1.rs
+1 −1 tests/compile-fail/stacked_borrows/illegal_write2.rs
+1 −1 tests/compile-fail/stacked_borrows/illegal_write3.rs
+1 −1 tests/compile-fail/stacked_borrows/illegal_write4.rs
+1 −1 tests/compile-fail/stacked_borrows/illegal_write5.rs
+1 −1 tests/compile-fail/stacked_borrows/invalidate_against_barrier1.rs
+1 −1 tests/compile-fail/stacked_borrows/invalidate_against_barrier2.rs
+1 −1 tests/compile-fail/stacked_borrows/load_invalid_mut.rs
+1 −1 tests/compile-fail/stacked_borrows/load_invalid_shr.rs
+1 −1 tests/compile-fail/stacked_borrows/mut_exclusive_violation1.rs
+1 −1 tests/compile-fail/stacked_borrows/outdated_local.rs
+1 −1 tests/compile-fail/stacked_borrows/pass_invalid_mut.rs
+1 −1 tests/compile-fail/stacked_borrows/pass_invalid_shr.rs
+1 −1 tests/compile-fail/stacked_borrows/pointer_smuggling.rs
+1 −1 tests/compile-fail/stacked_borrows/return_invalid_mut.rs
+1 −1 tests/compile-fail/stacked_borrows/return_invalid_mut_option.rs
+1 −1 tests/compile-fail/stacked_borrows/return_invalid_mut_tuple.rs
+1 −1 tests/compile-fail/stacked_borrows/return_invalid_shr.rs
+1 −1 tests/compile-fail/stacked_borrows/return_invalid_shr_option.rs
+1 −1 tests/compile-fail/stacked_borrows/return_invalid_shr_tuple.rs
+14 −0 tests/compile-fail/stacked_borrows/shared_rw_borrows_are_weak1.rs
+14 −0 tests/compile-fail/stacked_borrows/shared_rw_borrows_are_weak2.rs
+2 −5 tests/compile-fail/stacked_borrows/shr_frozen_violation1.rs
+1 −1 tests/compile-fail/stacked_borrows/static_memory_modification.rs
+1 −1 tests/compile-fail/stacked_borrows/transmute-is-no-escape.rs
+1 −1 tests/compile-fail/stacked_borrows/unescaped_local.rs
+5 −4 tests/run-pass/hashmap.rs
+1 −1 tests/run-pass/ptr_arith_offset.rs
+1 −1 tests/run-pass/ptr_offset.rs
+1 −45 tests/run-pass/refcell.rs
+2 −2 tests/run-pass/regions-mock-trans.rs
+20 −6 tests/run-pass/stacked-borrows/2phase.rs
+59 −0 tests/run-pass/stacked-borrows/interior_mutability.rs
+26 −0 tests/run-pass/stacked-borrows/stacked-borrows.rs
+4 −0 tests/run-pass/vecs.rs

0 comments on commit fc0cfdb

Please sign in to comment.