Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
lib/zstd/decompress/huf_decompress.c BIT_reloadDStream() -> BIT_reloadDStream_internal()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bitD | 4096-ptr_max |
| PARAM_VALUE | 0 | bitD->bitsConsumed | 0-64 |
| PARAM_VALUE | 0 | bitD->limitPtr | 4096-ptr_max |
| PARAM_VALUE | 0 | bitD->ptr | 4096-u64max |
| CAPPED_DATA | 0 | bitD->limitPtr | 1 |
| DATA_SOURCE | 0 | bitD | $0 |
| FUZZY_MAX | 0 | bitD->bitsConsumed | 64 |
| PARAM_COMPARE | 0 | bitD->limitPtr | <= $0->ptr |
| RX_PATH | |||
| TASK_NOT_RUNNING |
lib/zstd/decompress/huf_decompress.c BIT_reloadDStreamFast() -> BIT_reloadDStream_internal()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bitD | 43335880172765184,150908724978429952,303264414692474880,508837910933233664,1644625193545015296,4178830590180356096,7771953423906967552,8940829842582634496 |
| PARAM_VALUE | 0 | bitD->limitPtr | 4096-ptr_max |
| PARAM_VALUE | 0 | bitD->ptr | 4096-u64max |
| CAPPED_DATA | 0 | bitD->limitPtr | 1 |
| DATA_SOURCE | 0 | bitD | $0 |
| PARAM_COMPARE | 0 | bitD->limitPtr | <= $0->ptr |
| RX_PATH | |||
| TASK_NOT_RUNNING |
lib/zstd/decompress/zstd_decompress_block.c BIT_reloadDStream() -> BIT_reloadDStream_internal()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bitD | 1945567605387571200,5236278125247270912,8307066676692934656 |
| PARAM_VALUE | 0 | bitD->bitsConsumed | 0-64 |
| CAPPED_DATA | 0 | bitD->limitPtr | 1 |
| DATA_SOURCE | 0 | bitD | $0 |
| FUZZY_MAX | 0 | bitD->bitsConsumed | 64 |
| PARAM_COMPARE | 0 | bitD->limitPtr | <= $0->ptr |
| RX_PATH | |||
| TASK_NOT_RUNNING |
lib/zstd/common/fse_decompress.c BIT_reloadDStream() -> BIT_reloadDStream_internal()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bitD | 7550210545080655872 |
| PARAM_VALUE | 0 | bitD->bitsConsumed | 0-64 |
| PARAM_VALUE | 0 | bitD->start | 4096-ptr_max |
| CAPPED_DATA | 0 | bitD->limitPtr | 1 |
| DATA_SOURCE | 0 | bitD | $0 |
| FUZZY_MAX | 0 | bitD->bitsConsumed | 64 |
| PARAM_COMPARE | 0 | bitD->limitPtr | <= $0->ptr |
| RX_PATH | |||
| TASK_NOT_RUNNING |