diff options
author | Dmitry Vyukov <dvyukov@google.com> | 2012-11-07 15:08:20 +0000 |
---|---|---|
committer | Dmitry Vyukov <dvyukov@google.com> | 2012-11-07 15:08:20 +0000 |
commit | 538f1ba8cb57cfa02d25f8f922feb00975e0a286 (patch) | |
tree | 55b72069671822e191d3a3f2190dd285c3329fae /lib/tsan/rtl/tsan_clock.h | |
parent | 6b641c5e63be45a03f96346886d27c4b4135ddaf (diff) | |
download | compiler-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.h | 5 |
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]; }; |