Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Kill obsolete FIXME.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 21 Sep 2022 12:45:27 +0000 (14:45 +0200)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 21 Sep 2022 12:45:27 +0000 (14:45 +0200)
src/mc/compare.cpp

index 849059b..fdeba59 100644 (file)
@@ -845,9 +845,7 @@ static bool heap_area_differ(const RemoteProcess& process, StateComparator& stat
     }
 
     if (type_size != -1 && type_size != (ssize_t)heapinfo1->busy_block.busy_size &&
-        type_size != (ssize_t)heapinfo2->busy_block.busy_size &&
-        (type->name.empty() ||
-         type->name == "struct s_smx_context")) { // FIXME: there is no struct s_smx_context anymore
+        type_size != (ssize_t)heapinfo2->busy_block.busy_size && type->name.empty()) {
       if (match_pairs)
         state.match_equals(previous);
       return false;