Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
kill an unreachable statement (thanks sonar)
authorMartin Quinson <martin.quinson@loria.fr>
Sun, 21 May 2017 16:37:22 +0000 (18:37 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Sun, 21 May 2017 16:37:22 +0000 (18:37 +0200)
src/mc/compare.cpp

index aa62c78..a477e83 100644 (file)
@@ -907,7 +907,6 @@ top:
     return compare_heap_area_without_type(state, process_index, real_area1, real_area2,
                                           snapshot1, snapshot2, previous,
                                           type->byte_size, check_ignore);
     return compare_heap_area_without_type(state, process_index, real_area1, real_area2,
                                           snapshot1, snapshot2, previous,
                                           type->byte_size, check_ignore);
-    return 0;
 
   default:
     return 0;
 
   default:
     return 0;