diff options
| author | Dylan DPC <dylan.dpc@gmail.com> | 2020-04-07 14:46:55 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-07 14:46:55 +0200 |
| commit | f2c59bd603568fe3c8d1ed1d3c41b556ec73a145 (patch) | |
| tree | df7f16968174b52b6e69cb2e0080b117edf6435e /src/test/rustdoc-ui/coverage/json.rs | |
| parent | 795bc2ccff5672389c1e9d2481f25bdcdfee299b (diff) | |
| parent | 1f3e2478b2e7267034d30a76ef4d28791a57d925 (diff) | |
| download | rust-f2c59bd603568fe3c8d1ed1d3c41b556ec73a145.tar.gz rust-f2c59bd603568fe3c8d1ed1d3c41b556ec73a145.zip | |
Rollup merge of #70762 - RalfJung:miri-leak-check, r=oli-obk
Miri leak check: memory reachable through globals is not leaked Also make Miri memory dump prettier by sharing more code with MIR dumping, and fix a bug where the Miri memory dump would print some allocations twice. r? @oli-obk Miri PR: https://github.com/rust-lang/miri/pull/1301
Diffstat (limited to 'src/test/rustdoc-ui/coverage/json.rs')
0 files changed, 0 insertions, 0 deletions