Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/zstd/compress/zstd_compress.c ZSTD_compressStream2() -> ZSTD_compressStream_generic()

Type Parameter Key Value
PARAM_VALUE 0 zcs 4096-ptr_max
PARAM_VALUE 0 zcs->cParamsChanged 0-1
PARAM_VALUE 0 zcs->cdict->useRowMatchFinder 1-u32max
PARAM_VALUE 0 zcs->localDict.cdict->useRowMatchFinder 1-u32max
PARAM_VALUE 0 zcs->streamStage 1-u32max
PARAM_VALUE 0 *zcs->blockState.nextCBlock->entropy.fse.litlengthCTable 0-4294967295
PARAM_VALUE 0 *zcs->blockState.nextCBlock->entropy.fse.matchlengthCTable 0-4294967295
PARAM_VALUE 0 *zcs->blockState.nextCBlock->entropy.fse.offcodeCTable 0-4294967295
PARAM_VALUE 0 *zcs->blockState.nextCBlock->rep 0-4294967295
PARAM_VALUE 0 *zcs->blockState.prevCBlock->entropy.fse.litlengthCTable 0-4294967295
PARAM_VALUE 0 *zcs->blockState.prevCBlock->entropy.fse.matchlengthCTable 0-4294967295
PARAM_VALUE 0 *zcs->blockState.prevCBlock->entropy.fse.offcodeCTable 0-4294967295
PARAM_VALUE 0 *zcs->blockState.prevCBlock->rep 0-4294967295
PARAM_VALUE 1 output 4096-ptr_max
PARAM_VALUE 2 input 4096-ptr_max
PARAM_VALUE 3 flushMode 0-2
BUF_SIZE 0 zcs (-1),4097-s32max
BUF_SIZE 0 zcs (-1),4097-s32max
CAPPED_DATA 1 output->pos 1
CAPPED_DATA 1 output->size 1
CAPPED_DATA 2 input->pos 1
DATA_SOURCE 0 zcs $0
DATA_SOURCE 1 output $1
DATA_SOURCE 2 input $2
DATA_SOURCE 3 flushMode $3
PARAM_COMPARE 1 output->pos <= $1->size
PARAM_COMPARE 2 input->pos <= $2->size
CONSTRAINT 1 output->pos <=4108
CONSTRAINT 2 input->pos <=4095
NOSPEC 0 zcs->expectedInBuffer.size
NOSPEC 2 input->size
HARD_MAX 3 flushMode 2
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 zcs->expectedInBuffer.size 1-u32max[c]
HOST_DATA 2 input->size 1-u32max[c]
USER_DATA 0 zcs->expectedInBuffer.pos 1-4094[c]
USER_DATA 0 zcs->expectedInBuffer.size 0-1000000000[c]
USER_DATA 1 output->size 1-83778[c]
USER_DATA 2 input->size 1-4095[c]
HALF_LOCKED2 bh