commit 52048382ad36b96f505e46a5e6ca9bef795551e9
author bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> Wed Nov 26 12:47:19 2014 +0000
committer bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> Wed Nov 26 12:47:19 2014 +0000
tree 65830265263c97970f4082bf026a448549f4f128
parent 62cf41c3da1ca3cc26555e4759a8b582a4364b3d

drd: Add a consistency check

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14790 a5019735-40e9-0310-863c-91ae7b9d1cf9

drd/drd_vc.c

diff --git a/drd/drd_vc.c b/drd/drd_vc.c
index d3cf567..0da3b4e 100644
--- a/drd/drd_vc.c
+++ b/drd/drd_vc.c
@@ -58,6 +58,9 @@
       VG_(memcpy)(vc->vc, vcelem, size * sizeof(vcelem[0]));
       vc->size = size;
    }
+#ifdef ENABLE_DRD_CONSISTENCY_CHECKS
+   DRD_(vc_check)(vc);
+#endif
 }
 
 /** Reset vc to the empty vector clock. */
@@ -295,11 +298,11 @@
 void DRD_(vc_check)(const VectorClock* const vc)
 {
    unsigned i;
+
    tl_assert(vc->size <= vc->capacity);
+
    for (i = 1; i < vc->size; i++)
-   {
       tl_assert(vc->vc[i-1].threadid < vc->vc[i].threadid);
-   }
 }
 
 /**