From: Bart Van Assche <bvanassche@acm.org>
Date: Sun, 16 Mar 2008 08:31:04 +0000 (+0000)
Subject: Minor optimization: commented out an assert statement.
X-Git-Tag: svn/VALGRIND_3_4_0~867
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=f58e62bb06e75c450172b1d48c71ecba9a72478e;p=thirdparty%2Fvalgrind.git

Minor optimization: commented out an assert statement.

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

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;
   }