diff options
| author | bors <bors@rust-lang.org> | 2023-09-25 15:04:14 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-09-25 15:04:14 +0000 |
| commit | 32c0afb8804cbb329eae3c82b68a4b8e71ebc054 (patch) | |
| tree | 8c69853b0bcdaac0fe3fa39744705b91bc7b87cb /compiler/rustc_mir_transform/src/coverage/mod.rs | |
| parent | b4dc4f3c1c53295476635c153e0055ab0166c2a0 (diff) | |
| parent | 5f440dd0696cf54feb560601c7bc383e49511f1a (diff) | |
| download | rust-32c0afb8804cbb329eae3c82b68a4b8e71ebc054.tar.gz rust-32c0afb8804cbb329eae3c82b68a4b8e71ebc054.zip | |
Auto merge of #3083 - saethlin:gc-history, r=oli-obk
GC the Stacked Borrows allocation history This handles the biggest contributor to https://github.com/rust-lang/miri/issues/3080 The benchmark that this adds demonstrates the memory improvement here, but our benchmark setup doesn't record memory usage, and `hyperfine` doesn't support emitting memory usage stats. I ran this benchmark manually with `/usr/bin/time -v cargo +miri miri run` :shrug:
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/mod.rs')
0 files changed, 0 insertions, 0 deletions