1 file changed
+1
-1
lines changed- README.md+14-6
- rust-version+1-1
- src/fn_call.rs+29-22
- src/helpers.rs+12-12
- src/intrinsic.rs+3-3
- src/lib.rs+48-60
- src/operator.rs+33-23
- src/stacked_borrows.rs+477-516
- src/tls.rs+5-5
- test-cargo-miri/run-test.py+1-1
- test-cargo-miri/test.stdout.ref+4-3
- test-cargo-miri/test.stdout.ref2+1-1
- test-cargo-miri/tests/test.rs+19-2
- tests/compile-fail/getrandom.rs+2-2
- tests/compile-fail/ptr_eq_integer.rs+1-3
- tests/compile-fail/stacked_borrows/alias_through_mutation.rs+1-1
- tests/compile-fail/stacked_borrows/aliasing_mut1.rs+1-1
- tests/compile-fail/stacked_borrows/aliasing_mut2.rs+1-1
- tests/compile-fail/stacked_borrows/aliasing_mut3.rs+1-1
- tests/compile-fail/stacked_borrows/aliasing_mut4.rs+1-1
- tests/compile-fail/stacked_borrows/box_exclusive_violation1.rs+1-1
- tests/compile-fail/stacked_borrows/buggy_as_mut_slice.rs+1-1
- tests/compile-fail/stacked_borrows/buggy_split_at_mut.rs+1-1
- tests/compile-fail/stacked_borrows/deallocate_against_barrier.rs+1-1
- tests/compile-fail/stacked_borrows/illegal_read1.rs+1-1
- tests/compile-fail/stacked_borrows/illegal_read2.rs+1-1
- tests/compile-fail/stacked_borrows/illegal_read3.rs+1-1
- tests/compile-fail/stacked_borrows/illegal_read4.rs+1-1
- tests/compile-fail/stacked_borrows/illegal_read5.rs+1-1
- tests/compile-fail/stacked_borrows/illegal_read6.rs+8
- tests/compile-fail/stacked_borrows/illegal_write1.rs+1-1
- tests/compile-fail/stacked_borrows/illegal_write2.rs+1-1
- tests/compile-fail/stacked_borrows/illegal_write3.rs+1-1
- tests/compile-fail/stacked_borrows/illegal_write4.rs+1-1
- tests/compile-fail/stacked_borrows/illegal_write5.rs+1-1
- tests/compile-fail/stacked_borrows/invalidate_against_barrier1.rs+1-1
- tests/compile-fail/stacked_borrows/invalidate_against_barrier2.rs+1-1
- tests/compile-fail/stacked_borrows/load_invalid_mut.rs+1-1
- tests/compile-fail/stacked_borrows/load_invalid_shr.rs+1-1
- tests/compile-fail/stacked_borrows/mut_exclusive_violation1.rs+1-1
- tests/compile-fail/stacked_borrows/outdated_local.rs+1-1
- tests/compile-fail/stacked_borrows/pass_invalid_mut.rs+1-1
- tests/compile-fail/stacked_borrows/pass_invalid_shr.rs+1-1
- tests/compile-fail/stacked_borrows/pointer_smuggling.rs+1-1
- tests/compile-fail/stacked_borrows/return_invalid_mut.rs+1-1
- tests/compile-fail/stacked_borrows/return_invalid_mut_option.rs+1-1
- tests/compile-fail/stacked_borrows/return_invalid_mut_tuple.rs+1-1
- tests/compile-fail/stacked_borrows/return_invalid_shr.rs+1-1
- tests/compile-fail/stacked_borrows/return_invalid_shr_option.rs+1-1
- tests/compile-fail/stacked_borrows/return_invalid_shr_tuple.rs+1-1
- tests/compile-fail/stacked_borrows/shared_rw_borrows_are_weak1.rs+14
- tests/compile-fail/stacked_borrows/shared_rw_borrows_are_weak2.rs+14
- tests/compile-fail/stacked_borrows/shr_frozen_violation1.rs+2-5
- tests/compile-fail/stacked_borrows/static_memory_modification.rs+1-1
- tests/compile-fail/stacked_borrows/transmute-is-no-escape.rs+1-1
- tests/compile-fail/stacked_borrows/unescaped_local.rs+1-1
- tests/run-pass/hashmap.rs+5-4
- tests/run-pass/ptr_arith_offset.rs+1-1
- tests/run-pass/ptr_offset.rs+1-1
- tests/run-pass/refcell.rs+1-45
- tests/run-pass/regions-mock-trans.rs+2-2
- tests/run-pass/stacked-borrows/2phase.rs+20-6
- tests/run-pass/stacked-borrows/interior_mutability.rs+59
- tests/run-pass/stacked-borrows/stacked-borrows.rs+26
- tests/run-pass/vecs.rs+4
0 commit comments