drd: Add an assert statement

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11847

diff --git a/drd/drd_thread.c b/drd/drd_thread.c
index 1b3262e993910e7b2d31a04a0ec38d56a9b5c742..a5abaf6af0e770d3ec4d08e03a557d36ae02a2e8 100644 (file)
--- a/drd/drd_thread.c
+++ b/drd/drd_thread.c
@@ -1496,6 +1496,7 @@ void DRD_(thread_update_conflict_set)(const DrdThreadId tid,
    }
 
    new_vc = &DRD_(g_threadinfo)[tid].last->vc;
+   tl_assert(DRD_(vc_lte)(old_vc, new_vc));
 
    DRD_(bm_unmark)(DRD_(g_conflict_set));