diff --git a/src/writer/filesystem_writer.cpp b/src/writer/filesystem_writer.cpp index e0a846b9..10789cce 100644 --- a/src/writer/filesystem_writer.cpp +++ b/src/writer/filesystem_writer.cpp @@ -35,6 +35,7 @@ #include #include +#include #include #include #include @@ -664,6 +665,9 @@ filesystem_writer_::~filesystem_writer_() noexcept { flush(); } } catch (...) { + DWARFS_PANIC( + fmt::format("exception thrown in filesystem_writer destructor: {}", + exception_str(std::current_exception()))); } }