Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
lib/zstd/compress/zstd_compress.c ZSTD_deriveBlockSplitsHelper() -> ZSTD_buildEntropyStatisticsAndEstimateSubBlockSize()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | seqStore | 4096-ptr_max |
| PARAM_VALUE | 0 | seqStore->llCode | 4096-ptr_max |
| PARAM_VALUE | 0 | seqStore->longLengthType | 0-2 |
| PARAM_VALUE | 0 | seqStore->mlCode | 4096-ptr_max |
| PARAM_VALUE | 0 | seqStore->ofCode | 4096-ptr_max |
| PARAM_VALUE | 0 | seqStore->sequences | 4096-ptr_max |
| PARAM_VALUE | 0 | seqStore->sequencesStart | 4096-ptr_max |
| PARAM_VALUE | 1 | zc | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->appliedParams.targetCBlockSize | 0,1340-s32max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.firstHalfSeqStore.llCode | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.firstHalfSeqStore.longLengthType | 0-2 |
| PARAM_VALUE | 1 | zc->blockSplitCtx.firstHalfSeqStore.mlCode | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.firstHalfSeqStore.ofCode | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.firstHalfSeqStore.sequences | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.firstHalfSeqStore.sequencesStart | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.fullSeqStoreChunk.llCode | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.fullSeqStoreChunk.longLengthType | 0-2 |
| PARAM_VALUE | 1 | zc->blockSplitCtx.fullSeqStoreChunk.mlCode | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.fullSeqStoreChunk.ofCode | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.fullSeqStoreChunk.sequences | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.fullSeqStoreChunk.sequencesStart | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.secondHalfSeqStore.llCode | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.secondHalfSeqStore.longLengthType | 0-2 |
| PARAM_VALUE | 1 | zc->blockSplitCtx.secondHalfSeqStore.mlCode | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.secondHalfSeqStore.ofCode | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.secondHalfSeqStore.sequences | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.secondHalfSeqStore.sequencesStart | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockState.matchState.dictMatchState->opt.priceType | 0-1 |
| PARAM_VALUE | 1 | zc->blockState.matchState.ldmSeqStore->posInSequence | 0-4294967294 |
| PARAM_VALUE | 1 | zc->blockState.matchState.opt.priceType | 0-1 |
| PARAM_VALUE | 1 | zc->cParamsChanged | 0-1 |
| PARAM_VALUE | 1 | zc->cdict->matchState.opt.priceType | 0-1 |
| PARAM_VALUE | 1 | zc->cdict->useRowMatchFinder | 1-u32max |
| PARAM_VALUE | 1 | zc->externSeqStore.posInSequence | 0-4294967294 |
| PARAM_VALUE | 1 | zc->frameEnded | 0-1 |
| PARAM_VALUE | 1 | zc->initialized | 0-1 |
| PARAM_VALUE | 1 | zc->isFirstBlock | 0-1 |
| PARAM_VALUE | 1 | zc->localDict.cdict->matchState.opt.priceType | 0-1 |
| PARAM_VALUE | 1 | zc->localDict.cdict->useRowMatchFinder | 1-u32max |
| PARAM_VALUE | 1 | zc->seqCollector.collectSequences | 0-1 |
| PARAM_VALUE | 1 | zc->seqStore.longLengthType | 0-2 |
| PARAM_VALUE | 1 | zc->stage | 0-3 |
| PARAM_VALUE | 1 | zc->streamStage | 0-2 |
| PARAM_VALUE | 1 | zc->tmpWkspSize | 0,8920 |
| PARAM_VALUE | 1 | *zc->blockState.nextCBlock->entropy.fse.litlengthCTable | 0-4294967295 |
| PARAM_VALUE | 1 | *zc->blockState.nextCBlock->entropy.fse.matchlengthCTable | 0-4294967295 |
| PARAM_VALUE | 1 | *zc->blockState.nextCBlock->entropy.fse.offcodeCTable | 0-4294967295 |
| PARAM_VALUE | 1 | *zc->blockState.nextCBlock->rep | 0-4294967295 |
| PARAM_VALUE | 1 | *zc->blockState.prevCBlock->entropy.fse.litlengthCTable | 0-4294967295 |
| PARAM_VALUE | 1 | *zc->blockState.prevCBlock->entropy.fse.matchlengthCTable | 0-4294967295 |
| PARAM_VALUE | 1 | *zc->blockState.prevCBlock->entropy.fse.offcodeCTable | 0-4294967295 |
| PARAM_VALUE | 1 | *zc->blockState.prevCBlock->rep | 0-4294967295 |
| BUF_SIZE | 0 | seqStore | 80 |
| BUF_SIZE | 1 | zc | (-1),4097-s32max |
| BUF_SIZE | 1 | zc | (-1),4097-s32max |
| DATA_SOURCE | 1 | zc | $3 |
| FUZZY_MAX | 1 | zc->stage | 2 |
| PARAM_COMPARE | 1 | &zc->blockSplitCtx.fullSeqStoreChunk | == $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | zc->expectedInBuffer.size | 1-u32max[c] |
| USER_DATA | 1 | zc->expectedInBuffer.pos | 129-4094[c] |
| USER_DATA | 1 | zc->expectedInBuffer.size | 0-1000000000[c] |
| USER_DATA | 1 | zc->expectedOutBufferSize | 0-u64max[c] |
| USER_DATA | 1 | zc->ldmState.window->nextSrc | 0-255 |
| USER_DATA | 1 | zc->xxhState->mem64 | 0-255 |
| USER_DATA | 1 | *zc->blockState.matchState->window.nextSrc | 0-255 |
| USER_DATA | 1 | *zc->ldmState.window.nextSrc | 0-255 |
| NO_OVERFLOW_SIMPLE | 1 | zc->xxhState.memsize | |
| NO_OVERFLOW_SIMPLE | 1 | zc->xxhState.total_len |
lib/zstd/compress/zstd_compress.c ZSTD_deriveBlockSplitsHelper() -> ZSTD_buildEntropyStatisticsAndEstimateSubBlockSize()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | seqStore | 4096-ptr_max |
| PARAM_VALUE | 0 | seqStore->llCode | 4096-ptr_max |
| PARAM_VALUE | 0 | seqStore->longLengthType | 0-2 |
| PARAM_VALUE | 0 | seqStore->mlCode | 4096-ptr_max |
| PARAM_VALUE | 0 | seqStore->ofCode | 4096-ptr_max |
| PARAM_VALUE | 0 | seqStore->sequences | 4096-ptr_max |
| PARAM_VALUE | 0 | seqStore->sequencesStart | 4096-ptr_max |
| PARAM_VALUE | 1 | zc | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->appliedParams.targetCBlockSize | 0,1340-s32max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.entropyMetadata.hufMetadata.hType | 0-3 |
| PARAM_VALUE | 1 | zc->blockSplitCtx.firstHalfSeqStore.llCode | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.firstHalfSeqStore.longLengthType | 0-2 |
| PARAM_VALUE | 1 | zc->blockSplitCtx.firstHalfSeqStore.mlCode | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.firstHalfSeqStore.ofCode | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.firstHalfSeqStore.sequences | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.firstHalfSeqStore.sequencesStart | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.fullSeqStoreChunk.llCode | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.fullSeqStoreChunk.longLengthType | 0-2 |
| PARAM_VALUE | 1 | zc->blockSplitCtx.fullSeqStoreChunk.mlCode | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.fullSeqStoreChunk.ofCode | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.fullSeqStoreChunk.sequences | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.fullSeqStoreChunk.sequencesStart | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.secondHalfSeqStore.llCode | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.secondHalfSeqStore.longLengthType | 0-2 |
| PARAM_VALUE | 1 | zc->blockSplitCtx.secondHalfSeqStore.mlCode | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.secondHalfSeqStore.ofCode | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.secondHalfSeqStore.sequences | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.secondHalfSeqStore.sequencesStart | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockState.matchState.dictMatchState->opt.priceType | 0-1 |
| PARAM_VALUE | 1 | zc->blockState.matchState.ldmSeqStore->posInSequence | 0-4294967294 |
| PARAM_VALUE | 1 | zc->blockState.matchState.opt.priceType | 0-1 |
| PARAM_VALUE | 1 | zc->blockState.nextCBlock->entropy.huf.repeatMode | 1 |
| PARAM_VALUE | 1 | zc->blockState.prevCBlock | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->cParamsChanged | 0-1 |
| PARAM_VALUE | 1 | zc->cdict->matchState.opt.priceType | 0-1 |
| PARAM_VALUE | 1 | zc->cdict->useRowMatchFinder | 1-u32max |
| PARAM_VALUE | 1 | zc->externSeqStore.posInSequence | 0-4294967294 |
| PARAM_VALUE | 1 | zc->frameEnded | 0-1 |
| PARAM_VALUE | 1 | zc->initialized | 0-1 |
| PARAM_VALUE | 1 | zc->isFirstBlock | 0-1 |
| PARAM_VALUE | 1 | zc->localDict.cdict->matchState.opt.priceType | 0-1 |
| PARAM_VALUE | 1 | zc->localDict.cdict->useRowMatchFinder | 1-u32max |
| PARAM_VALUE | 1 | zc->seqCollector.collectSequences | 0-1 |
| PARAM_VALUE | 1 | zc->seqStore.longLengthType | 0-2 |
| PARAM_VALUE | 1 | zc->stage | 0-3 |
| PARAM_VALUE | 1 | zc->streamStage | 0-2 |
| PARAM_VALUE | 1 | zc->tmpWkspSize | 0,8920 |
| PARAM_VALUE | 1 | *zc->blockState.nextCBlock->rep | 0-4294967295 |
| PARAM_VALUE | 1 | *zc->blockState.prevCBlock->entropy.fse.litlengthCTable | 0-4294967295 |
| PARAM_VALUE | 1 | *zc->blockState.prevCBlock->entropy.fse.matchlengthCTable | 0-4294967295 |
| PARAM_VALUE | 1 | *zc->blockState.prevCBlock->entropy.fse.offcodeCTable | 0-4294967295 |
| PARAM_VALUE | 1 | *zc->blockState.prevCBlock->rep | 0-4294967295 |
| BUF_SIZE | 0 | seqStore | 80 |
| BUF_SIZE | 1 | zc | (-1),4097-s32max |
| BUF_SIZE | 1 | zc | (-1),4097-s32max |
| DATA_SOURCE | 1 | zc | $3 |
| FUZZY_MAX | 1 | zc->stage | 2 |
| PARAM_COMPARE | 1 | &zc->blockSplitCtx.firstHalfSeqStore | == $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | zc->expectedInBuffer.size | 1-u32max[c] |
| USER_DATA | 1 | zc->expectedInBuffer.pos | 129-4094[c] |
| USER_DATA | 1 | zc->expectedInBuffer.size | 0-1000000000[c] |
| USER_DATA | 1 | zc->expectedOutBufferSize | 0-u64max[c] |
| USER_DATA | 1 | zc->ldmState.window->nextSrc | 0-255 |
| USER_DATA | 1 | zc->xxhState->mem64 | 0-255 |
| USER_DATA | 1 | *zc->blockState.matchState->window.nextSrc | 0-255 |
| USER_DATA | 1 | *zc->ldmState.window.nextSrc | 0-255 |
| NO_OVERFLOW_SIMPLE | 1 | zc->xxhState.memsize | |
| NO_OVERFLOW_SIMPLE | 1 | zc->xxhState.total_len |
lib/zstd/compress/zstd_compress.c ZSTD_deriveBlockSplitsHelper() -> ZSTD_buildEntropyStatisticsAndEstimateSubBlockSize()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | seqStore | 4096-ptr_max |
| PARAM_VALUE | 0 | seqStore->llCode | 4096-ptr_max |
| PARAM_VALUE | 0 | seqStore->longLengthType | 0-2 |
| PARAM_VALUE | 0 | seqStore->mlCode | 4096-ptr_max |
| PARAM_VALUE | 0 | seqStore->ofCode | 4096-ptr_max |
| PARAM_VALUE | 0 | seqStore->sequences | 4096-ptr_max |
| PARAM_VALUE | 0 | seqStore->sequencesStart | 4096-ptr_max |
| PARAM_VALUE | 1 | zc | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->appliedParams.targetCBlockSize | 0,1340-s32max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.entropyMetadata.hufMetadata.hType | 0-3 |
| PARAM_VALUE | 1 | zc->blockSplitCtx.firstHalfSeqStore.llCode | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.firstHalfSeqStore.longLengthType | 0-2 |
| PARAM_VALUE | 1 | zc->blockSplitCtx.firstHalfSeqStore.mlCode | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.firstHalfSeqStore.ofCode | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.firstHalfSeqStore.sequences | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.firstHalfSeqStore.sequencesStart | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.fullSeqStoreChunk.llCode | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.fullSeqStoreChunk.longLengthType | 0-2 |
| PARAM_VALUE | 1 | zc->blockSplitCtx.fullSeqStoreChunk.mlCode | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.fullSeqStoreChunk.ofCode | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.fullSeqStoreChunk.sequences | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.fullSeqStoreChunk.sequencesStart | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.secondHalfSeqStore.llCode | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.secondHalfSeqStore.longLengthType | 0-2 |
| PARAM_VALUE | 1 | zc->blockSplitCtx.secondHalfSeqStore.mlCode | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.secondHalfSeqStore.ofCode | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.secondHalfSeqStore.sequences | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockSplitCtx.secondHalfSeqStore.sequencesStart | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->blockState.matchState.dictMatchState->opt.priceType | 0-1 |
| PARAM_VALUE | 1 | zc->blockState.matchState.ldmSeqStore->posInSequence | 0-4294967294 |
| PARAM_VALUE | 1 | zc->blockState.matchState.opt.priceType | 0-1 |
| PARAM_VALUE | 1 | zc->blockState.nextCBlock->entropy.huf.repeatMode | 1 |
| PARAM_VALUE | 1 | zc->blockState.prevCBlock | 4096-ptr_max |
| PARAM_VALUE | 1 | zc->cParamsChanged | 0-1 |
| PARAM_VALUE | 1 | zc->cdict->matchState.opt.priceType | 0-1 |
| PARAM_VALUE | 1 | zc->cdict->useRowMatchFinder | 1-u32max |
| PARAM_VALUE | 1 | zc->externSeqStore.posInSequence | 0-4294967294 |
| PARAM_VALUE | 1 | zc->frameEnded | 0-1 |
| PARAM_VALUE | 1 | zc->initialized | 0-1 |
| PARAM_VALUE | 1 | zc->isFirstBlock | 0-1 |
| PARAM_VALUE | 1 | zc->localDict.cdict->matchState.opt.priceType | 0-1 |
| PARAM_VALUE | 1 | zc->localDict.cdict->useRowMatchFinder | 1-u32max |
| PARAM_VALUE | 1 | zc->seqCollector.collectSequences | 0-1 |
| PARAM_VALUE | 1 | zc->seqStore.longLengthType | 0-2 |
| PARAM_VALUE | 1 | zc->stage | 0-3 |
| PARAM_VALUE | 1 | zc->streamStage | 0-2 |
| PARAM_VALUE | 1 | zc->tmpWkspSize | 0,8920 |
| PARAM_VALUE | 1 | *zc->blockState.nextCBlock->rep | 0-4294967295 |
| PARAM_VALUE | 1 | *zc->blockState.prevCBlock->entropy.fse.litlengthCTable | 0-4294967295 |
| PARAM_VALUE | 1 | *zc->blockState.prevCBlock->entropy.fse.matchlengthCTable | 0-4294967295 |
| PARAM_VALUE | 1 | *zc->blockState.prevCBlock->entropy.fse.offcodeCTable | 0-4294967295 |
| PARAM_VALUE | 1 | *zc->blockState.prevCBlock->rep | 0-4294967295 |
| BUF_SIZE | 0 | seqStore | 80 |
| BUF_SIZE | 1 | zc | (-1),4097-s32max |
| BUF_SIZE | 1 | zc | (-1),4097-s32max |
| DATA_SOURCE | 1 | zc | $3 |
| FUZZY_MAX | 1 | zc->stage | 2 |
| PARAM_COMPARE | 1 | &zc->blockSplitCtx.secondHalfSeqStore | == $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | zc->expectedInBuffer.size | 1-u32max[c] |
| USER_DATA | 1 | zc->expectedInBuffer.pos | 129-4094[c] |
| USER_DATA | 1 | zc->expectedInBuffer.size | 0-1000000000[c] |
| USER_DATA | 1 | zc->expectedOutBufferSize | 0-u64max[c] |
| USER_DATA | 1 | zc->ldmState.window->nextSrc | 0-255 |
| USER_DATA | 1 | zc->xxhState->mem64 | 0-255 |
| USER_DATA | 1 | *zc->blockState.matchState->window.nextSrc | 0-255 |
| USER_DATA | 1 | *zc->ldmState.window.nextSrc | 0-255 |
| NO_OVERFLOW_SIMPLE | 1 | zc->xxhState.memsize | |
| NO_OVERFLOW_SIMPLE | 1 | zc->xxhState.total_len |