diff options
| author | Lukas Markeffsky <@> | 2024-10-27 17:48:15 +0100 |
|---|---|---|
| committer | Lukas Markeffsky <@> | 2024-10-27 18:32:36 +0100 |
| commit | 4a71a592819b6fe87377dd5f857218ed37dbf195 (patch) | |
| tree | 5cd074988d5f7bfcf686cc169ff832cfc4c6ae27 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 8a9f40043fb6177a8a6d720103bac4e8889e0732 (diff) | |
| download | rust-4a71a592819b6fe87377dd5f857218ed37dbf195.tar.gz rust-4a71a592819b6fe87377dd5f857218ed37dbf195.zip | |
Rc/Arc: don't leak the allocation if drop panics
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions