[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