diff options
Diffstat (limited to 'compiler-rt/lib/tsan/rtl/tsan_clock.h')
| -rw-r--r-- | compiler-rt/lib/tsan/rtl/tsan_clock.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/compiler-rt/lib/tsan/rtl/tsan_clock.h b/compiler-rt/lib/tsan/rtl/tsan_clock.h index 2ad635ed69d..691185039b6 100644 --- a/compiler-rt/lib/tsan/rtl/tsan_clock.h +++ b/compiler-rt/lib/tsan/rtl/tsan_clock.h @@ -42,20 +42,20 @@ struct ThreadClock { ThreadClock(); u64 get(unsigned tid) const { - DCHECK(tid < kMaxTidInClock); + DCHECK_LT(tid, kMaxTidInClock); return clk_[tid]; } void set(unsigned tid, u64 v) { - DCHECK(tid < kMaxTid); - DCHECK(v >= clk_[tid]); + DCHECK_LT(tid, kMaxTid); + DCHECK_GE(v, clk_[tid]); clk_[tid] = v; if (nclk_ <= tid) nclk_ = tid + 1; } void tick(unsigned tid) { - DCHECK(tid < kMaxTid); + DCHECK_LT(tid, kMaxTid); clk_[tid]++; if (nclk_ <= tid) nclk_ = tid + 1; |

