Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
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.
- Loading branch information