diff options
| author | bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> | 2010-03-07 20:00:18 +0000 |
|---|---|---|
| committer | bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> | 2010-03-07 20:00:18 +0000 |
| commit | 468947b1c6d48bb59e62aa69642b0654f2b81a2d (patch) | |
| tree | b36cc905e7f70a8728c5f332f23ee14a44a146a5 | |
| parent | b43825e01fa6a6145e31f1b18cb07d9891907fca (diff) | |
Source code cleanup - no functionality has been changed.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11077 a5019735-40e9-0310-863c-91ae7b9d1cf9
| -rw-r--r-- | drd/drd_vc.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/drd/drd_vc.h b/drd/drd_vc.h index 8c98ab6b..d35b7e51 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) |