Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/zstd/decompress/zstd_decompress.c ZSTD_decompressContinue() -> ZSTD_frameHeaderSize_internal()

Type Parameter Key Value
PARAM_VALUE 0 *src 0-255
PARAM_VALUE 1 srcSize 1-u64max
BUF_SIZE 0 src (-1)-s32max
BUF_SIZE 0 src (-1)-s32max
CAPPED_DATA 1 srcSize 1
CAPPED_DATA 1 srcSize 1
DATA_SOURCE 0 src $3
DATA_SOURCE 1 srcSize $4
RX_PATH
TASK_NOT_RUNNING
UNITS 0 src unit_byte
UNITS 1 srcSize unit_byte

lib/zstd/decompress/zstd_decompress.c ZSTD_decompressFrame() -> ZSTD_frameHeaderSize_internal()

Type Parameter Key Value
PARAM_VALUE 1 srcSize 1,5
FUZZY_MAX 1 srcSize 5
HARD_MAX 1 srcSize 5
RX_PATH
TASK_NOT_RUNNING

lib/zstd/decompress/zstd_decompress.c ZSTD_frameHeaderSize() -> ZSTD_frameHeaderSize_internal()

Type Parameter Key Value
PARAM_VALUE 2 format 0
DATA_SOURCE 0 src $0
DATA_SOURCE 1 srcSize $1

lib/zstd/decompress/zstd_decompress.c ZSTD_getFrameHeader_advanced() -> ZSTD_frameHeaderSize_internal()

Type Parameter Key Value
PARAM_VALUE 1 srcSize 1-u64max
BUF_SIZE 0 src (-1)-s32max
BUF_SIZE 0 src (-1)-s32max
DATA_SOURCE 0 src $1
DATA_SOURCE 1 srcSize $2
DATA_SOURCE 2 format $3
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 srcSize 1-2147483646[c]
USER_DATA 1 srcSize 128-4095[c]
UNITS 0 src unit_byte
UNITS 1 srcSize unit_byte
USER_PTR 0 src