Skip to content

Commit

Permalink
Rollup merge of rust-lang#62105 - JohnTitor:update-miri, r=RalfJung
Browse files Browse the repository at this point in the history 
Update miri

Fixes rust-lang#62101

r? @RalfJung
  • Loading branch information
@Centril
Centril authored Jun 28, 2019
2 parents a916ff6 + 742e851 commit af5cb09
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/tools/miri
Submodule miri updated 28 files
+18 −0 README.md
+1 −1 rust-version
+4 −3 src/fn_call.rs
+100 −0 src/intptrcast.rs
+9 −6 src/intrinsic.rs
+45 −17 src/lib.rs
+51 −0 src/memory.rs
+41 −13 src/operator.rs
+23 −23 src/stacked_borrows.rs
+10 −0 tests/compile-fail/intptrcast_cast_int_to_fn_ptr.rs
+6 −0 tests/compile-fail/intptrcast_null_pointer_deref.rs
+7 −0 tests/compile-fail/intptrcast_wild_pointer_deref.rs
+1 −1 tests/compile-fail/ptr_eq_dangling.rs
+1 −1 tests/compile-fail/ptr_eq_out_of_bounds.rs
+2 −0 tests/compile-fail/rc_as_raw.rs
+9 −0 tests/compile-fail/unaligned_ptr1.rs
+10 −0 tests/compile-fail/unaligned_ptr2.rs
+2 −2 tests/compile-fail/unaligned_ptr3.rs
+0 −9 tests/compile-fail/unaligned_ptr_cast1.rs
+3 −0 tests/compile-fail/unaligned_ptr_zst.rs
+1 −1 tests/compile-fail/validity/dangling_ref1.rs
+1 −1 tests/compile-fail/validity/dangling_ref2.rs
+0 −4 tests/compile-fail/zst.rs
+5 −0 tests/compile-fail/zst1.rs
+12 −0 tests/compile-fail/zst2.rs
+15 −0 tests/compile-fail/zst3.rs
+9 −0 tests/run-pass/intptrcast.rs
+0 −9 tests/run-pass/zst.rs

0 comments on commit af5cb09

Please sign in to comment.