Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/zstd/compress/zstd_compress.c ZSTD_compressContinue_internal() -> ZSTD_compress_frameChunk()

Type Parameter Key Value
PARAM_VALUE 0 cctx 4096-ptr_max
PARAM_VALUE 0 cctx->blockSplitCtx.entropyMetadata.fseMetadata.fseTablesSize 0,18446744073709551497-u64max
PARAM_VALUE 0 cctx->blockState.matchState.dictMatchState->opt.priceType 0-1
PARAM_VALUE 0 cctx->blockState.matchState.ldmSeqStore->posInSequence 0-4294967294
PARAM_VALUE 0 cctx->blockState.matchState.window.nextSrc 4096-ptr_max
PARAM_VALUE 0 cctx->cParamsChanged 0-1
PARAM_VALUE 0 cctx->cdict->matchState.opt.priceType 0-1
PARAM_VALUE 0 cctx->cdict->useRowMatchFinder 1-u32max
PARAM_VALUE 0 cctx->externSeqStore.posInSequence 0-4294967294
PARAM_VALUE 0 cctx->frameEnded 0-1
PARAM_VALUE 0 cctx->initialized 0-1
PARAM_VALUE 0 cctx->isFirstBlock 0-1
PARAM_VALUE 0 cctx->localDict.cdict->matchState.dictMatchState->opt.priceType 0-1
PARAM_VALUE 0 cctx->localDict.cdict->matchState.ldmSeqStore->posInSequence 0-4294967294
PARAM_VALUE 0 cctx->localDict.cdict->matchState.opt.priceType 0-1
PARAM_VALUE 0 cctx->localDict.cdict->useRowMatchFinder 1-u32max
PARAM_VALUE 0 cctx->seqCollector.collectSequences 0-1
PARAM_VALUE 0 cctx->stage 2-3
PARAM_VALUE 0 cctx->streamStage 0-2
PARAM_VALUE 0 cctx->tmpWkspSize 0,8920
PARAM_VALUE 0 *cctx->blockState.nextCBlock->entropy.fse.litlengthCTable 0-4294967295
PARAM_VALUE 0 *cctx->blockState.nextCBlock->entropy.fse.matchlengthCTable 0-4294967295
PARAM_VALUE 0 *cctx->blockState.nextCBlock->entropy.fse.offcodeCTable 0-4294967295
PARAM_VALUE 0 *cctx->blockState.nextCBlock->rep 0-4294967295
PARAM_VALUE 0 *cctx->blockState.prevCBlock->entropy.fse.litlengthCTable 0-4294967295
PARAM_VALUE 0 *cctx->blockState.prevCBlock->entropy.fse.matchlengthCTable 0-4294967295
PARAM_VALUE 0 *cctx->blockState.prevCBlock->entropy.fse.offcodeCTable 0-4294967295
PARAM_VALUE 0 *cctx->blockState.prevCBlock->rep 0-4294967295
PARAM_VALUE 4 srcSize 1-u64max
PARAM_VALUE 5 lastFrameChunk 0-1
BUF_SIZE 0 cctx (-1),4097-s32max
BUF_SIZE 0 cctx (-1),4097-s32max
BUF_SIZE 1 dst (-1),8192
BUF_SIZE 1 dst (-1),8192
DATA_SOURCE 0 cctx $0
DATA_SOURCE 1 dst $1 [m]
DATA_SOURCE 2 dstCapacity $2
DATA_SOURCE 3 src $3
DATA_SOURCE 4 srcSize $4
DATA_SOURCE 5 lastFrameChunk $6
FUZZY_MAX 0 cctx->stage 2
NOSPEC 0 cctx->expectedInBuffer.size
HARD_MAX 5 lastFrameChunk 1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 cctx->expectedInBuffer.size 1-u32max[c]
USER_DATA 0 cctx->blockState.matchState.window->nextSrc 0-255
USER_DATA 0 cctx->expectedInBuffer.pos 1-4094[c]
USER_DATA 0 cctx->expectedInBuffer.size 1-4095[c]
USER_DATA 0 cctx->ldmState.window->nextSrc 0-255
USER_DATA 0 cctx->xxhState->mem64 0-255
UNITS 1 dst unit_byte
UNITS 2 dstCapacity unit_byte
UNITS 3 src unit_byte
UNITS 4 srcSize unit_byte