|
From: <sv...@va...> - 2011-07-03 11:44:23
|
Author: bart
Date: 2011-07-03 12:39:30 +0100 (Sun, 03 Jul 2011)
New Revision: 11847
Log:
drd: Add an assert statement
Modified:
trunk/drd/drd_thread.c
Modified: trunk/drd/drd_thread.c
===================================================================
--- trunk/drd/drd_thread.c 2011-07-03 11:24:41 UTC (rev 11846)
+++ trunk/drd/drd_thread.c 2011-07-03 11:39:30 UTC (rev 11847)
@@ -1496,6 +1496,7 @@
}
new_vc = &DRD_(g_threadinfo)[tid].last->vc;
+ tl_assert(DRD_(vc_lte)(old_vc, new_vc));
DRD_(bm_unmark)(DRD_(g_conflict_set));
|