Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/zstd/compress/zstd_compress.c ZSTD_compressBlock_targetCBlockSize_body() -> ZSTD_compressSuperBlock()

Type Parameter Key Value
PARAM_VALUE 0 zc 4096-ptr_max
PARAM_VALUE 0 zc->appliedParams.targetCBlockSize 1-u64max
PARAM_VALUE 0 zc->blockState.matchState.ldmSeqStore->posInSequence 0-4294967294
PARAM_VALUE 0 zc->blockState.matchState.opt.priceType 0-1
PARAM_VALUE 0 zc->blockState.matchState.window.nextSrc 4096-ptr_max
PARAM_VALUE 0 zc->cdict->useRowMatchFinder 1-u32max
PARAM_VALUE 0 zc->externSeqStore.posInSequence 0-4294967294
PARAM_VALUE 0 zc->isFirstBlock 0-1
PARAM_VALUE 0 zc->localDict.cdict->useRowMatchFinder 1-u32max
PARAM_VALUE 0 zc->seqCollector.collectSequences 0-1
PARAM_VALUE 0 zc->stage 2-3
PARAM_VALUE 0 *zc->blockState.nextCBlock->entropy.fse.litlengthCTable 0-4294967295
PARAM_VALUE 0 *zc->blockState.nextCBlock->entropy.fse.matchlengthCTable 0-4294967295
PARAM_VALUE 0 *zc->blockState.nextCBlock->entropy.fse.offcodeCTable 0-4294967295
PARAM_VALUE 0 *zc->blockState.nextCBlock->rep 0-4294967295
PARAM_VALUE 0 *zc->blockState.prevCBlock->entropy.fse.litlengthCTable 0-4294967295
PARAM_VALUE 0 *zc->blockState.prevCBlock->entropy.fse.matchlengthCTable 0-4294967295
PARAM_VALUE 0 *zc->blockState.prevCBlock->entropy.fse.offcodeCTable 0-4294967295
PARAM_VALUE 0 *zc->blockState.prevCBlock->rep 0-4294967295
PARAM_VALUE 1 *dst 0-255
PARAM_VALUE 2 dstCapacity 6-u64max
PARAM_VALUE 3 src 4096-ptr_max
PARAM_VALUE 5 lastBlock 0-1
BUF_SIZE 0 zc (-1),4097-s32max
BUF_SIZE 0 zc (-1),4097-s32max
BUF_SIZE 1 dst (-1),8192
BUF_SIZE 1 dst (-1),8192
BUF_SIZE 3 src (-1),4096
BUF_SIZE 3 src (-1),4096
CAPPED_DATA 4 srcSize 1
CAPPED_DATA 4 srcSize 1
CAPPED_DATA 5 lastBlock 1
DATA_SOURCE 0 zc $0
DATA_SOURCE 1 dst $1
DATA_SOURCE 2 dstCapacity $2
DATA_SOURCE 3 src $3
DATA_SOURCE 4 srcSize $4
DATA_SOURCE 5 lastBlock $6
FUZZY_MAX 0 zc->stage 2
NOSPEC 0 zc->xxhState->mem64
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 zc->expectedInBuffer.pos 2-s32max[c]
HOST_DATA 0 zc->expectedInBuffer.size 2-s32max[c]
USER_DATA 0 zc->blockState.matchState.window->nextSrc 0-255
USER_DATA 0 zc->expectedInBuffer.pos 129-4094[c]
USER_DATA 0 zc->expectedInBuffer.size 0-1000000000[c]
USER_DATA 0 zc->ldmState.window->nextSrc 0-255
USER_DATA 0 zc->xxhState->mem64 0-255
USER_DATA 0 *zc->blockState.matchState->window.nextSrc 0-255
USER_DATA 0 *zc->ldmState.window.nextSrc 0-255
UNITS 1 dst unit_byte
UNITS 2 dstCapacity unit_byte
UNITS 3 src unit_byte
UNITS 4 srcSize unit_byte
USER_PTR 3 src