Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Fix test on type in mc_diff
authorGabriel Corona <gabriel.corona@loria.fr>
Fri, 11 Jul 2014 08:02:18 +0000 (10:02 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Fri, 11 Jul 2014 08:02:18 +0000 (10:02 +0200)
src/mc/mc_diff.c

index a3a0bd8..20b0e0c 100644 (file)
@@ -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);