zstd/decompress/zstd_decompress_block.c

433     assert(nbAddBits < 255);
459     assert(maxSymbolValue <= MaxSeq);
460     assert(tableLog <= MaxFSELog);
461     assert(wkspSize >= ZSTD_BUILD_FSE_TABLE_WKSP_SIZE);
475                     assert(normalizedCounter[s]>=0);
482     assert(tableSize <= 512);
522             assert(tableSize % unroll == 0); /* FSE_MIN_TABLELOG is 5 */
531             assert(position == 0);
545         assert(position == 0); /* position must reach all cells once, otherwise normalizedCounter is incorrect */
556             assert(nbAdditionalBits[symbol] < 255);
648         assert(0);
760     assert(*ip <= *op);
778     assert(*op - *ip >= 8);
796     assert((ovtype == ZSTD_no_overlap && (diff <= -8 || diff >= 8 || op >= oend_w)) ||
806         assert(length >= 8);
809         assert(op - ip >= 8);
810         assert(op <= oend);
820         assert(oend > oend_w);
875     assert(op < op + sequenceLength);
876     assert(oLitEnd < op + sequenceLength);
922     assert(op < op + sequenceLength);
923     assert(oLitEnd < op + sequenceLength);
965     assert(op != NULL /* Precondition */);
966     assert(oend_w < oend /* No underflow */);
979     assert(op <= oLitEnd /* No overflow */);
980     assert(oLitEnd < oMatchEnd /* Non-zero match & no overflow */);
981     assert(oMatchEnd <= oend /* No underflow */);
982     assert(iLitEnd <= litLimit /* Literal length is in bounds */);
983     assert(oLitEnd <= oend_w /* Can wildcopy literals */);
984     assert(oMatchEnd <= oend_w /* Can wildcopy matches */);
990     assert(WILDCOPY_OVERLENGTH >= 16);
1016     assert(op <= oMatchEnd);
1017     assert(oMatchEnd <= oend_w);
1018     assert(match >= prefixStart);
1019     assert(sequence.matchLength >= 1);
1032     assert(sequence.offset < WILDCOPY_VECLEN);
1039         assert(op < oMatchEnd);
1057     assert(op != NULL /* Precondition */);
1058     assert(oend_w < oend /* No underflow */);
1071     assert(op <= oLitEnd /* No overflow */);
1072     assert(oLitEnd < oMatchEnd /* Non-zero match & no overflow */);
1073     assert(oMatchEnd <= oend /* No underflow */);
1074     assert(iLitEnd <= litLimit /* Literal length is in bounds */);
1075     assert(oLitEnd <= oend_w /* Can wildcopy literals */);
1076     assert(oMatchEnd <= oend_w /* Can wildcopy matches */);
1082     assert(WILDCOPY_OVERLENGTH >= 16);
1107     assert(op <= oMatchEnd);
1108     assert(oMatchEnd <= oend_w);
1109     assert(match >= prefixStart);
1110     assert(sequence.matchLength >= 1);
1123     assert(sequence.offset < WILDCOPY_VECLEN);
1130         assert(op < oMatchEnd);
1204                 assert(ofBits <= MaxOff);
1210                     assert(extraBits <= LONG_OFFSETS_MAX_EXTRA_BITS_32);   /* to avoid another reload */
1299     assert(op <= oend);
1300     assert((size_t)(oend - op) >= sequenceSize);
1301     assert(sequenceSize <= ZSTD_BLOCKSIZE_MAX);
1305         assert(seq.offset <= (size_t)(oLitEnd - virtualStart));
1306         assert(seq.offset <= windowSize + dictSize);
1309         assert(seq.offset <= windowSize);
1352         assert(dst != NULL);
1426                 assert(!ZSTD_isError(oneSeqSize));
1455                     assert(!ZSTD_isError(oneSeqSize));
1492                 assert(!ZSTD_isError(oneSeqSize));
1569         assert(dst != NULL);
1594             assert(!ZSTD_isError(oneSeqSize));
1699         assert(dst != NULL);
1700         assert(iend >= ip);
1737                 assert(!ZSTD_isError(oneSeqSize));
1753                 assert(!ZSTD_isError(oneSeqSize));
1785                     assert(!ZSTD_isError(oneSeqSize));
1798                 assert(!ZSTD_isError(oneSeqSize));
1965     assert(max <= (1 << OffFSELog));  /* max not too large */
1970     assert(tableLog <= OffFSELog);