Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/zstd/decompress/huf_decompress.c HUF_decompress1X1_usingDTable_internal_body() -> HUF_decodeStreamX1()

Type Parameter Key Value
PARAM_VALUE 1 bitDPtr 3648400060900683776
PARAM_VALUE 1 bitDPtr->limitPtr 4096-ptr_max
PARAM_VALUE 3 dt 4096-ptr_max
PARAM_VALUE 4 dtLog 0-255
BUF_SIZE 0 p (-1),65568
BUF_SIZE 0 p (-1),65568
BUF_SIZE 2 pEnd (-1),65568
BUF_SIZE 2 pEnd (-1),65568
DATA_SOURCE 0 p $0
DATA_SOURCE 2 pEnd r ZSTD_maybeNullPtrAdd
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 p unit_byte

lib/zstd/decompress/huf_decompress.c HUF_decompress4X1_usingDTable_internal_body() -> HUF_decodeStreamX1()

Type Parameter Key Value
PARAM_VALUE 0 p 0-ptr_max
PARAM_VALUE 1 bitDPtr 303264414692474880
PARAM_VALUE 1 bitDPtr->limitPtr 4096-ptr_max
PARAM_VALUE 2 pEnd 4096-ptr_max
PARAM_VALUE 3 dt 4096-ptr_max
PARAM_VALUE 4 dtLog 0-255
BUF_SIZE 0 p (-1),65568
BUF_SIZE 0 p (-1),65568
BUF_SIZE 3 dt 16384
BUF_SIZE 3 dt 16384
CAPPED_DATA 0 p 1
PARAM_COMPARE 0 p <= $2
PARAM_COMPARE 0 p <= $2
PARAM_COMPARE 2 pEnd >= $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 p unit_byte
UNITS 2 pEnd unit_byte

lib/zstd/decompress/huf_decompress.c HUF_decompress4X1_usingDTable_internal_body() -> HUF_decodeStreamX1()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-u64max
PARAM_VALUE 1 bitDPtr 1644625193545015296
PARAM_VALUE 1 bitDPtr->limitPtr 4096-ptr_max
PARAM_VALUE 2 pEnd 4096-u64max
PARAM_VALUE 3 dt 4096-ptr_max
PARAM_VALUE 4 dtLog 0-255
BUF_SIZE 3 dt 16384
BUF_SIZE 3 dt 16384
CAPPED_DATA 0 p 1
PARAM_COMPARE 0 p <= $2
PARAM_COMPARE 0 p <= $2
PARAM_COMPARE 2 pEnd >= $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 p unit_byte
UNITS 2 pEnd unit_byte

lib/zstd/decompress/huf_decompress.c HUF_decompress4X1_usingDTable_internal_body() -> HUF_decodeStreamX1()

Type Parameter Key Value
PARAM_VALUE 0 p 0-ptr_max
PARAM_VALUE 1 bitDPtr 7771953423906967552
PARAM_VALUE 1 bitDPtr->limitPtr 4096-ptr_max
PARAM_VALUE 2 pEnd 4096-ptr_max
PARAM_VALUE 3 dt 4096-ptr_max
PARAM_VALUE 4 dtLog 0-255
BUF_SIZE 3 dt 16384
BUF_SIZE 3 dt 16384
CAPPED_DATA 0 p 1
CAPPED_DATA 2 pEnd 1
PARAM_COMPARE 0 p <= $2
PARAM_COMPARE 0 p <= $2
PARAM_COMPARE 2 pEnd >= $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 p unit_byte
UNITS 2 pEnd unit_byte

lib/zstd/decompress/huf_decompress.c HUF_decompress4X1_usingDTable_internal_body() -> HUF_decodeStreamX1()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-u64max
PARAM_VALUE 1 bitDPtr 4178830590180356096
PARAM_VALUE 1 bitDPtr->limitPtr 4096-ptr_max
PARAM_VALUE 2 pEnd 4096-ptr_max
PARAM_VALUE 3 dt 4096-ptr_max
PARAM_VALUE 4 dtLog 0-255
BUF_SIZE 3 dt 16384
BUF_SIZE 3 dt 16384
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 p unit_byte
UNITS 2 pEnd unit_byte

lib/zstd/decompress/huf_decompress.c HUF_decompress4X1_usingDTable_internal_fast() -> HUF_decodeStreamX1()

Type Parameter Key Value
PARAM_VALUE 1 bitDPtr 2785148041499987968
PARAM_VALUE 1 bitDPtr->limitPtr 4096-ptr_max
PARAM_VALUE 2 pEnd 4096-u64max
PARAM_VALUE 3 dt 4096-ptr_max
PARAM_VALUE 4 dtLog 11
BUF_SIZE 0 p 65568
BUF_SIZE 3 dt 16384
BUF_SIZE 3 dt 16384
RX_PATH
TASK_NOT_RUNNING
UNITS 2 pEnd unit_byte