summaryrefslogtreecommitdiff
path: root/lib/tsan/rtl/tsan_clock.h
diff options
context:
space:
mode:
authorDmitry Vyukov <dvyukov@google.com>2012-11-07 15:08:20 +0000
committerDmitry Vyukov <dvyukov@google.com>2012-11-07 15:08:20 +0000
commit538f1ba8cb57cfa02d25f8f922feb00975e0a286 (patch)
tree55b72069671822e191d3a3f2190dd285c3329fae /lib/tsan/rtl/tsan_clock.h
parent6b641c5e63be45a03f96346886d27c4b4135ddaf (diff)
downloadcompiler-rt-538f1ba8cb57cfa02d25f8f922feb00975e0a286.tar.gz
tsan: more precise handling of finalizers
git-svn-id: https://llvm.org/svn/llvm-project/compiler-rt/trunk@167530 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/tsan/rtl/tsan_clock.h')
-rw-r--r--lib/tsan/rtl/tsan_clock.h5
1 files changed, 1 insertions, 4 deletions
diff --git a/lib/tsan/rtl/tsan_clock.h b/lib/tsan/rtl/tsan_clock.h
index 38a99db95..0ee93749b 100644
--- a/lib/tsan/rtl/tsan_clock.h
+++ b/lib/tsan/rtl/tsan_clock.h
@@ -48,7 +48,7 @@ struct ThreadClock {
void set(unsigned tid, u64 v) {
DCHECK_LT(tid, kMaxTid);
- DCHECK(v >= clk_[tid] || disabled_);
+ DCHECK_GE(v, clk_[tid]);
clk_[tid] = v;
if (nclk_ <= tid)
nclk_ = tid + 1;
@@ -61,8 +61,6 @@ struct ThreadClock {
nclk_ = tid + 1;
}
- void Disable(unsigned tid);
-
uptr size() const {
return nclk_;
}
@@ -74,7 +72,6 @@ struct ThreadClock {
private:
uptr nclk_;
- bool disabled_;
u64 clk_[kMaxTidInClock];
};