Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/zstd/compress/zstd_compress.c ZSTD_compressBlock_splitBlock_internal() -> ZSTD_compressSeqStore_singleBlock()

Type Parameter Key Value
PARAM_VALUE 0 zc 4096-ptr_max
PARAM_VALUE 0 zc->appliedParams.postBlockSplitter 1
PARAM_VALUE 0 zc->appliedParams.targetCBlockSize 0
PARAM_VALUE 0 zc->blockState.matchState.ldmSeqStore 0
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->blockState.prevCBlock 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->ldmState.window.base 4096-ptr_max
PARAM_VALUE 0 zc->ldmState.window.dictBase 4096-ptr_max
PARAM_VALUE 0 zc->localDict.cdict->useRowMatchFinder 1-u32max
PARAM_VALUE 0 zc->seqCollector.collectSequences 0-1
PARAM_VALUE 0 zc->seqStore->lit 0-255
PARAM_VALUE 0 zc->seqStore.lit 4096-ptr_max
PARAM_VALUE 0 zc->seqStore.longLengthType 0-2
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 seqStore 4096-ptr_max
PARAM_VALUE 1 seqStore->lit 4096-ptr_max
PARAM_VALUE 1 seqStore->longLengthType 0-2
PARAM_VALUE 2 dRep 1195997361476247552
PARAM_VALUE 3 cRep 3208239986926313472
PARAM_VALUE 4 *dst 0-255
PARAM_VALUE 5 dstCapacity 6-u64max
PARAM_VALUE 7 srcSize 7-u64max
PARAM_VALUE 8 lastBlock 0-1
PARAM_VALUE 9 isPartition 0
BUF_SIZE 0 zc (-1),4097-s32max
BUF_SIZE 0 zc (-1),4097-s32max
BUF_SIZE 4 dst (-1),8192
BUF_SIZE 6 src (-1),4096
CAPPED_DATA 0 zc->externSeqStore.size 1
CAPPED_DATA 7 srcSize 1
CAPPED_DATA 7 srcSize 1
CAPPED_DATA 8 lastBlock 1
DATA_SOURCE 0 zc $0
DATA_SOURCE 4 dst $1
DATA_SOURCE 5 dstCapacity $2
DATA_SOURCE 6 src $3
DATA_SOURCE 7 srcSize $4
DATA_SOURCE 8 lastBlock $5
FUZZY_MAX 0 zc->isFirstBlock 0
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 4 dst unit_byte
UNITS 5 dstCapacity unit_byte
UNITS 6 src unit_byte
UNITS 7 srcSize unit_byte
USER_PTR 6 src

lib/zstd/compress/zstd_compress.c ZSTD_compressBlock_splitBlock_internal() -> ZSTD_compressSeqStore_singleBlock()

