Skip to content

Commit 515b000

Browse files
committed
{TSan] Fix p == end == ShadowMem::end in ShadowSet
When `p == end == ShadowMem::end`, it triggered a assertion fail previously. Now we do not allow `p == end` anymore in `ShadowSet`.
1 parent c361bff commit 515b000

File tree

1 file changed

+4
-2
lines changed

1 file changed

+4
-2
lines changed

compiler-rt/lib/tsan/rtl/tsan_rtl_access.cpp

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -523,7 +523,7 @@ ALWAYS_INLINE USED void UnalignedMemoryAccess(ThreadState* thr, uptr pc,
523523
}
524524

525525
void ShadowSet(RawShadow* p, RawShadow* end, RawShadow v) {
526-
DCHECK_LE(p, end);
526+
DCHECK_LT(p, end);
527527
DCHECK(IsShadowMem(p));
528528
DCHECK(p == end || IsShadowMem(end - 1));
529529
UNUSED const uptr kAlign = kShadowCnt * kShadowSize;
@@ -569,6 +569,7 @@ static void MemoryRangeSet(uptr addr, uptr size, RawShadow val) {
569569
RawShadow* mid1 =
570570
Min(end, reinterpret_cast<RawShadow*>(RoundUp(
571571
reinterpret_cast<uptr>(begin) + kPageSize / 2, kPageSize)));
572+
// begin must < mid1
572573
ShadowSet(begin, mid1, val);
573574
// Reset middle part.
574575
RawShadow* mid2 = RoundDown(end, kPageSize);
@@ -577,7 +578,8 @@ static void MemoryRangeSet(uptr addr, uptr size, RawShadow val) {
577578
Die();
578579
}
579580
// Set the ending.
580-
ShadowSet(mid2, end, val);
581+
if (mid2 < end)
582+
ShadowSet(mid2, end, val);
581583
}
582584

583585
void MemoryResetRange(ThreadState* thr, uptr pc, uptr addr, uptr size) {

0 commit comments

Comments
 (0)