zstd/compress/huf_compress.c

61     assert((align & (align - 1)) == 0); /* pow 2 */
62     assert(align <= HUF_WORKSPACE_MAX_ALIGNMENT);
64         assert(add < align);
65         assert(((size_t)aligned & mask) == 0);
150     assert(nbBits <= HUF_TABLELOG_ABSOLUTEMAX);
158         assert((value >> nbBits) == 0);
273     assert(symbolValue <= HUF_SYMBOLVALUE_MAX);
326         assert(huffNode[n].nbBits <= maxNbBits);
332         assert((totalCost & (baseCost - 1)) == 0);
334         assert(totalCost > 0);
368                 assert(rankLast[nBitsToDecrease] != noSymbol || nBitsToDecrease == 1);
372                 assert(rankLast[nBitsToDecrease] != noSymbol);
412                     assert(n >= 0);
560         assert(lowerRank < RANK_POSITION_TABLE_SIZE - 1);
564     assert(rankPosition[RANK_POSITION_TABLE_SIZE - 1].base == 0);
576         assert(pos < maxSymbolValue1);
586             assert(bucketStartIdx < maxSymbolValue1);
591     assert(HUF_isSorted(huffNode, maxSymbolValue1));
786     assert(idx <= 1);
787     assert(HUF_getNbBits(elt) <= HUF_TABLELOG_ABSOLUTEMAX);
799     assert((bitC->bitPos[idx] & 0xFF) <= HUF_BITS_IN_CONTAINER);
810         assert(((elt >> dirtyBits) << (dirtyBits + nbBits)) == 0);
812         assert(!kFast || (bitC->bitPos[idx] & 0xFF) <= HUF_BITS_IN_CONTAINER);
830     assert((bitC->bitPos[1] & 0xFF) < HUF_BITS_IN_CONTAINER);
834     assert((bitC->bitPos[0] & 0xFF) <= HUF_BITS_IN_CONTAINER);
853     assert(nbBits > 0);
854     assert(nbBits <= sizeof(bitC->bitContainer[0]) * 8);
855     assert(bitC->ptr <= bitC->endPtr);
858     assert(!kFast || bitC->ptr <= bitC->endPtr);
912     assert(n % kUnroll == 0);
924     assert(n % (2 * kUnroll) == 0);
947     assert(n == 0);
1022     assert(bitC.ptr <= bitC.endPtr);
1095     assert(op <= oend);
1103     assert(op <= oend);
1111     assert(op <= oend);
1119     assert(op <= oend);
1120     assert(ip <= iend);
1153     assert(op >= ostart);