Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 3 litPtr 35428357985685504
PARAM_VALUE 4 litLimit 4096-ptr_max
BUF_SIZE 0 op (-1)-s32max
BUF_SIZE 0 op (-1)-s32max
BUF_SIZE 1 oend (-1)-s32max
BUF_SIZE 1 oend (-1)-s32max
BUF_SIZE 4 litLimit 32
BUF_SIZE 4 litLimit 32
BUF_SIZE 5 prefixStart 1-s32max
BUF_SIZE 5 prefixStart 1-s32max
BUF_SIZE 7 dictEnd s32min,1-s32max
BUF_SIZE 7 dictEnd s32min,1-s32max
BIT_INFO 2 sequence 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 op unit_byte
UNITS 4 litLimit unit_byte
UNITS 5 prefixStart unit_byte
UNITS 6 virtualStart unit_byte
UNITS 7 dictEnd unit_byte

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

Type Parameter Key Value
PARAM_VALUE 3 litPtr 35428357985685504
BUF_SIZE 0 op (-1)-s32max
BUF_SIZE 0 op (-1)-s32max
BUF_SIZE 1 oend (-1)-s32max
BUF_SIZE 1 oend (-1)-s32max
BUF_SIZE 4 litLimit (-1),32
BUF_SIZE 4 litLimit (-1),32
BUF_SIZE 5 prefixStart 1-s32max
BUF_SIZE 5 prefixStart 1-s32max
BUF_SIZE 7 dictEnd s32min,1-s32max
BUF_SIZE 7 dictEnd s32min,1-s32max
BIT_INFO 2 sequence 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 op unit_byte
UNITS 1 oend unit_byte
UNITS 4 litLimit unit_byte
UNITS 5 prefixStart unit_byte
UNITS 6 virtualStart unit_byte
UNITS 7 dictEnd unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 op 4096-u64max
PARAM_VALUE 3 litPtr 35428357985685504
PARAM_VALUE 4 litLimit 4096-ptr_max
BUF_SIZE 1 oend (-1)-s32max
BUF_SIZE 1 oend (-1)-s32max
BUF_SIZE 4 litLimit 32
BUF_SIZE 4 litLimit 32
BUF_SIZE 5 prefixStart 1-s32max
BUF_SIZE 5 prefixStart 1-s32max
BUF_SIZE 7 dictEnd s32min,1-s32max
BUF_SIZE 7 dictEnd s32min,1-s32max
BIT_INFO 2 sequence 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 op unit_byte
UNITS 4 litLimit unit_byte
UNITS 5 prefixStart unit_byte
UNITS 6 virtualStart unit_byte
UNITS 7 dictEnd unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 op 4096-u64max
PARAM_VALUE 3 litPtr 35428357985685504
BUF_SIZE 1 oend (-1)-s32max
BUF_SIZE 1 oend (-1)-s32max
BUF_SIZE 4 litLimit (-1),32
BUF_SIZE 4 litLimit (-1),32
BUF_SIZE 5 prefixStart 1-s32max
BUF_SIZE 5 prefixStart 1-s32max
BUF_SIZE 7 dictEnd s32min,1-s32max
BUF_SIZE 7 dictEnd s32min,1-s32max
BIT_INFO 2 sequence 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 op unit_byte
UNITS 1 oend unit_byte
UNITS 4 litLimit unit_byte
UNITS 5 prefixStart unit_byte
UNITS 6 virtualStart unit_byte
UNITS 7 dictEnd unit_byte

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

Type Parameter Key Value
PARAM_VALUE 3 litPtr 8477057414857076736
PARAM_VALUE 4 litLimit 4096-ptr_max
BUF_SIZE 0 op (-1)-s32max
BUF_SIZE 0 op (-1)-s32max
BUF_SIZE 1 oend (-1)-s32max
BUF_SIZE 1 oend (-1)-s32max
BUF_SIZE 5 prefixStart 1-s32max
BUF_SIZE 5 prefixStart 1-s32max
BUF_SIZE 7 dictEnd s32min,1-s32max
BUF_SIZE 7 dictEnd s32min,1-s32max
DATA_SOURCE 2 sequence r ZSTD_decodeSequence
BIT_INFO 2 sequence 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 op unit_byte
UNITS 1 oend unit_byte
UNITS 4 litLimit unit_byte
UNITS 5 prefixStart unit_byte
UNITS 6 virtualStart unit_byte
UNITS 7 dictEnd unit_byte

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

Type Parameter Key Value
PARAM_VALUE 3 litPtr 2175003020332716032
PARAM_VALUE 4 litLimit 4096-ptr_max
BUF_SIZE 0 op (-1)-s32max
BUF_SIZE 0 op (-1)-s32max
BUF_SIZE 1 oend (-1)-s32max
BUF_SIZE 1 oend (-1)-s32max
BUF_SIZE 4 litLimit 32
BUF_SIZE 4 litLimit 32
BUF_SIZE 5 prefixStart 1-s32max
BUF_SIZE 5 prefixStart 1-s32max
BUF_SIZE 7 dictEnd s32min,1-s32max
BUF_SIZE 7 dictEnd s32min,1-s32max
DATA_SOURCE 1 oend r ZSTD_maybeNullPtrAdd
DATA_SOURCE 2 sequence r ZSTD_decodeSequence
BIT_INFO 2 sequence 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 op unit_byte
UNITS 4 litLimit unit_byte
UNITS 5 prefixStart unit_byte
UNITS 6 virtualStart unit_byte
UNITS 7 dictEnd unit_byte

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

Type Parameter Key Value
PARAM_VALUE 3 litPtr 2175003020332716032
PARAM_VALUE 4 litLimit 4096-ptr_max
BUF_SIZE 1 oend (-1)-s32max
BUF_SIZE 1 oend (-1)-s32max
BUF_SIZE 4 litLimit 32
BUF_SIZE 4 litLimit 32
BUF_SIZE 5 prefixStart 1-s32max
BUF_SIZE 5 prefixStart 1-s32max
BUF_SIZE 7 dictEnd s32min,1-s32max
BUF_SIZE 7 dictEnd s32min,1-s32max
DATA_SOURCE 1 oend r ZSTD_maybeNullPtrAdd
DATA_SOURCE 2 sequence r ZSTD_decodeSequence
BIT_INFO 2 sequence 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 op unit_byte
UNITS 4 litLimit unit_byte
UNITS 5 prefixStart unit_byte
UNITS 6 virtualStart unit_byte
UNITS 7 dictEnd unit_byte