summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorYann Collet <cyan@fb.com>2018-05-02 20:57:33 (GMT)
committerYann Collet <cyan@fb.com>2018-05-02 20:57:33 (GMT)
commit999a8488f60cb076944d69d2aea9828f890a4e43 (patch)
tree86567558856d533734baf667b81c9304cd5bd812
parent93cf628a08e82256abc77d1fd144bda78b7ee1df (diff)
downloadlz4-999a8488f60cb076944d69d2aea9828f890a4e43.zip
lz4-999a8488f60cb076944d69d2aea9828f890a4e43.tar.gz
lz4-999a8488f60cb076944d69d2aea9828f890a4e43.tar.bz2
removed test that might be optimized away
under UB rule "no overflow on int"
-rw-r--r--tests/fuzzer.c3
1 files changed, 1 insertions, 2 deletions
diff --git a/tests/fuzzer.c b/tests/fuzzer.c
index 28f14bf..5dd75b3 100644
--- a/tests/fuzzer.c
+++ b/tests/fuzzer.c
@@ -1232,7 +1232,6 @@ static void FUZ_unitTests(int compressionLevel)
/* first block */
messageSize = BSIZE1; /* note : we cheat a bit here, in theory no message should be > maxMessageSize. We just want to fill the decoding ring buffer once. */
- assert(messageSize < dBufferSize);
XXH64_update(&xxhOrig, testInput + iNext, messageSize);
crcOrig = XXH64_digest(&xxhOrig);
@@ -1276,7 +1275,7 @@ static void FUZ_unitTests(int compressionLevel)
assert(dBufferSize - dNext >= maxMessageSize);
result = LZ4_decompress_safe_continue(&decodeStateSafe,
testCompressed, ringBufferSafe + dNext,
- compressedSize, dBufferSize - dNext); /* works without knowing messageSize, but under assumption that messageSize < maxMessageSize */
+ compressedSize, dBufferSize - dNext); /* works without knowing messageSize, under assumption that messageSize <= maxMessageSize */
FUZ_CHECKTEST(result!=messageSize, "D.ringBuffer : LZ4_decompress_safe_continue() test failed");
XXH64_update(&xxhNewSafe, ringBufferSafe + dNext, messageSize);
{ U64 const crcNew = XXH64_digest(&xxhNewSafe);