diff options
| author | bors <bors@rust-lang.org> | 2023-10-22 16:17:49 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-10-22 16:17:49 +0000 |
| commit | 74092c5516f42172496d784ad18528366f84e732 (patch) | |
| tree | b537573ffd61dbfd34df4f3293aef6ddeb6d5171 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | f35c36af19dd24569d760c77388036fffad0be1a (diff) | |
| parent | 48445b918103371819b63c2c480a97877895c079 (diff) | |
| download | rust-74092c5516f42172496d784ad18528366f84e732.tar.gz rust-74092c5516f42172496d784ad18528366f84e732.zip | |
Auto merge of #3134 - RalfJung:log-not-lin, r=saethlin
avoid a linear scan over the entire int_to_ptr_map on each deallocation
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions