Lines Matching refs:assert
58 assert(blockSizeMax <= ZSTD_BLOCKSIZE_MAX); in ZSTD_blockSizeMax()
85 assert(litSize <= blockSizeMax); in ZSTD_allocateLiteralsBuffer()
86 assert(dctx->isFrameDecompression || streaming == not_streaming); in ZSTD_allocateLiteralsBuffer()
87 assert(expectedWriteSize <= blockSizeMax); in ZSTD_allocateLiteralsBuffer()
105 assert(blockSizeMax > ZSTD_LITBUFFEREXTRASIZE); in ZSTD_allocateLiteralsBuffer()
123 assert(dctx->litBufferEnd <= (BYTE*)dst + expectedWriteSize); in ZSTD_allocateLiteralsBuffer()
207 assert(litSize >= MIN_LITERALS_FOR_4_STREAMS); in ZSTD_decodeLiteralsBlock()
234 assert(litSize > ZSTD_LITBUFFEREXTRASIZE); in ZSTD_decodeLiteralsBlock()
239 assert(dctx->litBufferEnd <= (BYTE*)dst + blockSizeMax); in ZSTD_decodeLiteralsBlock()
475 assert(nbAddBits < 255); in ZSTD_buildSeqTable_rle()
501 assert(maxSymbolValue <= MaxSeq); in ZSTD_buildFSETable_body()
502 assert(tableLog <= MaxFSELog); in ZSTD_buildFSETable_body()
503 assert(wkspSize >= ZSTD_BUILD_FSE_TABLE_WKSP_SIZE); in ZSTD_buildFSETable_body()
517 assert(normalizedCounter[s]>=0); in ZSTD_buildFSETable_body()
524 assert(tableSize <= 512); in ZSTD_buildFSETable_body()
551 assert(n>=0); in ZSTD_buildFSETable_body()
565 assert(tableSize % unroll == 0); /* FSE_MIN_TABLELOG is 5 */ in ZSTD_buildFSETable_body()
574 assert(position == 0); in ZSTD_buildFSETable_body()
588 …assert(position == 0); /* position must reach all cells once, otherwise normalizedCounter is incor… in ZSTD_buildFSETable_body()
599 assert(nbAdditionalBits[symbol] < 255); in ZSTD_buildFSETable_body()
691 assert(0); in ZSTD_buildSeqTable()
806 assert(*ip <= *op); in ZSTD_overlapCopy8()
824 assert(*op - *ip >= 8); in ZSTD_overlapCopy8()
842 assert((ovtype == ZSTD_no_overlap && (diff <= -8 || diff >= 8 || op >= oend_w)) || in ZSTD_safecopy()
852 assert(length >= 8); in ZSTD_safecopy()
855 assert(op - ip >= 8); in ZSTD_safecopy()
856 assert(op <= oend); in ZSTD_safecopy()
866 assert(oend > oend_w); in ZSTD_safecopy()
922 assert(op < op + sequenceLength); in ZSTD_execSequenceEnd()
923 assert(oLitEnd < op + sequenceLength); in ZSTD_execSequenceEnd()
970 assert(op < op + sequenceLength); in ZSTD_execSequenceEndSplitLitBuffer()
971 assert(oLitEnd < op + sequenceLength); in ZSTD_execSequenceEndSplitLitBuffer()
1014 assert(op != NULL /* Precondition */); in ZSTD_execSequence()
1015 assert(oend_w < oend /* No underflow */); in ZSTD_execSequence()
1033 assert(op <= oLitEnd /* No overflow */); in ZSTD_execSequence()
1034 assert(oLitEnd < oMatchEnd /* Non-zero match & no overflow */); in ZSTD_execSequence()
1035 assert(oMatchEnd <= oend /* No underflow */); in ZSTD_execSequence()
1036 assert(iLitEnd <= litLimit /* Literal length is in bounds */); in ZSTD_execSequence()
1037 assert(oLitEnd <= oend_w /* Can wildcopy literals */); in ZSTD_execSequence()
1038 assert(oMatchEnd <= oend_w /* Can wildcopy matches */); in ZSTD_execSequence()
1044 assert(WILDCOPY_OVERLENGTH >= 16); in ZSTD_execSequence()
1070 assert(op <= oMatchEnd); in ZSTD_execSequence()
1071 assert(oMatchEnd <= oend_w); in ZSTD_execSequence()
1072 assert(match >= prefixStart); in ZSTD_execSequence()
1073 assert(sequence.matchLength >= 1); in ZSTD_execSequence()
1086 assert(sequence.offset < WILDCOPY_VECLEN); in ZSTD_execSequence()
1093 assert(op < oMatchEnd); in ZSTD_execSequence()
1112 assert(op != NULL /* Precondition */); in ZSTD_execSequenceSplitLitBuffer()
1113 assert(oend_w < oend /* No underflow */); in ZSTD_execSequenceSplitLitBuffer()
1126 assert(op <= oLitEnd /* No overflow */); in ZSTD_execSequenceSplitLitBuffer()
1127 assert(oLitEnd < oMatchEnd /* Non-zero match & no overflow */); in ZSTD_execSequenceSplitLitBuffer()
1128 assert(oMatchEnd <= oend /* No underflow */); in ZSTD_execSequenceSplitLitBuffer()
1129 assert(iLitEnd <= litLimit /* Literal length is in bounds */); in ZSTD_execSequenceSplitLitBuffer()
1130 assert(oLitEnd <= oend_w /* Can wildcopy literals */); in ZSTD_execSequenceSplitLitBuffer()
1131 assert(oMatchEnd <= oend_w /* Can wildcopy matches */); in ZSTD_execSequenceSplitLitBuffer()
1137 assert(WILDCOPY_OVERLENGTH >= 16); in ZSTD_execSequenceSplitLitBuffer()
1162 assert(op <= oMatchEnd); in ZSTD_execSequenceSplitLitBuffer()
1163 assert(oMatchEnd <= oend_w); in ZSTD_execSequenceSplitLitBuffer()
1164 assert(match >= prefixStart); in ZSTD_execSequenceSplitLitBuffer()
1165 assert(sequence.matchLength >= 1); in ZSTD_execSequenceSplitLitBuffer()
1178 assert(sequence.offset < WILDCOPY_VECLEN); in ZSTD_execSequenceSplitLitBuffer()
1185 assert(op < oMatchEnd); in ZSTD_execSequenceSplitLitBuffer()
1269 assert(llBits <= MaxLLBits); in ZSTD_decodeSequence()
1270 assert(mlBits <= MaxMLBits); in ZSTD_decodeSequence()
1271 assert(ofBits <= MaxOff); in ZSTD_decodeSequence()
1380 assert(op <= oend); in ZSTD_assertValidSequence()
1381 assert((size_t)(oend - op) >= sequenceSize); in ZSTD_assertValidSequence()
1382 assert(sequenceSize <= ZSTD_blockSizeMax(dctx)); in ZSTD_assertValidSequence()
1386 assert(seq.offset <= (size_t)(oLitEnd - virtualStart)); in ZSTD_assertValidSequence()
1387 assert(seq.offset <= windowSize + dictSize); in ZSTD_assertValidSequence()
1390 assert(seq.offset <= windowSize); in ZSTD_assertValidSequence()
1432 assert(dst != NULL); in ZSTD_decompressSequences_bodySplitLitBuffer()
1507 assert(!ZSTD_isError(oneSeqSize)); in ZSTD_decompressSequences_bodySplitLitBuffer()
1532 assert(!ZSTD_isError(oneSeqSize)); in ZSTD_decompressSequences_bodySplitLitBuffer()
1568 assert(!ZSTD_isError(oneSeqSize)); in ZSTD_decompressSequences_bodySplitLitBuffer()
1644 assert(dst != NULL); in ZSTD_decompressSequences_body()
1664 assert(!ZSTD_isError(oneSeqSize)); in ZSTD_decompressSequences_body()
1674 assert(nbSeq == 0); in ZSTD_decompressSequences_body()
1764 assert(dst != NULL); in ZSTD_decompressSequencesLong_body()
1765 assert(iend >= ip); in ZSTD_decompressSequencesLong_body()
1799 assert(!ZSTD_isError(oneSeqSize)); in ZSTD_decompressSequencesLong_body()
1815 assert(!ZSTD_isError(oneSeqSize)); in ZSTD_decompressSequencesLong_body()
1844 assert(!ZSTD_isError(oneSeqSize)); in ZSTD_decompressSequencesLong_body()
1857 assert(!ZSTD_isError(oneSeqSize)); in ZSTD_decompressSequencesLong_body()
2028 assert(max <= (1 << OffFSELog)); /* max not too large */ in ZSTD_getOffsetInfo()
2034 assert(tableLog <= OffFSELog); in ZSTD_getOffsetInfo()
2061 assert(ZSTD_highbit32((U32)maxOffbase) == STREAM_ACCUMULATOR_MIN); in ZSTD_maxShortOffset()