This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
1 file changed
+1
-1
lines changed- Cargo.toml+4-4
- README.md+2
- rust-version+1-1
- src/bin/miri.rs+1-2
- src/diagnostics.rs+2-1
- src/eval.rs+9-8
- src/helpers.rs+49-40
- src/intptrcast.rs+2-6
- src/machine.rs+1-1
- src/shims/dlsym.rs+2-2
- src/shims/env.rs+4-3
- src/shims/foreign_items.rs+21-44
- src/shims/foreign_items/posix.rs+16-24
- src/shims/foreign_items/posix/linux.rs+3-5
- src/shims/foreign_items/posix/macos.rs+1-1
- src/shims/foreign_items/windows.rs+4-11
- src/shims/fs.rs+33-33
- src/shims/intrinsics.rs+10-73
- src/shims/mod.rs+13-8
- src/shims/time.rs+5-5
- src/shims/tls.rs+12-6
- 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+1-1
- tests/compile-fail/cast_fn_ptr1.rs+2-2
- 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+1-1
- tests/compile-fail/cast_fn_ptr5.rs+2-2
- 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+1-1
- tests/compile-fail/invalid_zero_init.rs+6
- 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+1-1
- tests/compile-fail/uninit_uninhabited_type.rs+7
- tests/compile-fail/validity/dangling_ref1.rs+1-1
- tests/compile-fail/validity/dangling_ref2.rs+1-1
- tests/compile-fail/validity/dangling_ref3.rs+10
- tests/compile-fail/wild_pointer_deref.rs+1-1
- tests/compile-fail/zst2.rs+1-1
- tests/compiletest.rs+21-36
- tests/run-pass/panic/catch_panic.rs-37
- tests/run-pass/panic/catch_panic.stderr+2-18
- travis.sh+1
0 commit comments