1 file changed
+1
-1
lines changed- Cargo.lock+60-55
- README.md+2-2
- cargo-miri/Cargo.lock+40-32
- rust-version+1-1
- src/data_race.rs+106-25
- src/machine.rs+13-1
- src/shims/intrinsics.rs-5
- test-cargo-miri/Cargo.lock+14-14
- test-cargo-miri/run-test.py+15-10
- test-cargo-miri/run.args.stderr.ref
- test-cargo-miri/run.args.stdout.ref
- test-cargo-miri/run.default.stderr.ref
- test-cargo-miri/run.default.stdout.ref
- test-cargo-miri/run.subcrate.stderr.ref
- test-cargo-miri/run.subcrate.stdout.ref
- test-cargo-miri/test.bin-target.stdout.ref
- test-cargo-miri/test.default.stdout.ref
- test-cargo-miri/test.filter.stdout.ref
- test-cargo-miri/test.stderr-empty.ref
- test-cargo-miri/test.stderr-rustdoc.ref
- test-cargo-miri/test.subcrate.stdout.ref
- test-cargo-miri/test.test-target.stdout.ref
- tests/compile-fail/box-cell-alias.rs+18
- tests/compile-fail/data_race/alloc_read_race.rs+48
- tests/compile-fail/data_race/alloc_write_race.rs+50
- tests/compile-fail/data_race/atomic_read_na_write_race1.rs+1-1
- tests/compile-fail/data_race/atomic_read_na_write_race2.rs+1-1
- tests/compile-fail/data_race/atomic_write_na_read_race1.rs+1-1
- tests/compile-fail/data_race/atomic_write_na_read_race2.rs+1-1
- tests/compile-fail/data_race/atomic_write_na_write_race1.rs+1-1
- tests/compile-fail/data_race/atomic_write_na_write_race2.rs+1-1
- tests/compile-fail/data_race/dangling_thread_async_race.rs+3-3
- tests/compile-fail/data_race/dangling_thread_race.rs+3-3
- tests/compile-fail/data_race/dealloc_read_race1.rs+32
- tests/compile-fail/data_race/dealloc_read_race2.rs+34
- tests/compile-fail/data_race/dealloc_read_race_stack.rs+52
- tests/compile-fail/data_race/dealloc_read_race_stack_drop.rs+52
- tests/compile-fail/data_race/dealloc_write_race1.rs+31
- tests/compile-fail/data_race/dealloc_write_race2.rs+33
- tests/compile-fail/data_race/dealloc_write_race_stack.rs+52
- tests/compile-fail/data_race/dealloc_write_race_stack_drop.rs+53
- tests/compile-fail/data_race/enable_after_join_to_main.rs+1-1
- tests/compile-fail/data_race/read_write_race.rs+1-1
- tests/compile-fail/data_race/read_write_race_stack.rs+57
- tests/compile-fail/data_race/relax_acquire_race.rs+1-1
- tests/compile-fail/data_race/release_seq_race.rs+3-3
- tests/compile-fail/data_race/release_seq_race_same_thread.rs+1-1
- tests/compile-fail/data_race/rmw_race.rs+1-1
- tests/compile-fail/data_race/write_write_race.rs+1-1
- tests/compile-fail/data_race/write_write_race_stack.rs+57
- tests/run-pass/concurrency/concurrent_caller_location.rs+19
- tests/run-pass/concurrency/concurrent_caller_location.stderr+2
- tests/run-pass/concurrency/issue1643.rs+16
- tests/run-pass/concurrency/issue1643.stderr+2
- tests/run-pass/dyn-lcsit.rs+1-1
- tests/run-pass/intrinsics.rs+6-2
- tests/run-pass/leak-in-static.rs+4
- tests/run-pass/rc.rs+7-1
0 commit comments