Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
lib/zstd/compress/zstd_compress.c ZSTD_compressBegin_internal() -> ZSTD_resetCCtx_internal()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | zc->cdict->useRowMatchFinder | 1-u32max |
| PARAM_VALUE | 0 | zc->localDict.cdict->useRowMatchFinder | 1-u32max |
| 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 | params | 4096-ptr_max |
| PARAM_VALUE | 1 | params->ldmParams.enableLdm | 1-u32max |
| PARAM_VALUE | 1 | params->maxBlockSize | 1-u64max |
| PARAM_VALUE | 1 | params->postBlockSplitter | 1-u32max |
| PARAM_VALUE | 1 | params->searchForExternalRepcodes | 1-u32max |
| PARAM_VALUE | 1 | params->useRowMatchFinder | 1-u32max |
| PARAM_VALUE | 4 | crp | 0 |
| PARAM_VALUE | 5 | zbuff | 0-1 |
| BUF_SIZE | 0 | zc | (-1),4097-s32max |
| BUF_SIZE | 0 | zc | (-1),4097-s32max |
| DATA_SOURCE | 0 | zc | $0 |
| DATA_SOURCE | 1 | params | $6 |
| DATA_SOURCE | 2 | pledgedSrcSize | $7 |
| DATA_SOURCE | 5 | zbuff | $8 |
| HARD_MAX | 5 | zbuff | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | zc->expectedInBuffer.pos | 2-s32max[c] |
| HOST_DATA | 0 | zc->expectedInBuffer.size | 1-u32max[c] |
| USER_DATA | 0 | zc->expectedInBuffer.size | 0-1000000000[c] |
| UNITS | 2 | pledgedSrcSize | unit_byte |
lib/zstd/compress/zstd_compress.c ZSTD_copyCCtx_internal() -> ZSTD_resetCCtx_internal()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | zc | 4096-ptr_max |
| PARAM_VALUE | 1 | params | 5006327915927121920 |
| PARAM_VALUE | 2 | pledgedSrcSize | 1-u64max |
| PARAM_VALUE | 3 | loadedDictSize | 0 |
| PARAM_VALUE | 4 | crp | 1 |
| DATA_SOURCE | 0 | zc | $0 |
| DATA_SOURCE | 2 | pledgedSrcSize | $3 |
| DATA_SOURCE | 5 | zbuff | $4 |
| FUZZY_MAX | 2 | pledgedSrcSize | u64max |
| NOCHECK_CALL |
lib/zstd/compress/zstd_compress.c ZSTD_resetCCtx_byAttachingCDict() -> ZSTD_resetCCtx_internal()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | zc->cParamsChanged | 0-1 |
| PARAM_VALUE | 0 | zc->cdict->useRowMatchFinder | 1-u32max |
| PARAM_VALUE | 0 | zc->frameEnded | 0-1 |
| PARAM_VALUE | 0 | zc->initialized | 0-1 |
| PARAM_VALUE | 0 | zc->isFirstBlock | 0-1 |
| PARAM_VALUE | 0 | zc->localDict.cdict->useRowMatchFinder | 1-u32max |
| PARAM_VALUE | 0 | zc->stage | 0-3 |
| PARAM_VALUE | 0 | zc->streamStage | 0-2 |
| PARAM_VALUE | 0 | zc->tmpWkspSize | 0,8920 |
| 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.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 | params->useRowMatchFinder | 1-u32max |
| PARAM_VALUE | 3 | loadedDictSize | 0 |
| PARAM_VALUE | 4 | crp | 0 |
| PARAM_VALUE | 5 | zbuff | 0-1 |
| BUF_SIZE | 0 | zc | (-1),4097-s32max |
| BUF_SIZE | 0 | zc | (-1),4097-s32max |
| DATA_SOURCE | 0 | zc | $0 |
| DATA_SOURCE | 2 | pledgedSrcSize | $3 |
| DATA_SOURCE | 5 | zbuff | $4 |
| HARD_MAX | 5 | zbuff | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | zc->expectedInBuffer.size | 1-u32max[c] |
| USER_DATA | 0 | zc->expectedInBuffer.pos | 1-4094[c] |
| USER_DATA | 0 | zc->expectedOutBufferSize | 0-u64max[c] |
| UNITS | 2 | pledgedSrcSize | unit_byte |
lib/zstd/compress/zstd_compress.c ZSTD_resetCCtx_byCopyingCDict() -> ZSTD_resetCCtx_internal()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | zc->cParamsChanged | 0-1 |
| PARAM_VALUE | 0 | zc->cdict->useRowMatchFinder | 1-u32max |
| PARAM_VALUE | 0 | zc->frameEnded | 0-1 |
| PARAM_VALUE | 0 | zc->initialized | 0-1 |
| PARAM_VALUE | 0 | zc->isFirstBlock | 0-1 |
| PARAM_VALUE | 0 | zc->localDict.cdict->useRowMatchFinder | 1-u32max |
| PARAM_VALUE | 0 | zc->stage | 0-3 |
| PARAM_VALUE | 0 | zc->streamStage | 0-2 |
| PARAM_VALUE | 0 | zc->tmpWkspSize | 0,8920 |
| 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.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 | params->useRowMatchFinder | 1-u32max |
| PARAM_VALUE | 3 | loadedDictSize | 0 |
| PARAM_VALUE | 4 | crp | 1 |
| PARAM_VALUE | 5 | zbuff | 0-1 |
| BUF_SIZE | 0 | zc | (-1),4097-s32max |
| BUF_SIZE | 0 | zc | (-1),4097-s32max |
| CAPPED_DATA | 2 | pledgedSrcSize | 1 |
| CAPPED_DATA | 2 | pledgedSrcSize | 1 |
| DATA_SOURCE | 0 | zc | $0 |
| DATA_SOURCE | 2 | pledgedSrcSize | $3 |
| DATA_SOURCE | 5 | zbuff | $4 |
| HARD_MAX | 5 | zbuff | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | zc->expectedInBuffer.size | 1-u32max[c] |
| USER_DATA | 0 | zc->expectedInBuffer.pos | 1-4094[c] |
| USER_DATA | 0 | zc->expectedOutBufferSize | 0-u64max[c] |
| UNITS | 2 | pledgedSrcSize | unit_byte |