From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Thu, 11 Jul 2019 20:33:37 +0000 (+0200)
Subject: prefer to fail stop instead of logging
X-Git-Tag: v3.24~305
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/16161a9da50b5cd4bca163c8542a4d65ff78e7d1?hp=af75490fe004e9204902fe8e83f26339b1662266

prefer to fail stop instead of logging
---

diff --git a/src/mc/compare.cpp b/src/mc/compare.cpp
index 31a614cd18..d03dbfa44c 100644
--- a/src/mc/compare.cpp
+++ b/src/mc/compare.cpp
@@ -699,7 +699,7 @@ static bool heap_area_differ_with_type(simgrid::mc::StateComparator& state, cons
                                            type->byte_size, check_ignore);
 
     default:
-      XBT_VERB("Unknown case: %d", type->type);
+      THROW_IMPOSSIBLE;
       break;
   }
   return false;