Commit 3305b66
- .github/workflows/ci.yml+3-1
- .gitignore+4
- CONTRIBUTING.md+4-2
- README.md+4-2
- bench-cargo-miri/backtraces/Cargo.lock+94
- bench-cargo-miri/backtraces/Cargo.toml+9
- bench-cargo-miri/backtraces/src/main.rs+29
- bench-cargo-miri/mse/Cargo.lock+7
- bench-cargo-miri/serde1/Cargo.lock+89
- bench-cargo-miri/unicode/Cargo.lock+16
- bench-cargo-miri/unicode/Cargo.toml+9
- bench-cargo-miri/unicode/src/main.rs+20
- rust-version+1-1
- src/bin/miri.rs+8
- src/concurrency/data_race.rs+1-1
- src/concurrency/weak_memory.rs+5-5
- src/diagnostics.rs+7-7
- src/eval.rs+1-1
- src/helpers.rs+33-4
- src/lib.rs+1
- src/shims/dlsym.rs+3-1
- src/shims/env.rs+30-26
- src/shims/foreign_items.rs+2-2
- src/shims/unix/foreign_items.rs+6
- src/shims/windows/foreign_items.rs+5
- src/stacked_borrows.rs+1-8
- tests/compiletest.rs+1-1
- tests/fail/box-cell-alias.stderr+1-1
- tests/fail/stacked_borrows/alias_through_mutation.stderr+1-1
- tests/fail/stacked_borrows/aliasing_mut1.stderr+1-1
- tests/fail/stacked_borrows/aliasing_mut2.stderr+1-1
- tests/fail/stacked_borrows/aliasing_mut3.stderr+1-1
- tests/fail/stacked_borrows/aliasing_mut4.stderr+1-1
- tests/fail/stacked_borrows/box_exclusive_violation1.stderr+1-1
- tests/fail/stacked_borrows/buggy_as_mut_slice.stderr+1-1
- tests/fail/stacked_borrows/buggy_split_at_mut.stderr+1-1
- tests/fail/stacked_borrows/deallocate_against_barrier1.stderr+1-1
- tests/fail/stacked_borrows/deallocate_against_barrier2.stderr+1-1
- tests/fail/stacked_borrows/illegal_read1.stderr+1-1
- tests/fail/stacked_borrows/illegal_read2.stderr+1-1
- tests/fail/stacked_borrows/illegal_read3.stderr+1-1
- tests/fail/stacked_borrows/illegal_read4.stderr+1-1
- tests/fail/stacked_borrows/illegal_read5.stderr+1-1
- tests/fail/stacked_borrows/illegal_read6.stderr+1-1
- tests/fail/stacked_borrows/illegal_read7.stderr+1-1
- tests/fail/stacked_borrows/illegal_read8.stderr+1-1
- tests/fail/stacked_borrows/illegal_write1.stderr+1-1
- tests/fail/stacked_borrows/illegal_write2.stderr+1-1
- tests/fail/stacked_borrows/illegal_write3.stderr+1-1
- tests/fail/stacked_borrows/illegal_write4.stderr+1-1
- tests/fail/stacked_borrows/illegal_write5.stderr+1-1
- tests/fail/stacked_borrows/illegal_write6.stderr+1-1
- tests/fail/stacked_borrows/interior_mut1.stderr+1-1
- tests/fail/stacked_borrows/interior_mut2.stderr+1-1
- tests/fail/stacked_borrows/invalidate_against_barrier1.stderr+1-1
- tests/fail/stacked_borrows/invalidate_against_barrier2.stderr+1-1
- tests/fail/stacked_borrows/load_invalid_mut.stderr+1-1
- tests/fail/stacked_borrows/load_invalid_shr.stderr+1-1
- tests/fail/stacked_borrows/mut_exclusive_violation1.stderr+1-1
- tests/fail/stacked_borrows/mut_exclusive_violation2.stderr+1-1
- tests/fail/stacked_borrows/outdated_local.stderr+1-1
- tests/fail/stacked_borrows/pass_invalid_mut.stderr+1-1
- tests/fail/stacked_borrows/pass_invalid_shr.stderr+1-1
- tests/fail/stacked_borrows/pointer_smuggling.stderr+1-1
- tests/fail/stacked_borrows/raw_tracking.stderr+1-1
- tests/fail/stacked_borrows/return_invalid_mut.stderr+1-1
- tests/fail/stacked_borrows/return_invalid_mut_option.stderr+1-1
- tests/fail/stacked_borrows/return_invalid_mut_tuple.stderr+1-1
- tests/fail/stacked_borrows/return_invalid_shr.stderr+1-1
- tests/fail/stacked_borrows/return_invalid_shr_option.stderr+1-1
- tests/fail/stacked_borrows/return_invalid_shr_tuple.stderr+1-1
- tests/fail/stacked_borrows/shared_rw_borrows_are_weak1.stderr+1-1
- tests/fail/stacked_borrows/shared_rw_borrows_are_weak2.stderr+1-1
- tests/fail/stacked_borrows/shr_frozen_violation1.stderr+1-1
- tests/fail/stacked_borrows/transmute-is-no-escape.stderr+1-1
- tests/fail/stacked_borrows/unescaped_local.stderr+1-1
- tests/fail/stacked_borrows/unescaped_static.stderr+1-1
- tests/fail/stacked_borrows/vtable.rs+19
- tests/fail/stacked_borrows/vtable.stderr+25
- tests/fail/stacked_borrows/zst_slice.stderr+1-1
- tests/fail/validity/invalid_enum_tag_256variants_uninit.stderr+1
- tests/pass/getpid.rs+9
- tests/pass/move-uninit-primval.stderr+1
- tests/pass/uninit_number_ignored.stderr+1
- ui_test/src/lib.rs+4-7
0 commit comments