Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

crypto/zstd.c zstd_compress() -> zstd_flush_stream()

Type Parameter Key Value
PARAM_VALUE 0 cstream 4096-ptr_max
PARAM_VALUE 0 cstream->appliedParams.postBlockSplitter 1-4294967295
PARAM_VALUE 0 cstream->appliedParams.searchForExternalRepcodes 1-4294967295
PARAM_VALUE 0 cstream->appliedParams.useRowMatchFinder 1-4294967295
PARAM_VALUE 0 cstream->blockSplitCtx.currSeqStore.longLengthPos 0-4294967295
PARAM_VALUE 0 cstream->blockSplitCtx.currSeqStore.longLengthType 0-4294967295
PARAM_VALUE 0 cstream->blockSplitCtx.entropyMetadata.fseMetadata.llType 0-4294967295
PARAM_VALUE 0 cstream->blockSplitCtx.entropyMetadata.fseMetadata.mlType 0-4294967295
PARAM_VALUE 0 cstream->blockSplitCtx.entropyMetadata.fseMetadata.ofType 0-4294967295
PARAM_VALUE 0 cstream->blockSplitCtx.entropyMetadata.hufMetadata.hType 0-4294967295
PARAM_VALUE 0 cstream->blockSplitCtx.firstHalfSeqStore.longLengthType 0-4294967295
PARAM_VALUE 0 cstream->blockSplitCtx.fullSeqStoreChunk.longLengthType 0-4294967295
PARAM_VALUE 0 cstream->blockSplitCtx.secondHalfSeqStore.longLengthType 0-4294967295
PARAM_VALUE 0 cstream->blockState.matchState->hashCache 0-4294967295
PARAM_VALUE 0 cstream->blockState.matchState.dictMatchState->opt.priceType 0-1
PARAM_VALUE 0 cstream->blockState.matchState.hashLog3 0-17
PARAM_VALUE 0 cstream->blockState.matchState.lazySkipping 0
PARAM_VALUE 0 cstream->blockState.matchState.ldmSeqStore->posInSequence 0-4294967294
PARAM_VALUE 0 cstream->blockState.matchState.opt.litLengthSum 0
PARAM_VALUE 0 cstream->blockState.matchState.prefetchCDictTables 0-1
PARAM_VALUE 0 cstream->blockState.matchState.window.base 4274302372899520512
PARAM_VALUE 0 cstream->blockState.matchState.window.dictBase 4274302372899520512
PARAM_VALUE 0 cstream->blockState.matchState.window.nbOverflowCorrections 0
PARAM_VALUE 0 cstream->blockState.nextCBlock->entropy->fse.litlengthCTable 0-4294967295
PARAM_VALUE 0 cstream->blockState.nextCBlock->entropy->fse.matchlengthCTable 0-4294967295
PARAM_VALUE 0 cstream->blockState.nextCBlock->entropy->fse.offcodeCTable 0-4294967295
PARAM_VALUE 0 cstream->blockState.prevCBlock->entropy.fse.litlength_repeatMode 0-2
PARAM_VALUE 0 cstream->blockState.prevCBlock->entropy.fse.matchlength_repeatMode 0-2
PARAM_VALUE 0 cstream->blockState.prevCBlock->entropy.fse.offcode_repeatMode 0-2
PARAM_VALUE 0 cstream->blockState.prevCBlock->entropy.huf.repeatMode 0-2
PARAM_VALUE 0 cstream->bufferedPolicy 0-4294967295
PARAM_VALUE 0 cstream->cParamsChanged 0-1
PARAM_VALUE 0 cstream->cdict->matchState.opt.priceType 0-1
PARAM_VALUE 0 cstream->cdict->useRowMatchFinder 1-4294967295
PARAM_VALUE 0 cstream->cdict->workspace.isStatic 0-1
PARAM_VALUE 0 cstream->externSeqStore.capacity 0
PARAM_VALUE 0 cstream->externSeqStore.size 0
PARAM_VALUE 0 cstream->frameEnded 0-1
PARAM_VALUE 0 cstream->initialized 0-1
PARAM_VALUE 0 cstream->isFirstBlock s32min-s32max
PARAM_VALUE 0 cstream->ldmState.hashTable->checksum 0
PARAM_VALUE 0 cstream->ldmState.hashTable->offset 0
PARAM_VALUE 0 cstream->ldmState.loadedDictEnd 0-4294967295
PARAM_VALUE 0 cstream->ldmState.window.base 4274302372899520512
PARAM_VALUE 0 cstream->ldmState.window.dictBase 4274302372899520512
PARAM_VALUE 0 cstream->ldmState.window.dictLimit 2
PARAM_VALUE 0 cstream->ldmState.window.lowLimit 2
PARAM_VALUE 0 cstream->ldmState.window.nbOverflowCorrections 0
PARAM_VALUE 0 cstream->localDict.cdict->cBlockState->rep 0-4294967295
PARAM_VALUE 0 cstream->localDict.cdict->matchState.dictMatchState->opt.priceType 0-1
PARAM_VALUE 0 cstream->localDict.cdict->matchState.ldmSeqStore->posInSequence 0-4294967294
PARAM_VALUE 0 cstream->localDict.cdict->matchState.opt.litLengthSum 0
PARAM_VALUE 0 cstream->localDict.cdict->useRowMatchFinder 1-4294967295
PARAM_VALUE 0 cstream->localDict.cdict->workspace->objectEnd 0-255
PARAM_VALUE 0 cstream->localDict.cdict->workspace.allocFailed 0
PARAM_VALUE 0 cstream->localDict.cdict->workspace.isStatic 0
PARAM_VALUE 0 cstream->localDict.cdict->workspace.objectEnd 0
PARAM_VALUE 0 cstream->localDict.cdict->workspace.workspaceEnd 0
PARAM_VALUE 0 cstream->localDict.cdict->workspace.workspaceOversizedDuration 0
PARAM_VALUE 0 cstream->localDict.dict 0
PARAM_VALUE 0 cstream->localDict.dictBuffer 0
PARAM_VALUE 0 cstream->localDict.dictContentType 0
PARAM_VALUE 0 cstream->localDict.dictSize 0
PARAM_VALUE 0 cstream->prefixDict.dict 0
PARAM_VALUE 0 cstream->prefixDict.dictContentType 0
PARAM_VALUE 0 cstream->prefixDict.dictSize 0
PARAM_VALUE 0 cstream->requestedParams.compressionLevel (-131072)-(-1),1-s32max
PARAM_VALUE 0 cstream->requestedParams.customMem.customAlloc 0
PARAM_VALUE 0 cstream->requestedParams.customMem.customFree 0
PARAM_VALUE 0 cstream->requestedParams.customMem.opaque 0
PARAM_VALUE 0 cstream->requestedParams.deterministicRefPrefix 0-1
PARAM_VALUE 0 cstream->requestedParams.enableDedicatedDictSearch 0-1
PARAM_VALUE 0 cstream->requestedParams.extSeqProdFunc 0
PARAM_VALUE 0 cstream->requestedParams.extSeqProdState 0
PARAM_VALUE 0 cstream->requestedParams.fParams.checksumFlag 0-1
PARAM_VALUE 0 cstream->requestedParams.fParams.contentSizeFlag 0-1
PARAM_VALUE 0 cstream->requestedParams.fParams.noDictIDFlag 0-1
PARAM_VALUE 0 cstream->requestedParams.forceWindow 0-1
PARAM_VALUE 0 cstream->requestedParams.jobSize 0
PARAM_VALUE 0 cstream->requestedParams.ldmParams.windowLog 0
PARAM_VALUE 0 cstream->requestedParams.nbWorkers 0
PARAM_VALUE 0 cstream->requestedParams.overlapLog 0
PARAM_VALUE 0 cstream->requestedParams.rsyncable 0
PARAM_VALUE 0 cstream->requestedParams.targetCBlockSize 0,1340-s32max
PARAM_VALUE 0 cstream->seqStore.longLengthPos 0-4294967295
PARAM_VALUE 0 cstream->seqStore.longLengthType 0-4294967295
PARAM_VALUE 0 cstream->seqStore.sequences.litLength 0-u16max
PARAM_VALUE 0 cstream->seqStore.sequences.mlBase 0-u16max
PARAM_VALUE 0 cstream->seqStore.sequences.offBase 0-4294967295
PARAM_VALUE 0 cstream->stableIn_notConsumed 0-s64max
PARAM_VALUE 0 cstream->stage 0-3
PARAM_VALUE 0 cstream->streamStage 0-2
PARAM_VALUE 0 cstream->tmpWorkspace 0
PARAM_VALUE 0 cstream->workspace.allocFailed 0-1
PARAM_VALUE 0 cstream->workspace.allocStart 0
PARAM_VALUE 0 cstream->workspace.isStatic 0
PARAM_VALUE 0 cstream->workspace.phase 0
PARAM_VALUE 0 cstream->workspace.workspace 0
PARAM_VALUE 0 cstream->workspace.workspaceOversizedDuration 0
PARAM_VALUE 0 cstream->xxhState.memsize 0
PARAM_VALUE 0 cstream->xxhState.total_len 0
PARAM_VALUE 0 *cstream->blockState.nextCBlock->entropy.fse.litlengthCTable 0-4294967295
PARAM_VALUE 0 *cstream->blockState.nextCBlock->entropy.fse.matchlengthCTable 0-4294967295
PARAM_VALUE 0 *cstream->blockState.nextCBlock->entropy.fse.offcodeCTable 0-4294967295
PARAM_VALUE 0 *cstream->blockState.nextCBlock->rep 0-4294967295
PARAM_VALUE 0 *cstream->blockState.prevCBlock->entropy.fse.litlengthCTable 0-4294967295
PARAM_VALUE 0 *cstream->blockState.prevCBlock->entropy.fse.matchlengthCTable 0-4294967295
PARAM_VALUE 0 *cstream->blockState.prevCBlock->entropy.fse.offcodeCTable 0-4294967295
PARAM_VALUE 0 *cstream->blockState.prevCBlock->rep 0-4294967295
PARAM_VALUE 0 *cstream->workspace->allocStart 0-255
PARAM_VALUE 0 *cstream->workspace->objectEnd 0-255
PARAM_VALUE 0 *cstream->workspace->tableEnd 0-255
PARAM_VALUE 0 *cstream->workspace->tableValidEnd 0-255
PARAM_VALUE 0 *cstream->workspace->workspaceEnd 0-255
PARAM_VALUE 1 output 4049391269571252224
PARAM_VALUE 1 output->size 1-u32max
BUF_SIZE 0 cstream 16384
BUF_SIZE 0 cstream 16384
DATA_SOURCE 0 cstream r zstd_init_cstream
NOSPEC 0 cstream->expectedInBuffer.size
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 cstream->expectedInBuffer.pos 2-s32max[c]
HOST_DATA 0 cstream->expectedInBuffer.size 2-s32max[c]
USER_DATA 0 cstream->blockState.matchState.window->nextSrc 0-255
USER_DATA 0 cstream->expectedInBuffer.pos 1-4094[c]
USER_DATA 0 cstream->expectedInBuffer.size 0-1000000000[c]
USER_DATA 0 cstream->ldmState.window->nextSrc 0-255
USER_DATA 1 output->size 1-219420[c]
LOCK2 bh
HALF_LOCKED2 &acomp_ctx->mutex