Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/zstd/decompress/zstd_decompress.c ZSTD_decompressBegin_usingDict() -> ZSTD_decompress_insertDictionary()

Type Parameter Key Value
PARAM_VALUE 0 dctx 4096-ptr_max
PARAM_VALUE 0 dctx->HUFptr 4096-ptr_max
PARAM_VALUE 0 dctx->bType 3
PARAM_VALUE 0 dctx->decodedSize 0
PARAM_VALUE 0 dctx->dictEnd 0
PARAM_VALUE 0 dctx->dictID 0
PARAM_VALUE 0 dctx->expected 1,5
PARAM_VALUE 0 dctx->fseEntropy 0
PARAM_VALUE 0 dctx->isFrameDecompression 1
PARAM_VALUE 0 dctx->litEntropy 0
PARAM_VALUE 0 dctx->prefixStart 0
PARAM_VALUE 0 dctx->previousDstEnd 0
PARAM_VALUE 0 dctx->processedCSize 0
PARAM_VALUE 0 dctx->stage 0
PARAM_VALUE 0 dctx->virtualStart 0
PARAM_VALUE 0 *dctx->entropy.rep 1
PARAM_VALUE 0 *dctx->entropy.workspace 0-4294967295
PARAM_VALUE 0 *dctx->workspace 0-4294967295
PARAM_VALUE 1 dict 1-u64max
PARAM_VALUE 2 dictSize 1-u64max
BUF_SIZE 0 dctx (-1),1-s32max
BUF_SIZE 0 dctx (-1),1-s32max
DATA_SOURCE 0 dctx $0
DATA_SOURCE 1 dict $1
DATA_SOURCE 2 dictSize $2
NOSPEC 0 dctx->xxhState->mem64
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 dctx->expectedOutBuffer.size 1-51866[c]
USER_DATA 0 dctx->xxhState->mem64 0-255