Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/zstd/compress/zstd_compress.c ZSTD_customFree() -> (struct ZSTD_customMem)->customFree()

Type Parameter Key Value
PARAM_VALUE 1 address 1-u64max
BUF_SIZE 1 address (-1),16384
BUF_SIZE 1 address (-1),16384
DATA_SOURCE 1 address $0
CONTAINER 0 *(-8+16) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/zstd/decompress/zstd_decompress.c ZSTD_customFree() -> (struct ZSTD_customMem)->customFree()

Type Parameter Key Value
PARAM_VALUE 1 address 1-u64max
DATA_SOURCE 1 address $0
CONTAINER 0 *(-8+16) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/zstd/decompress/zstd_ddict.c ZSTD_customFree() -> (struct ZSTD_customMem)->customFree()

Type Parameter Key Value
PARAM_VALUE 1 address 1-u64max
DATA_SOURCE 1 address $0
CONTAINER 0 *(-8+16) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL