diff options
| author | bors <bors@rust-lang.org> | 2024-07-24 10:17:55 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-07-24 10:17:55 +0000 |
| commit | 12cb742e8258d32afefe304a8c2402a56d4a05ee (patch) | |
| tree | 3b682c3656192d814d8aca44da9b7c7e8b97c1e6 /compiler/rustc_codegen_llvm/src/errors.rs | |
| parent | 0b22f0c13d3151622200c62726600f1a805ac37e (diff) | |
| parent | a0088d7a813a1f63e5af4d6edc5d2c50a0b3702e (diff) | |
| download | rust-12cb742e8258d32afefe304a8c2402a56d4a05ee.tar.gz rust-12cb742e8258d32afefe304a8c2402a56d4a05ee.zip | |
Auto merge of #3756 - Mandragorian:gettid_support, r=RalfJung
Add `gettid` support Add support for `gettid` in miri. To ensure that the requirement that `getpid() == gettdi()` for the main thread, we use the value returned by `getpid` and add to it the internal thread index. Since `getpid` is only supported when isolation is disabled, and we want `gettid` to be used both in isolated and non-isolated executions, we modify `getpid` to return a hardcoded value (1000) when running in isolation mode. Fixes #3730
Diffstat (limited to 'compiler/rustc_codegen_llvm/src/errors.rs')
0 files changed, 0 insertions, 0 deletions