diff options
| author | bors <bors@rust-lang.org> | 2024-10-08 13:14:49 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-10-08 13:14:49 +0000 |
| commit | edc5c1ec1ce4f9f3b6abcd6764d57b6068ad43dc (patch) | |
| tree | ff28e84c0c01052c462650f8890fe5fc2f05c447 /compiler/rustc_llvm/llvm-wrapper/CoverageMappingWrapper.cpp | |
| parent | ee491b39f66d4a915d1d462247576c1aa78912e6 (diff) | |
| parent | 4e9554d893f9910f00a7c31dda4b9a0062430471 (diff) | |
| download | rust-edc5c1ec1ce4f9f3b6abcd6764d57b6068ad43dc.tar.gz rust-edc5c1ec1ce4f9f3b6abcd6764d57b6068ad43dc.zip | |
Auto merge of #3951 - RalfJung:release-clock, r=RalfJung
fix behavior of release_clock() Fixes https://github.com/rust-lang/miri/issues/3947 Thanks to `@FrankReh` for noticing this and suggesting the right approach for the fix!
Diffstat (limited to 'compiler/rustc_llvm/llvm-wrapper/CoverageMappingWrapper.cpp')
0 files changed, 0 insertions, 0 deletions