From f58e62bb06e75c450172b1d48c71ecba9a72478e Mon Sep 17 00:00:00 2001 From: Bart Van Assche Date: Sun, 16 Mar 2008 08:31:04 +0000 Subject: [PATCH] Minor optimization: commented out an assert statement. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7697 --- exp-drd/drd_vc.c | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/exp-drd/drd_vc.c b/exp-drd/drd_vc.c index 19476efda4..fb03d6b5d6 100644 --- a/exp-drd/drd_vc.c +++ b/exp-drd/drd_vc.c @@ -104,8 +104,7 @@ void vc_increment(VectorClock* const vc, ThreadId const threadid) * vc2, and if additionally all corresponding counters in v2 are higher or * equal. */ -Bool vc_lte(const VectorClock* const vc1, - const VectorClock* const vc2) +Bool vc_lte(const VectorClock* const vc1, const VectorClock* const vc2) { unsigned i; unsigned j = 0; @@ -117,7 +116,7 @@ Bool vc_lte(const VectorClock* const vc1, } if (j >= vc2->size || vc2->vc[j].threadid > vc1->vc[i].threadid) return False; - tl_assert(j < vc2->size && vc2->vc[j].threadid == vc1->vc[i].threadid); + //tl_assert(j < vc2->size && vc2->vc[j].threadid == vc1->vc[i].threadid); if (vc1->vc[i].count > vc2->vc[j].count) return False; } -- 2.47.3