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_decodeSequence()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | seqState | 1945567605387571200 |
| PARAM_VALUE | 0 | seqState->stateLL.table | 4096-ptr_max |
| PARAM_VALUE | 0 | seqState->stateML.table | 4096-ptr_max |
| PARAM_VALUE | 0 | seqState->stateOffb.table | 4096-ptr_max |
| PARAM_VALUE | 1 | longOffsets | 0 |
| PARAM_VALUE | 2 | isLastSeq | 0-1 |
| DATA_SOURCE | 1 | longOffsets | $6 |
| FUZZY_MAX | 2 | isLastSeq | 1 |
| HARD_MAX | 2 | isLastSeq | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
lib/zstd/decompress/zstd_decompress_block.c ZSTD_decompressSequencesLong_body() -> ZSTD_decodeSequence()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | seqState | 1945567605387571200 |
| PARAM_VALUE | 0 | seqState->stateLL.table | 4096-ptr_max |
| PARAM_VALUE | 0 | seqState->stateML.table | 4096-ptr_max |
| PARAM_VALUE | 0 | seqState->stateOffb.table | 4096-ptr_max |
| PARAM_VALUE | 1 | longOffsets | 0 |
| PARAM_VALUE | 2 | isLastSeq | 0-1 |
| DATA_SOURCE | 1 | longOffsets | $6 |
| FUZZY_MAX | 2 | isLastSeq | 1 |
| HARD_MAX | 2 | isLastSeq | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
lib/zstd/decompress/zstd_decompress_block.c ZSTD_decompressSequences_body() -> ZSTD_decodeSequence()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | seqState | 8307066676692934656 |
| PARAM_VALUE | 0 | seqState->stateLL.table | 4096-ptr_max |
| PARAM_VALUE | 0 | seqState->stateML.table | 4096-ptr_max |
| PARAM_VALUE | 0 | seqState->stateOffb.table | 4096-ptr_max |
| PARAM_VALUE | 1 | longOffsets | 0 |
| PARAM_VALUE | 2 | isLastSeq | 0-1 |
| DATA_SOURCE | 1 | longOffsets | $6 |
| FUZZY_MAX | 2 | isLastSeq | 1 |
| HARD_MAX | 2 | isLastSeq | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
lib/zstd/decompress/zstd_decompress_block.c ZSTD_decompressSequences_bodySplitLitBuffer() -> ZSTD_decodeSequence()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | seqState | 5236278125247270912 |
| PARAM_VALUE | 0 | seqState->stateLL.table | 4096-ptr_max |
| PARAM_VALUE | 0 | seqState->stateML.table | 4096-ptr_max |
| PARAM_VALUE | 0 | seqState->stateOffb.table | 4096-ptr_max |
| PARAM_VALUE | 1 | longOffsets | 0 |
| PARAM_VALUE | 2 | isLastSeq | 0-1 |
| DATA_SOURCE | 1 | longOffsets | $6 |
| FUZZY_MAX | 2 | isLastSeq | 1 |
| HARD_MAX | 2 | isLastSeq | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
lib/zstd/decompress/zstd_decompress_block.c ZSTD_decompressSequences_bodySplitLitBuffer() -> ZSTD_decodeSequence()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | seqState | 5236278125247270912 |
| PARAM_VALUE | 0 | seqState->stateLL.table | 4096-ptr_max |
| PARAM_VALUE | 0 | seqState->stateML.table | 4096-ptr_max |
| PARAM_VALUE | 0 | seqState->stateOffb.table | 4096-ptr_max |
| PARAM_VALUE | 1 | longOffsets | 0 |
| PARAM_VALUE | 2 | isLastSeq | 0-1 |
| DATA_SOURCE | 1 | longOffsets | $6 |
| FUZZY_MAX | 2 | isLastSeq | 1 |
| HARD_MAX | 2 | isLastSeq | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |