|
From: <sv...@va...> - 2014-11-26 12:47:27
|
Author: bart
Date: Wed Nov 26 12:47:19 2014
New Revision: 14790
Log:
drd: Add a consistency check
Modified:
trunk/drd/drd_vc.c
Modified: trunk/drd/drd_vc.c
==============================================================================
--- trunk/drd/drd_vc.c (original)
+++ trunk/drd/drd_vc.c Wed Nov 26 12:47:19 2014
@@ -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);
- }
}
/**
|