1 file changed
+1
-1
lines changed- .github/workflows/ci.yml+1-1
- ci.sh+3-4
- rust-version+1-1
- src/data_race.rs+57-23
- src/shims/intrinsics.rs+399-106
- tests/compile-fail/data_race/dealloc_read_race_stack.rs+2-3
- tests/compile-fail/data_race/dealloc_read_race_stack_drop.rs-52
- tests/compile-fail/data_race/dealloc_write_race_stack.rs+2-3
- tests/compile-fail/data_race/dealloc_write_race_stack_drop.rs-53
- tests/compile-fail/sync/libc_pthread_rwlock_read_write_deadlock_single_thread.rs+2-1
- tests/compile-fail/sync/libc_pthread_rwlock_write_read_deadlock_single_thread.rs+2-1
- tests/compile-fail/sync/libc_pthread_rwlock_write_write_deadlock_single_thread.rs+2-1
- tests/run-pass/atomic.rs+14
0 commit comments