diff options
| author | Ralf Jung <post@ralfj.de> | 2023-07-10 22:14:28 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-07-11 21:59:01 +0200 |
| commit | 95392ef0c92dabdb2baf7b91f7f50e9866444275 (patch) | |
| tree | bb47538f199145bcf51a97a6ec44a22d3801dc0f /compiler/rustc_llvm/llvm-wrapper/CoverageMappingWrapper.cpp | |
| parent | dd453a6a9961a5e6377add8980cf4c257ab5a395 (diff) | |
| download | rust-95392ef0c92dabdb2baf7b91f7f50e9866444275.tar.gz rust-95392ef0c92dabdb2baf7b91f7f50e9866444275.zip | |
miri tree borrows: skip retag_reference early if there is no NewPermission
Diffstat (limited to 'compiler/rustc_llvm/llvm-wrapper/CoverageMappingWrapper.cpp')
0 files changed, 0 insertions, 0 deletions