X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/654684c51db9ad1cf35745bb56bae4db4731d528..c963b933d965f120a796d5cd53b84bb68273a3b5:/src/mc/mc_diff.c diff --git a/src/mc/mc_diff.c b/src/mc/mc_diff.c index a3a0bd895b..20b0e0c597 100644 --- a/src/mc/mc_diff.c +++ b/src/mc/mc_diff.c @@ -1235,7 +1235,7 @@ int compare_heap_area(void *area1, void *area2, mc_snapshot_t snapshot1, if (type_size != -1) { if (type_size != heapinfo1->busy_block.busy_size && type_size != heapinfo2->busy_block.busy_size - && type->name != NULL && !strcmp(type->name, "struct s_smx_context")) { + && (type->name == NULL || !strcmp(type->name, "struct s_smx_context"))) { if (match_pairs) { match_equals(state, previous); xbt_dynar_free(&previous);