Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Condition is always false.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 18 Jan 2023 09:35:41 +0000 (10:35 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Tue, 24 Jan 2023 13:02:22 +0000 (14:02 +0100)
src/mc/compare.cpp

index 76d7e9e..2c24b35 100644 (file)
@@ -791,9 +791,9 @@ static bool heap_area_differ(const RemoteProcess& process, StateComparator& stat
 
   // If either block is not in the expected area of memory:
   if (((const char*)area1 < (const char*)state.std_heap_copy.heapbase) ||
-      (block1 > (ssize_t)state.processStates[0].heapsize) || (block1 < 1) ||
+      (block1 > (ssize_t)state.processStates[0].heapsize) ||
       ((const char*)area2 < (const char*)state.std_heap_copy.heapbase) ||
-      (block2 > (ssize_t)state.processStates[1].heapsize) || (block2 < 1)) {
+      (block2 > (ssize_t)state.processStates[1].heapsize)) {
     return true;
   }