From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Tue, 5 Mar 2019 12:25:11 +0000 (+0100)
Subject: Assert that the pointer is not null when dereferenced.
X-Git-Tag: v3_22~176
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/7dd7e8a3d74476aa04576e756c9ba8bba2e74859

Assert that the pointer is not null when dereferenced.
---

diff --git a/src/mc/compare.cpp b/src/mc/compare.cpp
index 1f1512b052..47cfabd67a 100644
--- a/src/mc/compare.cpp
+++ b/src/mc/compare.cpp
@@ -1236,6 +1236,7 @@ static int compare_areas_with_type(simgrid::mc::StateComparator& state,
   int res;
 
   do {
+    xbt_assert(type != nullptr);
     switch (type->type) {
       case DW_TAG_unspecified_type:
         return 1;