From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Fri, 14 Jun 2019 13:24:22 +0000 (+0200)
Subject: Fix null pointer dereference.
X-Git-Tag: v3.23~39
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/7cefce8d600641bb17bac4b5745b24bad143954d?ds=sidebyside

Fix null pointer dereference.
---

diff --git a/src/kernel/lmm/maxmin.cpp b/src/kernel/lmm/maxmin.cpp
index 25a5f24908..628b69c093 100644
--- a/src/kernel/lmm/maxmin.cpp
+++ b/src/kernel/lmm/maxmin.cpp
@@ -151,7 +151,7 @@ System::~System()
   Constraint* cnst;
 
   while ((var = extract_variable())) {
-    auto demangled = simgrid::xbt::demangle(typeid(*var->id_).name());
+    auto demangled = simgrid::xbt::demangle(var->id_ ? typeid(*var->id_).name() : "(unidentified)");
     XBT_WARN("Probable bug: a %s variable (#%d) not removed before the LMM system destruction.", demangled.get(),
              var->rank_);
     var_free(var);