2 files changed
+5
-19
lines changed+4-18
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2365 | 2365 |
| |
2366 | 2366 |
| |
2367 | 2367 |
| |
2368 |
| - | |
2369 |
| - | |
2370 |
| - | |
2371 |
| - | |
2372 |
| - | |
2373 |
| - | |
2374 |
| - | |
2375 |
| - | |
2376 |
| - | |
2377 |
| - | |
2378 |
| - | |
2379 |
| - | |
2380 |
| - | |
2381 |
| - | |
2382 | 2368 |
| |
2383 | 2369 |
| |
2384 | 2370 |
| |
| |||
2477 | 2463 |
| |
2478 | 2464 |
| |
2479 | 2465 |
| |
2480 |
| - | |
| 2466 | + | |
2481 | 2467 |
| |
2482 | 2468 |
| |
2483 | 2469 |
| |
| |||
3700 | 3686 |
| |
3701 | 3687 |
| |
3702 | 3688 |
| |
3703 |
| - | |
| 3689 | + | |
3704 | 3690 |
| |
3705 | 3691 |
| |
3706 | 3692 |
| |
| |||
3798 | 3784 |
| |
3799 | 3785 |
| |
3800 | 3786 |
| |
3801 |
| - | |
| 3787 | + | |
3802 | 3788 |
| |
3803 | 3789 |
| |
3804 | 3790 |
| |
| |||
4354 | 4340 |
| |
4355 | 4341 |
| |
4356 | 4342 |
| |
4357 |
| - | |
| 4343 | + | |
4358 | 4344 |
| |
4359 | 4345 |
| |
4360 | 4346 |
| |
|
- .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