Update miri · Centril/rust@742e851

Commit

Update miri

Browse files

JohnTitor committed Jun 26, 2019

1 parent 8aa42ed commit 742e851

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

Please sign in to comment.