Type Parameter Key Value
PARAM_VALUE 0 zc 4096-ptr_max
PARAM_VALUE 0 zc->appliedParams.postBlockSplitter 1
PARAM_VALUE 0 zc->appliedParams.targetCBlockSize 0
PARAM_VALUE 0 zc->blockSplitCtx.currSeqStore.llCode 0,4096-ptr_max
PARAM_VALUE 0 zc->blockSplitCtx.currSeqStore.longLengthType 0-2
PARAM_VALUE 0 zc->blockSplitCtx.currSeqStore.mlCode 0,4096-ptr_max
PARAM_VALUE 0 zc->blockSplitCtx.currSeqStore.ofCode 0,4096-ptr_max
PARAM_VALUE 0 zc->blockSplitCtx.entropyMetadata.hufMetadata.hType 0-3
PARAM_VALUE 0 zc->blockSplitCtx.firstHalfSeqStore.llCode 4096-ptr_max
PARAM_VALUE 0 zc->blockSplitCtx.firstHalfSeqStore.longLengthType 0-2
PARAM_VALUE 0 zc->blockSplitCtx.firstHalfSeqStore.mlCode 4096-ptr_max
PARAM_VALUE 0 zc->blockSplitCtx.firstHalfSeqStore.ofCode 4096-ptr_max
PARAM_VALUE 0 zc->blockSplitCtx.firstHalfSeqStore.sequences 4096-ptr_max
PARAM_VALUE 0 zc->blockSplitCtx.firstHalfSeqStore.sequencesStart 4096-ptr_max
PARAM_VALUE 0 zc->blockSplitCtx.fullSeqStoreChunk.llCode 4096-ptr_max
PARAM_VALUE 0 zc->blockSplitCtx.fullSeqStoreChunk.longLengthType 0-2
PARAM_VALUE 0 zc->blockSplitCtx.fullSeqStoreChunk.mlCode 4096-ptr_max
PARAM_VALUE 0 zc->blockSplitCtx.fullSeqStoreChunk.ofCode 4096-ptr_max
PARAM_VALUE 0 zc->blockSplitCtx.fullSeqStoreChunk.sequences 4096-ptr_max
PARAM_VALUE 0 zc->blockSplitCtx.fullSeqStoreChunk.sequencesStart 4096-ptr_max
PARAM_VALUE 0 zc->blockSplitCtx.partitions 4096-ptr_max
PARAM_VALUE 0 zc->blockSplitCtx.secondHalfSeqStore.llCode 4096-ptr_max
PARAM_VALUE 0 zc->blockSplitCtx.secondHalfSeqStore.longLengthType 0-2
PARAM_VALUE 0 zc->blockSplitCtx.secondHalfSeqStore.mlCode 4096-ptr_max
PARAM_VALUE 0 zc->blockSplitCtx.secondHalfSeqStore.ofCode 4096-ptr_max
PARAM_VALUE 0 zc->blockSplitCtx.secondHalfSeqStore.sequences 4096-ptr_max
PARAM_VALUE 0 zc->blockSplitCtx.secondHalfSeqStore.sequencesStart 4096-ptr_max
PARAM_VALUE 0 zc->blockState.matchState.ldmSeqStore 0
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->blockState.prevCBlock 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->ldmState.window.base 4096-ptr_max
PARAM_VALUE 0 zc->ldmState.window.dictBase 4096-ptr_max
PARAM_VALUE 0 zc->localDict.cdict->useRowMatchFinder 1-u32max
PARAM_VALUE 0 zc->seqCollector.collectSequences 0-1
PARAM_VALUE 0 zc->seqStore->lit 0-255
PARAM_VALUE 0 zc->seqStore.lit 4096-ptr_max
PARAM_VALUE 0 zc->seqStore.longLengthType 0-2
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 seqStore 4096-ptr_max
PARAM_VALUE 1 seqStore->llCode 0,4096-ptr_max
PARAM_VALUE 1 seqStore->longLengthType 0-2
PARAM_VALUE 1 seqStore->mlCode 0,4096-ptr_max
PARAM_VALUE 1 seqStore->ofCode 0,4096-ptr_max
PARAM_VALUE 1 seqStore->sequences 0,4096-ptr_max
PARAM_VALUE 1 seqStore->sequencesStart 0,4096-ptr_max
PARAM_VALUE 2 dRep 1195997361476247552
PARAM_VALUE 3 cRep 3208239986926313472
PARAM_VALUE 4 *dst 0-255
PARAM_VALUE 8 lastBlock 0-1
PARAM_VALUE 9 isPartition 1
BUF_SIZE 0 zc (-1),4097-s32max
BUF_SIZE 0 zc (-1),4097-s32max
BUF_SIZE 1 seqStore 80
BUF_SIZE 4 dst (-1),8192
BUF_SIZE 6 src (-1),4096
CAPPED_DATA 0 zc->externSeqStore.size 1
CAPPED_DATA 8 lastBlock 1
DATA_SOURCE 0 zc $0
DATA_SOURCE 5 dstCapacity $2
FUZZY_MAX 0 zc->isFirstBlock 0
FUZZY_MAX 0 zc->stage 2
FUZZY_MAX 8 lastBlock 0
PARAM_COMPARE 0 &zc->blockSplitCtx.currSeqStore == $1
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 4 dst unit_byte
UNITS 5 dstCapacity unit_byte
UNITS 6 src unit_byte
USER_PTR 6 src