Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 bitD 3648400060900683776
PARAM_VALUE 2 srcSize 0-9223372036854775806
DATA_SOURCE 1 srcBuffer $2
DATA_SOURCE 2 srcSize $3
RX_PATH
TASK_NOT_RUNNING
UNITS 1 srcBuffer unit_byte

lib/zstd/decompress/huf_decompress.c HUF_decompress1X2_usingDTable_internal_body() -> BIT_initDStream()

Type Parameter Key Value
PARAM_VALUE 0 bitD 6774801235684147200
PARAM_VALUE 2 srcSize 0-9223372036854775806
DATA_SOURCE 1 srcBuffer $2
DATA_SOURCE 2 srcSize $3
RX_PATH
TASK_NOT_RUNNING
UNITS 1 srcBuffer unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 bitD 303264414692474880
PARAM_VALUE 1 srcBuffer 4096-ptr_max
PARAM_VALUE 2 srcSize 0-u16max
DATA_SOURCE 2 srcSize r MEM_readLE16
RX_PATH
TASK_NOT_RUNNING
UNITS 1 srcBuffer unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 bitD 1644625193545015296
PARAM_VALUE 2 srcSize 0-u16max
DATA_SOURCE 2 srcSize r MEM_readLE16
RX_PATH
TASK_NOT_RUNNING
UNITS 1 srcBuffer unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 bitD 7771953423906967552
PARAM_VALUE 1 srcBuffer 4096-ptr_max
PARAM_VALUE 2 srcSize 0-u16max
DATA_SOURCE 2 srcSize r MEM_readLE16
RX_PATH
TASK_NOT_RUNNING
UNITS 1 srcBuffer unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 bitD 4178830590180356096
CAPPED_DATA 2 srcSize 1
CAPPED_DATA 2 srcSize 1
RX_PATH
TASK_NOT_RUNNING
UNITS 1 srcBuffer unit_byte

lib/zstd/decompress/huf_decompress.c HUF_decompress4X2_usingDTable_internal_body() -> BIT_initDStream()

Type Parameter Key Value
PARAM_VALUE 0 bitD 43335880172765184
PARAM_VALUE 1 srcBuffer 4096-ptr_max
PARAM_VALUE 2 srcSize 0-u16max
DATA_SOURCE 2 srcSize r MEM_readLE16
RX_PATH
TASK_NOT_RUNNING
UNITS 1 srcBuffer unit_byte

lib/zstd/decompress/huf_decompress.c HUF_decompress4X2_usingDTable_internal_body() -> BIT_initDStream()

Type Parameter Key Value
PARAM_VALUE 0 bitD 150908724978429952
PARAM_VALUE 2 srcSize 0-u16max
DATA_SOURCE 2 srcSize r MEM_readLE16
RX_PATH
TASK_NOT_RUNNING
UNITS 1 srcBuffer unit_byte

lib/zstd/decompress/huf_decompress.c HUF_decompress4X2_usingDTable_internal_body() -> BIT_initDStream()

Type Parameter Key Value
PARAM_VALUE 0 bitD 508837910933233664
PARAM_VALUE 1 srcBuffer 4096-ptr_max
PARAM_VALUE 2 srcSize 0-u16max
DATA_SOURCE 2 srcSize r MEM_readLE16
RX_PATH
TASK_NOT_RUNNING
UNITS 1 srcBuffer unit_byte

lib/zstd/decompress/huf_decompress.c HUF_decompress4X2_usingDTable_internal_body() -> BIT_initDStream()

Type Parameter Key Value
PARAM_VALUE 0 bitD 8940829842582634496
CAPPED_DATA 2 srcSize 1
CAPPED_DATA 2 srcSize 1
RX_PATH
TASK_NOT_RUNNING
UNITS 1 srcBuffer unit_byte

lib/zstd/decompress/zstd_decompress_block.c ZSTD_decompressSequencesLong_body() -> BIT_initDStream()

Type Parameter Key Value
PARAM_VALUE 0 bitD 1945567605387571200
DATA_SOURCE 1 srcBuffer $3
RX_PATH
TASK_NOT_RUNNING
UNITS 1 srcBuffer unit_byte
UNITS 2 srcSize unit_byte

lib/zstd/decompress/zstd_decompress_block.c ZSTD_decompressSequences_body() -> BIT_initDStream()

Type Parameter Key Value
PARAM_VALUE 0 bitD 8307066676692934656
DATA_SOURCE 1 srcBuffer $3
RX_PATH
TASK_NOT_RUNNING
UNITS 1 srcBuffer unit_byte
UNITS 2 srcSize unit_byte

lib/zstd/decompress/zstd_decompress_block.c ZSTD_decompressSequences_bodySplitLitBuffer() -> BIT_initDStream()

Type Parameter Key Value
PARAM_VALUE 0 bitD 5236278125247270912
DATA_SOURCE 1 srcBuffer $3
RX_PATH
TASK_NOT_RUNNING
UNITS 1 srcBuffer unit_byte
UNITS 2 srcSize unit_byte

lib/zstd/common/fse_decompress.c FSE_decompress_usingDTable_generic() -> BIT_initDStream()

Type Parameter Key Value
PARAM_VALUE 0 bitD 7550210545080655872
PARAM_VALUE 1 srcBuffer 4096-ptr_max
PARAM_VALUE 1 *srcBuffer 0-255
DATA_SOURCE 1 srcBuffer $2
DATA_SOURCE 2 srcSize $3
RX_PATH
TASK_NOT_RUNNING
UNITS 1 srcBuffer unit_byte