From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Thu, 3 Jul 2014 10:01:00 +0000 (+0200)
Subject: [mc] Bug: MC was reading from the wrong region
X-Git-Tag: v3_12~890^2~1^2~4^2~26
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/d8b639b03f251032f2bf4ed09973140341056add?hp=76fcd6c75256746e4292484155108ab63f364ab5

[mc] Bug: MC was reading from the wrong region
---

diff --git a/src/mc/mc_compare.cpp b/src/mc/mc_compare.cpp
index ada39e645a..7a6dcf8f68 100644
--- a/src/mc/mc_compare.cpp
+++ b/src/mc/mc_compare.cpp
@@ -106,7 +106,7 @@ static int compare_areas_with_type(struct mc_compare_state& state,
     void* data1 =
       mc_snapshot_read_region(real_area1, region1, alloca(type->byte_size), type->byte_size);
     void* data2 =
-      mc_snapshot_read_region(real_area2, region1, alloca(type->byte_size), type->byte_size);
+      mc_snapshot_read_region(real_area2, region2, alloca(type->byte_size), type->byte_size);
     return (memcmp(data1, data2, type->byte_size) != 0);
     break;
   }