2 files changed
+2
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
417 | 417 | | |
418 | 418 | | |
419 | 419 | | |
| 420 | + | |
420 | 421 | | |
421 | 422 | | |
422 | 423 | | |
| |||
- .github/workflows/ci.yml+1-1
- README.md+2-3
- cargo-miri/Cargo.lock+55-20
- cargo-miri/Cargo.toml+2-1
- cargo-miri/bin.rs-1.2k
- cargo-miri/src/arg.rs+134
- cargo-miri/src/main.rs+98
- cargo-miri/src/phases.rs+601
- cargo-miri/src/setup.rs+245
- cargo-miri/src/util.rs+314
- cargo-miri/src/version.rs
- ci.sh+3-3
- miri+4-2
- rust-version+1-1
- src/bin/miri.rs+48-28
- src/concurrency/data_race.rs+120-74
- src/eval.rs+15-10
- src/helpers.rs+58-23
- src/lib.rs+4-1
- src/machine.rs+4-5
- src/shims/env.rs+10-9
- src/shims/foreign_items.rs+28-10
- src/shims/intrinsics/atomic.rs+12-64
- src/shims/intrinsics/mod.rs+25-16
- src/shims/intrinsics/simd.rs+15-4
- src/shims/os_str.rs+19-4
- src/shims/time.rs+5-1
- src/shims/unix/foreign_items.rs+75-14
- src/shims/unix/fs.rs+258-142
- src/shims/unix/linux/sync.rs+2-2
- src/shims/unix/macos/foreign_items.rs+33
- src/shims/unix/mod.rs+3
- src/shims/windows/foreign_items.rs+1
- src/stacked_borrows/mod.rs+6-6
- src/sync.rs+4-3
- test-cargo-miri/run-test.py+1-1
- tests/fail/concurrency/read_only_atomic_cmpxchg.rs+11
- tests/fail/concurrency/read_only_atomic_cmpxchg.stderr+21
- tests/fail/concurrency/read_only_atomic_load.rs+13
- tests/fail/concurrency/read_only_atomic_load.stderr+21
- tests/fail/fs/close_stdout.rs+1-1
- tests/fail/fs/close_stdout.stderr+2-2
- tests/fail/fs/mkstemp_immutable_arg.rs+13
- tests/fail/fs/mkstemp_immutable_arg.stderr+20
- tests/fail/intrinsics/ptr_offset_from_unsigned_neg.rs-2
- tests/fail/intrinsics/ptr_offset_from_unsigned_neg.stderr+2-2
- tests/fail/issue-miri-2432.rs+19
- tests/fail/issue-miri-2432.stderr+15
- tests/panic/div-by-zero-2.rs
- tests/panic/div-by-zero-2.stderr
- tests/panic/overflowing-lsh-neg.rs
- tests/panic/overflowing-lsh-neg.stderr
- tests/panic/overflowing-rsh-1.rs
- tests/panic/overflowing-rsh-1.stderr
- tests/panic/overflowing-rsh-2.rs
- tests/panic/overflowing-rsh-2.stderr
- tests/panic/panic1.rs
- tests/panic/panic1.stderr
- tests/panic/panic2.rs
- tests/panic/panic2.stderr
- tests/panic/panic3.rs
- tests/panic/panic3.stderr
- tests/panic/panic4.rs
- tests/panic/panic4.stderr
- tests/panic/unsupported_foreign_function.rs
- tests/panic/unsupported_foreign_function.stderr
- tests/panic/unsupported_syscall.rs
- tests/panic/unsupported_syscall.stderr
- tests/pass/backtrace/backtrace-global-alloc.rs+1-2
- tests/pass/backtrace/backtrace-std.rs+1-2
- tests/pass/concurrency/linux-futex.rs+3-3
- tests/pass/env/args.rs
- tests/pass/env/args.stdout
- tests/pass/env/current_dir.rs
- tests/pass/env/current_dir_with_isolation.rs
- tests/pass/env/current_dir_with_isolation.stderr
- tests/pass/env/current_exe.rs+9
- tests/pass/env/home.rs+9
- tests/pass/env/var-exclude.rs
- tests/pass/env/var-forward.rs
- tests/pass/env/var-without-isolation.rs
- tests/pass/env/var.rs
- tests/pass/env/var.stdout
- tests/pass/fs.rs+29
- tests/pass/integer-ops.rs+8-6
- tests/pass/intrinsics-math.rs+54-23
- tests/pass/libc.rs+130-4
- tests/pass/portable-simd.rs+10
- tests/pass/sleep_long.rs+18
- ui_test/src/lib.rs+8-3
0 commit comments