[compiler-rt] [TSan] Fix p == end == ShadowMem::end in ShadowSet (PR #144994)
Thurston Dang via llvm-commits
llvm-commits at lists.llvm.org
Fri Jun 20 09:09:27 PDT 2025
================
@@ -523,7 +523,7 @@ ALWAYS_INLINE USED void UnalignedMemoryAccess(ThreadState* thr, uptr pc,
}
void ShadowSet(RawShadow* p, RawShadow* end, RawShadow v) {
- DCHECK_LE(p, end);
+ DCHECK_LT(p, end);
DCHECK(IsShadowMem(p));
DCHECK(p == end || IsShadowMem(end - 1));
----------------
thurstond wrote:
`DCHECK_LT(p, end);` means the `p == end` part of the DCHECK will always be false.
https://github.com/llvm/llvm-project/pull/144994
More information about the llvm-commits
mailing list