diff options
| author | Zachary S <zasample18+github@gmail.com> | 2024-06-20 23:19:18 -0500 |
|---|---|---|
| committer | Zachary S <zasample18+github@gmail.com> | 2024-06-20 23:19:18 -0500 |
| commit | c36fdeb9a3da04839e0892e1351286881c848e39 (patch) | |
| tree | a62a0345fe1e448851389f03be4b2df467148da0 /compiler/rustc_pattern_analysis/src | |
| parent | bff35313972b0d3e248a39cf5a2d03d916ba56d2 (diff) | |
| download | rust-c36fdeb9a3da04839e0892e1351286881c848e39.tar.gz rust-c36fdeb9a3da04839e0892e1351286881c848e39.zip | |
Don't perform mitigation for thread-unsafe libc::exit under Miri.
1. Miri's exit is thread-safe 2. Miri doesn't (yet) support `libc::gettid`, used in the implementation of the mitigation on Linux.
Diffstat (limited to 'compiler/rustc_pattern_analysis/src')
0 files changed, 0 insertions, 0 deletions