From a9ebcf0f0dae8184dc39d88ab5b6404689d6092f Mon Sep 17 00:00:00 2001 From: Bart Van Assche Date: Sun, 7 Mar 2010 20:00:18 +0000 Subject: [PATCH] Source code cleanup - no functionality has been changed. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11077 --- drd/drd_vc.h | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/drd/drd_vc.h b/drd/drd_vc.h index 8c98ab6b0a..d35b7e51cb 100644 --- a/drd/drd_vc.h +++ b/drd/drd_vc.h @@ -108,14 +108,14 @@ Bool DRD_(vc_lte)(const VectorClock* const vc1, const VectorClock* const vc2) for (i = 0; i < vc1->size; i++) { while (j < vc2->size && vc2->vc[j].threadid < vc1->vc[i].threadid) - { j++; - } if (j >= vc2->size || vc2->vc[j].threadid > vc1->vc[i].threadid) return False; #ifdef ENABLE_DRD_CONSISTENCY_CHECKS - /* This assert statement has been commented out because of performance */ - /* reasons.*/ + /* + * This assert statement has been commented out because of performance + * reasons. + */ tl_assert(j < vc2->size && vc2->vc[j].threadid == vc1->vc[i].threadid); #endif if (vc1->vc[i].count > vc2->vc[j].count) -- 2.47.2