Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/zstd/decompress/zstd_decompress.c ZSTD_decompress_usingDDict() -> ZSTD_decompressMultiFrame()

Type Parameter Key Value
PARAM_VALUE 0 *dctx->entropy.hufTable 0-4294967295
PARAM_VALUE 0 *dctx->entropy.rep 0-4294967295
PARAM_VALUE 0 *dctx->entropy.workspace 0-4294967295
PARAM_VALUE 0 *dctx->workspace 0-4294967295
PARAM_VALUE 5 dict 0
PARAM_VALUE 6 dictSize 0
BUF_SIZE 0 dctx (-1),1-s32max
BUF_SIZE 0 dctx (-1),1-s32max
BUF_SIZE 1 dst (-1)-s32max
BUF_SIZE 1 dst (-1)-s32max
BUF_SIZE 3 src (-1)-s32max
BUF_SIZE 3 src (-1)-s32max
DATA_SOURCE 0 dctx $0
DATA_SOURCE 1 dst $1
DATA_SOURCE 2 dstCapacity $2
DATA_SOURCE 3 src $3
DATA_SOURCE 4 srcSize $4
DATA_SOURCE 7 ddict $5
NOSPEC 4 srcSize
NOSPEC 4 srcSize
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 4 srcSize 1-u32max[c]
USER_DATA 0 dctx->expectedOutBuffer.size 1-83778[c]
USER_DATA 2 dstCapacity 64-4031[c]
USER_DATA 4 srcSize 128-4095[c]
UNITS 1 dst unit_byte
UNITS 2 dstCapacity unit_byte
UNITS 3 src unit_byte
UNITS 4 srcSize unit_byte
BYTE_COUNT 1 ==dst2 8050
HALF_LOCKED2 &zstrm->lock

lib/zstd/decompress/zstd_decompress.c ZSTD_decompress_usingDict() -> ZSTD_decompressMultiFrame()

Type Parameter Key Value
PARAM_VALUE 7 ddict 0
DATA_SOURCE 0 dctx $0
DATA_SOURCE 1 dst $1
DATA_SOURCE 2 dstCapacity $2
DATA_SOURCE 3 src $3
DATA_SOURCE 4 srcSize $4
DATA_SOURCE 5 dict $5
DATA_SOURCE 6 dictSize $6