Skip to content

Commit

Permalink
update miri
Browse files Browse the repository at this point in the history
  • Loading branch information
@RalfJung
RalfJung committed Mar 19, 2020
1 parent 57e1da5 commit 898ff8d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/tools/miri
Submodule miri updated 95 files
+4 −4 Cargo.toml
+2 −0 README.md
+1 −1 rust-version
+1 −2 src/bin/miri.rs
+2 −1 src/diagnostics.rs
+9 −8 src/eval.rs
+49 −40 src/helpers.rs
+2 −6 src/intptrcast.rs
+1 −1 src/machine.rs
+2 −2 src/shims/dlsym.rs
+4 −3 src/shims/env.rs
+21 −44 src/shims/foreign_items.rs
+16 −24 src/shims/foreign_items/posix.rs
+3 −5 src/shims/foreign_items/posix/linux.rs
+1 −1 src/shims/foreign_items/posix/macos.rs
+4 −11 src/shims/foreign_items/windows.rs
+33 −33 src/shims/fs.rs
+10 −73 src/shims/intrinsics.rs
+13 −8 src/shims/mod.rs
+5 −5 src/shims/time.rs
+12 −6 src/shims/tls.rs
+1 −1 tests/compile-fail/alignment.rs
+1 −1 tests/compile-fail/atomic_unaligned.rs
+1 −1 tests/compile-fail/cast_box_int_to_fn_ptr.rs
+2 −2 tests/compile-fail/cast_fn_ptr1.rs
+1 −1 tests/compile-fail/cast_fn_ptr2.rs
+1 −1 tests/compile-fail/cast_fn_ptr3.rs
+1 −1 tests/compile-fail/cast_fn_ptr4.rs
+2 −2 tests/compile-fail/cast_fn_ptr5.rs
+1 −1 tests/compile-fail/cast_int_to_fn_ptr.rs
+1 −1 tests/compile-fail/copy_unaligned.rs
+1 −1 tests/compile-fail/dangling_pointer_deref.rs
+1 −1 tests/compile-fail/dangling_zst_deref.rs
+1 −1 tests/compile-fail/deallocate-bad-alignment.rs
+1 −1 tests/compile-fail/deallocate-bad-size.rs
+1 −1 tests/compile-fail/deallocate-twice.rs
+1 −1 tests/compile-fail/deref-invalid-ptr.rs
+1 −1 tests/compile-fail/deref-partially-dangling.rs
+1 −1 tests/compile-fail/deref_fn_ptr.rs
+1 −1 tests/compile-fail/environ-gets-deallocated.rs
+1 −1 tests/compile-fail/exact_div2.rs
+1 −1 tests/compile-fail/exact_div3.rs
+1 −1 tests/compile-fail/execute_memory.rs
+1 −1 tests/compile-fail/fn_ptr_offset.rs
+1 −1 tests/compile-fail/generator-pinned-moved.rs
+1 −1 tests/compile-fail/intptrcast_alignment_check.rs
+1 −1 tests/compile-fail/invalid_bool.rs
+1 −1 tests/compile-fail/invalid_char.rs
+6 −0 tests/compile-fail/invalid_zero_init.rs
+1 −1 tests/compile-fail/modifying_constants.rs
+1 −1 tests/compile-fail/out_of_bounds_ptr_1.rs
+1 −1 tests/compile-fail/out_of_bounds_read1.rs
+1 −1 tests/compile-fail/out_of_bounds_read2.rs
+1 −1 tests/compile-fail/overflowing-unchecked-rsh.rs
+1 −1 tests/compile-fail/overwriting_part_of_relocation_makes_the_rest_undefined.rs
+1 −1 tests/compile-fail/pointer_byte_read.rs
+1 −1 tests/compile-fail/ptr_offset_int_plus_int.rs
+1 −1 tests/compile-fail/ptr_offset_int_plus_ptr.rs
+1 −1 tests/compile-fail/ptr_offset_ptr_plus_0.rs
+1 −1 tests/compile-fail/rc_as_raw.rs
+1 −1 tests/compile-fail/reading_half_a_pointer.rs
+1 −1 tests/compile-fail/reallocate-bad-size.rs
+1 −1 tests/compile-fail/reallocate-change-alloc.rs
+1 −1 tests/compile-fail/reallocate-dangling.rs
+1 −1 tests/compile-fail/reference_to_packed.rs
+1 −1 tests/compile-fail/stack_free.rs
+1 −1 tests/compile-fail/stacked_borrows/issue-miri-1050-2.rs
+1 −1 tests/compile-fail/static_memory_modification1.rs
+1 −1 tests/compile-fail/static_memory_modification2.rs
+1 −1 tests/compile-fail/static_memory_modification3.rs
+1 −1 tests/compile-fail/storage_dead_dangling.rs
+1 −1 tests/compile-fail/transmute-pair-undef.rs
+1 −1 tests/compile-fail/transmute_fat1.rs
+1 −1 tests/compile-fail/unaligned_ptr1.rs
+1 −1 tests/compile-fail/unaligned_ptr2.rs
+1 −1 tests/compile-fail/unaligned_ptr3.rs
+1 −1 tests/compile-fail/unaligned_ptr_zst.rs
+1 −1 tests/compile-fail/unchecked_add1.rs
+1 −1 tests/compile-fail/unchecked_add2.rs
+1 −1 tests/compile-fail/unchecked_div1.rs
+1 −1 tests/compile-fail/unchecked_mul1.rs
+1 −1 tests/compile-fail/unchecked_mul2.rs
+1 −1 tests/compile-fail/unchecked_sub1.rs
+1 −1 tests/compile-fail/unchecked_sub2.rs
+1 −1 tests/compile-fail/undefined_byte_read.rs
+7 −0 tests/compile-fail/uninit_uninhabited_type.rs
+1 −1 tests/compile-fail/validity/dangling_ref1.rs
+1 −1 tests/compile-fail/validity/dangling_ref2.rs
+10 −0 tests/compile-fail/validity/dangling_ref3.rs
+1 −1 tests/compile-fail/wild_pointer_deref.rs
+1 −1 tests/compile-fail/zst2.rs
+21 −36 tests/compiletest.rs
+0 −37 tests/run-pass/panic/catch_panic.rs
+2 −18 tests/run-pass/panic/catch_panic.stderr
+1 −0 travis.sh

0 comments on commit 898ff8d

Please sign in to comment.