2 files changed
+5
-19
lines changed+4-18
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