Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

crypto/zstd.c zstd_decompress() -> zstd_decompress_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->dctx 4096-ptr_max
PARAM_VALUE 1 ctx->wksp 4096-ptr_max
PARAM_VALUE 1 ctx->wksp->bmi2 0-1
PARAM_VALUE 1 ctx->wksp->ddict 0
PARAM_VALUE 1 ctx->wksp->ddictIsCold 0
PARAM_VALUE 1 ctx->wksp->ddictLocal 0
PARAM_VALUE 1 ctx->wksp->ddictSet 0
PARAM_VALUE 1 ctx->wksp->dictEnd 0
PARAM_VALUE 1 ctx->wksp->dictUses 0
PARAM_VALUE 1 ctx->wksp->disableHufAsm 0
PARAM_VALUE 1 ctx->wksp->forceIgnoreChecksum 0
PARAM_VALUE 1 ctx->wksp->format 0
PARAM_VALUE 1 ctx->wksp->inBuffSize 0
PARAM_VALUE 1 ctx->wksp->isFrameDecompression 1
PARAM_VALUE 1 ctx->wksp->maxBlockSizeParam 0
PARAM_VALUE 1 ctx->wksp->maxWindowSize 134217729
PARAM_VALUE 1 ctx->wksp->noForwardProgress 0
PARAM_VALUE 1 ctx->wksp->outBuffSize 0
PARAM_VALUE 1 ctx->wksp->outBufferMode 0
PARAM_VALUE 1 ctx->wksp->oversizedDuration 0
PARAM_VALUE 1 ctx->wksp->refMultipleDDicts 0
PARAM_VALUE 1 ctx->wksp->streamStage 0
PARAM_VALUE 1 ctx->wksp_size 95960-u64max
PARAM_VALUE 1 *ctx->wksp->inBuff 0-255
PARAM_VALUE 4 dlen 7906968670677925888
BUF_SIZE 0 req (-1),176
BUF_SIZE 0 req (-1),176
BUF_SIZE 1 ctx->dctx (-1),1-s32max
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
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->dctx->expectedOutBuffer.size 1-83778[c]
NO_OVERFLOW_SIMPLE 0 req->chain.dsg.length
NO_OVERFLOW_SIMPLE 0 req->dst->length
LOCK2 bh
HALF_LOCKED2 &acomp_ctx->mutex