2 files changed
+5
-19
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
2330 | 2330 | | |
2331 | 2331 | | |
2332 | 2332 | | |
2333 | | - | |
2334 | | - | |
2335 | | - | |
2336 | | - | |
2337 | | - | |
2338 | | - | |
2339 | | - | |
2340 | | - | |
2341 | | - | |
2342 | | - | |
2343 | | - | |
2344 | | - | |
2345 | | - | |
2346 | | - | |
2347 | 2333 | | |
2348 | 2334 | | |
2349 | 2335 | | |
| |||
2442 | 2428 | | |
2443 | 2429 | | |
2444 | 2430 | | |
2445 | | - | |
| 2431 | + | |
2446 | 2432 | | |
2447 | 2433 | | |
2448 | 2434 | | |
| |||
3652 | 3638 | | |
3653 | 3639 | | |
3654 | 3640 | | |
3655 | | - | |
| 3641 | + | |
3656 | 3642 | | |
3657 | 3643 | | |
3658 | 3644 | | |
| |||
3750 | 3736 | | |
3751 | 3737 | | |
3752 | 3738 | | |
3753 | | - | |
| 3739 | + | |
3754 | 3740 | | |
3755 | 3741 | | |
3756 | 3742 | | |
| |||
4306 | 4292 | | |
4307 | 4293 | | |
4308 | 4294 | | |
4309 | | - | |
| 4295 | + | |
4310 | 4296 | | |
4311 | 4297 | | |
4312 | 4298 | | |
| |||
- .github/workflows/ci.yml+11-26
- Cargo.lock+2-2
- Cargo.toml+1-1
- README.md+2-4
- cargo-miri/bin.rs+4-2
- miri+8-1
- rust-version+1-1
- rustup-toolchain+1-1
- src/diagnostics.rs+4-4
- src/intptrcast.rs+9-9
- src/lib.rs+6-4
- src/machine.rs+21-23
- src/shims/unix/linux/sync.rs-1
- src/stacked_borrows.rs+284-101
- src/stacked_borrows/diagnostics.rs+17-13
- tests/fail/abort-terminator.rs+1-1
- tests/fail/abort-terminator.stderr+1
- tests/fail/concurrency/too_few_args.rs+1-2
- tests/fail/concurrency/too_many_args.rs+1-2
- tests/fail/concurrency/unwind_top_of_stack.rs+1-1
- tests/fail/concurrency/unwind_top_of_stack.stderr+1
- tests/fail/intrinsics/overflowing-unchecked-rsh.rs+1-2
- tests/fail/intrinsics/uninit_uninhabited_type.rs+1-1
- tests/fail/intrinsics/zero_fn_ptr.rs+1-2
- tests/fail/panic/bad_unwind.rs+1-1
- tests/fail/provenance/permissive_provenance_transmute.rs+1-1
- tests/fail/provenance/ptr_int_unexposed.rs+1-1
- tests/fail/stacked_borrows/deallocate_against_barrier2.rs+16
- tests/fail/stacked_borrows/deallocate_against_barrier2.stderr+38
- tests/fail/stacked_borrows/exposed_only_ro.rs+12
- tests/fail/stacked_borrows/exposed_only_ro.stderr+18
- tests/fail/stacked_borrows/illegal_read_despite_exposed1.rs+17
- tests/fail/stacked_borrows/illegal_read_despite_exposed1.stderr+18
- tests/fail/stacked_borrows/illegal_read_despite_exposed2.rs+20
- tests/fail/stacked_borrows/illegal_read_despite_exposed2.stderr+18
- tests/fail/stacked_borrows/illegal_write_despite_exposed1.rs+16
- tests/fail/stacked_borrows/illegal_write_despite_exposed1.stderr+18
- tests/fail/sync/libc_pthread_rwlock_read_write_deadlock_single_thread.rs+1-2
- tests/fail/sync/libc_pthread_rwlock_write_read_deadlock_single_thread.rs+1-2
- tests/fail/sync/libc_pthread_rwlock_write_write_deadlock_single_thread.rs+1-2
- tests/fail/transmute_fat1.rs+9-6
- tests/fail/transmute_fat1.stderr+2-2
- tests/fail/unaligned_pointers/alignment.rs+6-6
- tests/fail/unaligned_pointers/alignment.stderr+2-2
- tests/pass/concurrency/mutex_leak.rs+9
- tests/pass/concurrency/sync.rs+3-48
- tests/pass/concurrency/sync_nopreempt.rs+48-1
- tests/pass/ptr_int_from_exposed.rs+1-1
- tests/pass/stacked-borrows/int-to-ptr.rs+73-3
- ui_test/src/lib.rs+1-18
- ui_test/src/rustc_stderr.rs+1-1
0 commit comments