diff options
| author | bors <bors@rust-lang.org> | 2020-07-24 22:00:23 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2020-07-24 22:00:23 +0000 |
| commit | 5ef299eb9805b4c86b227b718b39084e8bf24454 (patch) | |
| tree | 3e2e397069a66471fe17991bbdcdef37bf4ef489 /src/rustllvm/CoverageMappingWrapper.cpp | |
| parent | d8cf749570c87a4dcf05071bb5b280febb7f6657 (diff) | |
| parent | 67b4f3b1482971f6eaecec0c5e01f8be467c491a (diff) | |
| download | rust-5ef299eb9805b4c86b227b718b39084e8bf24454.tar.gz rust-5ef299eb9805b4c86b227b718b39084e8bf24454.zip | |
Auto merge of #74681 - RalfJung:miri-extern-fn, r=oli-obk
Miri: use extern fn to expose interpreter operations to program; fix leak checker on Windows This PR realizes an idea that @oli-obk has been suggesting for a while: to use Miri-specific `extern` functions to provide some extra capabilities to the program. Initially, we have two of these methods, which libstd itself needs: * `miri_start_panic`, which replaces the intrinsic of the same name (mostly for consistency, to avoid having multiple mechanisms for Miri-specific functionality). * `miri_static_root`, which adds an allocation to a list of static "roots" that Miri considers as not having leaked (including all memory reachable through them). This is needed for https://github.com/rust-lang/miri/issues/1302. We use `extern` functions instead of intrinsics for this so that user code can more easily call these Miri hoolks -- e.g. `miri_static_root` should be useful for https://github.com/rust-lang/miri/issues/1318. The Miri side of this is at https://github.com/rust-lang/miri/pull/1485. r? @oli-obk
Diffstat (limited to 'src/rustllvm/CoverageMappingWrapper.cpp')
0 files changed, 0 insertions, 0 deletions
