Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/zstd/common/fse_decompress.c FSE_buildDTable_wksp() -> FSE_buildDTable_internal()

Type Parameter Key Value
DATA_SOURCE 0 dt $0
DATA_SOURCE 1 normalizedCounter $1
DATA_SOURCE 2 maxSymbolValue $2
DATA_SOURCE 3 tableLog $3
DATA_SOURCE 4 workSpace $4
DATA_SOURCE 5 wkspSize $5

lib/zstd/common/fse_decompress.c FSE_decompress_wksp_body() -> FSE_buildDTable_internal()

Type Parameter Key Value
PARAM_VALUE 0 dt 4096-ptr_max
PARAM_VALUE 3 tableLog 5-6
PARAM_VALUE 4 workSpace 4096-ptr_max
PARAM_VALUE 4 *workSpace 0-255
BUF_SIZE 0 dt 364
BUF_SIZE 0 dt 364
BUF_SIZE 1 normalizedCounter 512
DATA_SOURCE 5 wkspSize $6
FUZZY_MAX 3 tableLog 6
HARD_MAX 3 tableLog 6
RX_PATH
TASK_NOT_RUNNING
UNITS 4 workSpace unit_byte
UNITS 5 wkspSize unit_byte