diff options
| author | Maja Kądziołka <maya@compilercrim.es> | 2025-04-04 05:17:45 +0200 |
|---|---|---|
| committer | Maja Kądziołka <maya@compilercrim.es> | 2025-04-04 05:18:48 +0200 |
| commit | a14e8f687c2f274548a20e01231b706d3c88790c (patch) | |
| tree | 7767bec29ca40d744d6e5d39c790fd730a8c09a5 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 00095b3da4f23d9b3e7a809ac6a4e2b2530df84c (diff) | |
| download | rust-a14e8f687c2f274548a20e01231b706d3c88790c.tar.gz rust-a14e8f687c2f274548a20e01231b706d3c88790c.zip | |
adt_destructor: sanity-check returned item
Fixes #139278
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions