Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->base.flags 512-u32max
PARAM_VALUE 0 req->dlen 1-u32max
PARAM_VALUE 0 req->slen 1-u32max
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 1 ctx->cctx 4096-ptr_max
PARAM_VALUE 1 ctx->cctx->cParamsChanged 0-1
PARAM_VALUE 1 ctx->cctx->cdict->matchState.opt.priceType 0-1
PARAM_VALUE 1 ctx->cctx->cdict->useRowMatchFinder 1-4294967295
PARAM_VALUE 1 ctx->cctx->cdict->workspace.isStatic 0-1
PARAM_VALUE 1 ctx->cctx->localDict.cdict->cBlockState->rep 0-4294967295
PARAM_VALUE 1 ctx->cctx->localDict.cdict->matchState.dictMatchState->opt.priceType 0-1
PARAM_VALUE 1 ctx->cctx->localDict.cdict->matchState.ldmSeqStore->posInSequence 0-4294967294
PARAM_VALUE 1 ctx->cctx->localDict.cdict->useRowMatchFinder 1-4294967295
PARAM_VALUE 1 ctx->cctx->localDict.cdict->workspace->objectEnd 0-255
PARAM_VALUE 1 ctx->cctx->localDict.cdict->workspace.allocFailed 0
PARAM_VALUE 1 ctx->cctx->localDict.cdict->workspace.isStatic 0
PARAM_VALUE 1 ctx->cctx->localDict.dict 0
PARAM_VALUE 1 ctx->cctx->localDict.dictBuffer 0
PARAM_VALUE 1 ctx->cctx->localDict.dictContentType 0
PARAM_VALUE 1 ctx->cctx->localDict.dictSize 0
PARAM_VALUE 1 ctx->cctx->prefixDict.dict 0
PARAM_VALUE 1 ctx->cctx->prefixDict.dictContentType 0
PARAM_VALUE 1 ctx->cctx->prefixDict.dictSize 0
PARAM_VALUE 1 ctx->cctx->requestedParams.compressionLevel (-131072)-(-1),1-s32max
PARAM_VALUE 1 ctx->cctx->requestedParams.deterministicRefPrefix 0-1
PARAM_VALUE 1 ctx->cctx->requestedParams.enableDedicatedDictSearch 0-1
PARAM_VALUE 1 ctx->cctx->requestedParams.fParams.checksumFlag 0-1
PARAM_VALUE 1 ctx->cctx->requestedParams.fParams.contentSizeFlag 0-1
PARAM_VALUE 1 ctx->cctx->requestedParams.fParams.noDictIDFlag 0-1
PARAM_VALUE 1 ctx->cctx->requestedParams.forceWindow 0-1
PARAM_VALUE 1 ctx->cctx->requestedParams.jobSize 0
PARAM_VALUE 1 ctx->cctx->requestedParams.nbWorkers 0
PARAM_VALUE 1 ctx->cctx->requestedParams.overlapLog 0
PARAM_VALUE 1 ctx->cctx->requestedParams.rsyncable 0
PARAM_VALUE 1 ctx->cctx->requestedParams.targetCBlockSize 0,1340-s32max
PARAM_VALUE 1 ctx->cctx->stableIn_notConsumed 0-s64max
PARAM_VALUE 1 ctx->cctx->streamStage 0-2
PARAM_VALUE 1 ctx->wksp 1-u64max
PARAM_VALUE 1 ctx->wksp_size 5265-u64max
PARAM_VALUE 4 dlen 143104139152252928
BUF_SIZE 0 req (-1),176
BUF_SIZE 0 req (-1),176
BUF_SIZE 1 ctx->cctx 16384
CAPPED_DATA 0 req 1
CAPPED_DATA 0 req->dlen 1
CAPPED_DATA 0 req->slen 1
DATA_SOURCE 0 req $0
NOSPEC 0 req->slen
NOSPEC 0 req->src->length
NOSPEC 1 ctx->cctx->expectedInBuffer.size
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 req->slen 1-u32max[c]
HOST_DATA 0 req->src->length 0-2147483646[c]
USER_DATA 0 req->chain.ssg.length 128-4095[c]
USER_DATA 0 req->chain.ssg.offset 2-4095[c][u]
USER_DATA 0 req->dlen 64-4031[c]
USER_DATA 0 req->slen 128-4095[c]
USER_DATA 0 req->src->length 128-4095[c]
USER_DATA 0 req->src->offset 2-4095[c][u]
USER_DATA 1 ctx->cctx->blockState.matchState.window->nextSrc 0-255
USER_DATA 1 ctx->cctx->expectedInBuffer.size 0-1000000000[c]
USER_DATA 1 ctx->cctx->ldmState.window->nextSrc 0-255
NO_OVERFLOW_SIMPLE 0 req->chain.dsg.length
NO_OVERFLOW_SIMPLE 0 req->dst->length
LOCK2 bh
HALF_LOCKED2 &acomp_ctx->mutex