Lines Matching refs:assert
433 assert(nbAddBits < 255); in ZSTD_buildSeqTable_rle()
459 assert(maxSymbolValue <= MaxSeq); in ZSTD_buildFSETable_body()
460 assert(tableLog <= MaxFSELog); in ZSTD_buildFSETable_body()
461 assert(wkspSize >= ZSTD_BUILD_FSE_TABLE_WKSP_SIZE); in ZSTD_buildFSETable_body()
475 assert(normalizedCounter[s]>=0); in ZSTD_buildFSETable_body()
482 assert(tableSize <= 512); in ZSTD_buildFSETable_body()
522 assert(tableSize % unroll == 0); /* FSE_MIN_TABLELOG is 5 */ in ZSTD_buildFSETable_body()
531 assert(position == 0); in ZSTD_buildFSETable_body()
545 …assert(position == 0); /* position must reach all cells once, otherwise normalizedCounter is incor… in ZSTD_buildFSETable_body()
556 assert(nbAdditionalBits[symbol] < 255); in ZSTD_buildFSETable_body()
648 assert(0); in ZSTD_buildSeqTable()
760 assert(*ip <= *op); in ZSTD_overlapCopy8()
778 assert(*op - *ip >= 8); in ZSTD_overlapCopy8()
796 assert((ovtype == ZSTD_no_overlap && (diff <= -8 || diff >= 8 || op >= oend_w)) || in ZSTD_safecopy()
806 assert(length >= 8); in ZSTD_safecopy()
809 assert(op - ip >= 8); in ZSTD_safecopy()
810 assert(op <= oend); in ZSTD_safecopy()
820 assert(oend > oend_w); in ZSTD_safecopy()
875 assert(op < op + sequenceLength); in ZSTD_execSequenceEnd()
876 assert(oLitEnd < op + sequenceLength); in ZSTD_execSequenceEnd()
922 assert(op < op + sequenceLength); in ZSTD_execSequenceEndSplitLitBuffer()
923 assert(oLitEnd < op + sequenceLength); in ZSTD_execSequenceEndSplitLitBuffer()
965 assert(op != NULL /* Precondition */); in ZSTD_execSequence()
966 assert(oend_w < oend /* No underflow */); in ZSTD_execSequence()
979 assert(op <= oLitEnd /* No overflow */); in ZSTD_execSequence()
980 assert(oLitEnd < oMatchEnd /* Non-zero match & no overflow */); in ZSTD_execSequence()
981 assert(oMatchEnd <= oend /* No underflow */); in ZSTD_execSequence()
982 assert(iLitEnd <= litLimit /* Literal length is in bounds */); in ZSTD_execSequence()
983 assert(oLitEnd <= oend_w /* Can wildcopy literals */); in ZSTD_execSequence()
984 assert(oMatchEnd <= oend_w /* Can wildcopy matches */); in ZSTD_execSequence()
990 assert(WILDCOPY_OVERLENGTH >= 16); in ZSTD_execSequence()
1016 assert(op <= oMatchEnd); in ZSTD_execSequence()
1017 assert(oMatchEnd <= oend_w); in ZSTD_execSequence()
1018 assert(match >= prefixStart); in ZSTD_execSequence()
1019 assert(sequence.matchLength >= 1); in ZSTD_execSequence()
1032 assert(sequence.offset < WILDCOPY_VECLEN); in ZSTD_execSequence()
1039 assert(op < oMatchEnd); in ZSTD_execSequence()
1057 assert(op != NULL /* Precondition */); in ZSTD_execSequenceSplitLitBuffer()
1058 assert(oend_w < oend /* No underflow */); in ZSTD_execSequenceSplitLitBuffer()
1071 assert(op <= oLitEnd /* No overflow */); in ZSTD_execSequenceSplitLitBuffer()
1072 assert(oLitEnd < oMatchEnd /* Non-zero match & no overflow */); in ZSTD_execSequenceSplitLitBuffer()
1073 assert(oMatchEnd <= oend /* No underflow */); in ZSTD_execSequenceSplitLitBuffer()
1074 assert(iLitEnd <= litLimit /* Literal length is in bounds */); in ZSTD_execSequenceSplitLitBuffer()
1075 assert(oLitEnd <= oend_w /* Can wildcopy literals */); in ZSTD_execSequenceSplitLitBuffer()
1076 assert(oMatchEnd <= oend_w /* Can wildcopy matches */); in ZSTD_execSequenceSplitLitBuffer()
1082 assert(WILDCOPY_OVERLENGTH >= 16); in ZSTD_execSequenceSplitLitBuffer()
1107 assert(op <= oMatchEnd); in ZSTD_execSequenceSplitLitBuffer()
1108 assert(oMatchEnd <= oend_w); in ZSTD_execSequenceSplitLitBuffer()
1109 assert(match >= prefixStart); in ZSTD_execSequenceSplitLitBuffer()
1110 assert(sequence.matchLength >= 1); in ZSTD_execSequenceSplitLitBuffer()
1123 assert(sequence.offset < WILDCOPY_VECLEN); in ZSTD_execSequenceSplitLitBuffer()
1130 assert(op < oMatchEnd); in ZSTD_execSequenceSplitLitBuffer()
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);