Lines Matching refs:assert
429 assert(nbAddBits < 255); in ZSTD_buildSeqTable_rle()
453 assert(maxSymbolValue <= MaxSeq); in ZSTD_buildFSETable_body()
454 assert(tableLog <= MaxFSELog); in ZSTD_buildFSETable_body()
455 assert(wkspSize >= ZSTD_BUILD_FSE_TABLE_WKSP_SIZE); in ZSTD_buildFSETable_body()
469 assert(normalizedCounter[s]>=0); in ZSTD_buildFSETable_body()
476 assert(tableSize <= 512); in ZSTD_buildFSETable_body()
516 assert(tableSize % unroll == 0); /* FSE_MIN_TABLELOG is 5 */ in ZSTD_buildFSETable_body()
525 assert(position == 0); in ZSTD_buildFSETable_body()
539 …assert(position == 0); /* position must reach all cells once, otherwise normalizedCounter is incor… in ZSTD_buildFSETable_body()
550 assert(nbAdditionalBits[symbol] < 255); in ZSTD_buildFSETable_body()
641 assert(0); in ZSTD_buildSeqTable()
752 assert(*ip <= *op); in ZSTD_overlapCopy8()
770 assert(*op - *ip >= 8); in ZSTD_overlapCopy8()
788 assert((ovtype == ZSTD_no_overlap && (diff <= -8 || diff >= 8 || op >= oend_w)) || in ZSTD_safecopy()
798 assert(length >= 8); in ZSTD_safecopy()
801 assert(op - ip >= 8); in ZSTD_safecopy()
802 assert(op <= oend); in ZSTD_safecopy()
812 assert(oend > oend_w); in ZSTD_safecopy()
867 assert(op < op + sequenceLength); in ZSTD_execSequenceEnd()
868 assert(oLitEnd < op + sequenceLength); in ZSTD_execSequenceEnd()
913 assert(op < op + sequenceLength); in ZSTD_execSequenceEndSplitLitBuffer()
914 assert(oLitEnd < op + sequenceLength); in ZSTD_execSequenceEndSplitLitBuffer()
956 assert(op != NULL /* Precondition */); in ZSTD_execSequence()
957 assert(oend_w < oend /* No underflow */); in ZSTD_execSequence()
970 assert(op <= oLitEnd /* No overflow */); in ZSTD_execSequence()
971 assert(oLitEnd < oMatchEnd /* Non-zero match & no overflow */); in ZSTD_execSequence()
972 assert(oMatchEnd <= oend /* No underflow */); in ZSTD_execSequence()
973 assert(iLitEnd <= litLimit /* Literal length is in bounds */); in ZSTD_execSequence()
974 assert(oLitEnd <= oend_w /* Can wildcopy literals */); in ZSTD_execSequence()
975 assert(oMatchEnd <= oend_w /* Can wildcopy matches */); in ZSTD_execSequence()
981 assert(WILDCOPY_OVERLENGTH >= 16); in ZSTD_execSequence()
1007 assert(op <= oMatchEnd); in ZSTD_execSequence()
1008 assert(oMatchEnd <= oend_w); in ZSTD_execSequence()
1009 assert(match >= prefixStart); in ZSTD_execSequence()
1010 assert(sequence.matchLength >= 1); in ZSTD_execSequence()
1023 assert(sequence.offset < WILDCOPY_VECLEN); in ZSTD_execSequence()
1030 assert(op < oMatchEnd); in ZSTD_execSequence()
1048 assert(op != NULL /* Precondition */); in ZSTD_execSequenceSplitLitBuffer()
1049 assert(oend_w < oend /* No underflow */); in ZSTD_execSequenceSplitLitBuffer()
1062 assert(op <= oLitEnd /* No overflow */); in ZSTD_execSequenceSplitLitBuffer()
1063 assert(oLitEnd < oMatchEnd /* Non-zero match & no overflow */); in ZSTD_execSequenceSplitLitBuffer()
1064 assert(oMatchEnd <= oend /* No underflow */); in ZSTD_execSequenceSplitLitBuffer()
1065 assert(iLitEnd <= litLimit /* Literal length is in bounds */); in ZSTD_execSequenceSplitLitBuffer()
1066 assert(oLitEnd <= oend_w /* Can wildcopy literals */); in ZSTD_execSequenceSplitLitBuffer()
1067 assert(oMatchEnd <= oend_w /* Can wildcopy matches */); in ZSTD_execSequenceSplitLitBuffer()
1073 assert(WILDCOPY_OVERLENGTH >= 16); in ZSTD_execSequenceSplitLitBuffer()
1098 assert(op <= oMatchEnd); in ZSTD_execSequenceSplitLitBuffer()
1099 assert(oMatchEnd <= oend_w); in ZSTD_execSequenceSplitLitBuffer()
1100 assert(match >= prefixStart); in ZSTD_execSequenceSplitLitBuffer()
1101 assert(sequence.matchLength >= 1); in ZSTD_execSequenceSplitLitBuffer()
1114 assert(sequence.offset < WILDCOPY_VECLEN); in ZSTD_execSequenceSplitLitBuffer()
1121 assert(op < oMatchEnd); in ZSTD_execSequenceSplitLitBuffer()
1194 assert(ofBits <= MaxOff);
1200 … assert(extraBits <= LONG_OFFSETS_MAX_EXTRA_BITS_32); /* to avoid another reload */
1289 assert(op <= oend);
1290 assert((size_t)(oend - op) >= sequenceSize);
1291 assert(sequenceSize <= ZSTD_BLOCKSIZE_MAX);
1295 assert(seq.offset <= (size_t)(oLitEnd - virtualStart));
1296 assert(seq.offset <= windowSize + dictSize);
1299 assert(seq.offset <= windowSize);
1341 assert(dst != NULL);
1415 assert(!ZSTD_isError(oneSeqSize));
1444 assert(!ZSTD_isError(oneSeqSize));
1481 assert(!ZSTD_isError(oneSeqSize));
1558 assert(dst != NULL);
1583 assert(!ZSTD_isError(oneSeqSize));
1688 assert(dst != NULL);
1689 assert(iend >= ip);
1726 assert(!ZSTD_isError(oneSeqSize));
1742 assert(!ZSTD_isError(oneSeqSize));
1774 assert(!ZSTD_isError(oneSeqSize));
1787 assert(!ZSTD_isError(oneSeqSize));
1949 assert(max <= (1 << OffFSELog)); /* max not too large */
1954 assert(tableLog <= OffFSELog);