Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : clang compliant
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Wed, 25 Feb 2015 18:00:14 +0000 (19:00 +0100)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Wed, 25 Feb 2015 18:00:14 +0000 (19:00 +0100)
src/mc/mc_comm_determinism.c

index 1755a6a..0636fa4 100644 (file)
@@ -92,6 +92,7 @@ static char* print_determinism_result(e_mc_comm_pattern_difference_t diff, int p
     res = bprintf("%s\n Different data for communication #%d", type, cursor);
     break;
   default:
     res = bprintf("%s\n Different data for communication #%d", type, cursor);
     break;
   default:
+    res = NULL;
     break;
   }
 
     break;
   }