Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

lib/zstd/decompress/huf_decompress.c HUF_readDTableX1_wksp() -> MEM_write64()

Type Parameter Key Value
DATA_SOURCE 1 value r HUF_DEltX1_set4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/zstd/decompress/huf_decompress.c HUF_readDTableX1_wksp() -> MEM_write64()

Type Parameter Key Value
DATA_SOURCE 1 value r HUF_DEltX1_set4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/zstd/decompress/huf_decompress.c HUF_readDTableX1_wksp() -> MEM_write64()

Type Parameter Key Value
PARAM_VALUE 0 memPtr 4096-ptr_max
DATA_SOURCE 1 value r HUF_DEltX1_set4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/zstd/decompress/huf_decompress.c HUF_readDTableX1_wksp() -> MEM_write64()

Type Parameter Key Value
DATA_SOURCE 1 value r HUF_DEltX1_set4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/zstd/decompress/huf_decompress.c HUF_readDTableX1_wksp() -> MEM_write64()

Type Parameter Key Value
PARAM_VALUE 0 memPtr 4096-ptr_max
DATA_SOURCE 1 value r HUF_DEltX1_set4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/zstd/decompress/huf_decompress.c HUF_readDTableX1_wksp() -> MEM_write64()

Type Parameter Key Value
PARAM_VALUE 0 memPtr 4096-ptr_max
DATA_SOURCE 1 value r HUF_DEltX1_set4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/zstd/decompress/huf_decompress.c HUF_readDTableX1_wksp() -> MEM_write64()

Type Parameter Key Value
PARAM_VALUE 0 memPtr 4096-ptr_max
DATA_SOURCE 1 value r HUF_DEltX1_set4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/zstd/compress/fse_compress.c FSE_buildCTable_wksp() -> MEM_write64()

Type Parameter Key Value
PARAM_VALUE 0 memPtr 4096-ptr_max
PARAM_VALUE 0 *memPtr 0-255
PARAM_VALUE 1 value 0,72340172838076673-u64max
FUZZY_MAX 1 value 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/zstd/compress/fse_compress.c FSE_buildCTable_wksp() -> MEM_write64()

Type Parameter Key Value
PARAM_VALUE 0 memPtr 4096-ptr_max
PARAM_VALUE 0 *memPtr 0-255
PARAM_VALUE 1 value 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/zstd/decompress/zstd_decompress_block.c ZSTD_buildFSETable_body() -> MEM_write64()

Type Parameter Key Value
PARAM_VALUE 0 memPtr 4096-ptr_max
PARAM_VALUE 0 *memPtr 0-255
PARAM_VALUE 1 value 72340172838076673-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/zstd/decompress/zstd_decompress_block.c ZSTD_buildFSETable_body() -> MEM_write64()

Type Parameter Key Value
PARAM_VALUE 0 memPtr 4096-ptr_max
PARAM_VALUE 0 *memPtr 0-255
PARAM_VALUE 1 value 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 memPtr 4096-ptr_max
PARAM_VALUE 0 *memPtr 0-255
PARAM_VALUE 1 value 72340172838076673-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 memPtr unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 memPtr 4096-ptr_max
PARAM_VALUE 0 *memPtr 0-255
PARAM_VALUE 1 value 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 memPtr unit_byte