Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 zfhPtr 4096-ptr_max
BUF_SIZE 1 src (-1),18
BUF_SIZE 1 src (-1),18
DATA_SOURCE 1 src $1
DATA_SOURCE 2 srcSize $2
RX_PATH
TASK_NOT_RUNNING
UNITS 2 srcSize unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 zfhPtr 4096-ptr_max
PARAM_VALUE 1 *src 0-255
BUF_SIZE 1 src 18
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 zfhPtr 4096-ptr_max
PARAM_VALUE 1 *src 0-255
BUF_SIZE 1 src 18
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 zfhPtr 6799902753758322688
BUF_SIZE 1 src (-1)-s32max
BUF_SIZE 1 src (-1)-s32max
DATA_SOURCE 1 src $0
DATA_SOURCE 2 srcSize $1
DATA_SOURCE 3 format $2
RX_PATH
TASK_NOT_RUNNING
UNITS 1 src unit_byte
UNITS 2 srcSize unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 zfhPtr 1398641472905408512,3706299268240564224,3740580505850703872,3919541432945610752,4385578417386483712,4472646006707863552,5517835165055111168,6343405740326555648
PARAM_VALUE 3 format 0
BUF_SIZE 1 src (-1),8192,131072,139000
BUF_SIZE 1 src (-1),8192,131072,139000
DATA_SOURCE 0 zfhPtr $0
DATA_SOURCE 1 src $1
DATA_SOURCE 2 srcSize $2
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 2 srcSize 0-2147483646[c]
USER_DATA 2 srcSize 128-4095[c]
UNITS 1 src unit_byte
UNITS 2 srcSize unit_byte
BYTE_COUNT 1 ==src2 8050
USER_PTR 1 src