pub_soft/abseil-cpp
3
0
Fork 0
mirror of https://github.com/abseil/abseil-cpp.git synced 2026-06-04 12:07:05 +08:00
Code Issues Packages Projects Releases Wiki Activity

Disable sanitizer bounds checking in ComputeZeroConstant.

Browse Source 
The code is correct, but the compiler can't optimize away the check.

PiperOrigin-RevId: 785603401
Change-Id: I9277e3b71965322691108f08597728dd84737329
This commit is contained in:
Abseil Team
2025-07-21 15:46:00 -07:00
committed by Copybara-Service
parent 454205a618
commit 64a9eafe33
1 changed files with 7 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
absl/crc/internal/crc_x86_arm_combined.cc
View File

@@ -137,6 +137,13 @@ constexpr uint32_t kCRC32CPowers[] = {
// Compute a magic constant, so that multiplying by it is the same as
// extending crc by length zeros.
#if defined(NDEBUG) && ABSL_HAVE_CPP_ATTRIBUTE(clang::no_sanitize)
// The array accesses in this are safe:
// length > 3, so countr_zero(length >> 2) < 62, and length & (length - 1)
// cannot introduce bits >= 62.
// The compiler cannot prove this, so manually disable bounds checking.
[[clang::no_sanitize("array-bounds")]]
#endif
uint32_t CRC32AcceleratedX86ARMCombined::ComputeZeroConstant(
size_t length) const {
// Lowest 2 bits are handled separately in ExtendByZeroes