facebook/zstd
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

clang optimizer bug workaround

Browse Source
This commit is contained in:
Yann Collet 2015-10-20 03:01:38 +01:00
parent 07e0674007
commit c8a7254192
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
lib/zstd.c
View File

@ -1323,8 +1323,9 @@ static size_t ZSTD_execSequence(BYTE* op,
const BYTE* match = op - sequence.offset; const BYTE* match = op - sequence.offset;
/* check */ /* check */
if (sequence.offset > (size_t)op) return ERROR(corruption_detected); /* address space overflow test (this test seems kept by clang optimizer) */
//if (match > op) return ERROR(corruption_detected); /* address space overflow test (is clang optimizer removing this test ?) */
if (match < base) return ERROR(corruption_detected); if (match < base) return ERROR(corruption_detected);
if (match > op) return ERROR(corruption_detected); /* address space overflow test */
/* close range match, overlap */ /* close range match, overlap */
if (sequence.offset < 8) if (sequence.offset < 8)
@ -1337,7 +1338,11 @@ static size_t ZSTD_execSequence(BYTE* op,
match += dec32table[sequence.offset]; match += dec32table[sequence.offset];
ZSTD_copy4(op+4, match); ZSTD_copy4(op+4, match);
match -= dec64; match -= dec64;
} else { ZSTD_copy8(op, match); } }
else
{
ZSTD_copy8(op, match);
}
op += 8; match += 8; op += 8; match += 8;
if (oMatchEnd > oend-12) if (oMatchEnd > oend-12)