From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Mon, 3 Jun 2019 11:37:07 +0000 (+0200)
Subject: Don't leave an empty catch block.
X-Git-Tag: v3.22.4~23
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/a63a8597fc53411fbb6a812c52f21d4ceede74ee?hp=60211815916d3fd883c13c8bee9cb6d3ce3d2974

Don't leave an empty catch block.
---

diff --git a/src/xbt/exception.cpp b/src/xbt/exception.cpp
index beec1e40fd..6d9272f0bc 100644
--- a/src/xbt/exception.cpp
+++ b/src/xbt/exception.cpp
@@ -105,6 +105,7 @@ void log_exception(e_xbt_log_priority_t prio, const char* context, std::exceptio
   }
   catch (...) {
     // Don't log exceptions we got when trying to log exception
+    XBT_LOG(prio, "Ignoring exception caught while while trying to log an exception!");
   }
 }