Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
lib/zstd/decompress/huf_decompress.c HUF_decodeLastSymbolX2() -> BIT_skipBits()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bitD | 43335880172765184,150908724978429952,508837910933233664,4957156414293278720,6774801235684147200,8940829842582634496 |
| PARAM_VALUE | 1 | nbBits | 0-255 |
| DATA_SOURCE | 0 | bitD | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
lib/zstd/decompress/huf_decompress.c HUF_decodeLastSymbolX2() -> BIT_skipBits()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bitD | 43335880172765184,150908724978429952,508837910933233664,4957156414293278720,6774801235684147200,8940829842582634496 |
| PARAM_VALUE | 0 | bitD->bitsConsumed | 0-63 |
| PARAM_VALUE | 1 | nbBits | 0-255 |
| DATA_SOURCE | 0 | bitD | $1 |
| FUZZY_MAX | 0 | bitD->bitsConsumed | 63 |
| HARD_MAX | 0 | bitD->bitsConsumed | 63 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
lib/zstd/decompress/huf_decompress.c HUF_decodeSymbolX1() -> BIT_skipBits()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bitD | 303264414692474880,1644625193545015296,2785148041499987968,3648400060900683776,4178830590180356096,7771953423906967552 |
| PARAM_VALUE | 1 | nbBits | 0-255 |
| DATA_SOURCE | 0 | bitD | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
lib/zstd/decompress/huf_decompress.c HUF_decodeSymbolX2() -> BIT_skipBits()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bitD | 43335880172765184,150908724978429952,508837910933233664,4957156414293278720,6774801235684147200,8940829842582634496 |
| PARAM_VALUE | 1 | nbBits | 0-255 |
| DATA_SOURCE | 0 | bitD | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
lib/zstd/decompress/zstd_decompress_block.c BIT_readBits() -> BIT_skipBits()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bitD | 1945567605387571200,5236278125247270912,8307066676692934656 |
| DATA_SOURCE | 0 | bitD | $0 |
| DATA_SOURCE | 1 | nbBits | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
lib/zstd/decompress/zstd_decompress_block.c BIT_readBitsFast() -> BIT_skipBits()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bitD | 1945567605387571200,5236278125247270912,8307066676692934656 |
| PARAM_VALUE | 1 | nbBits | 1-255 |
| DATA_SOURCE | 0 | bitD | $0 |
| DATA_SOURCE | 1 | nbBits | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
lib/zstd/common/fse_decompress.c BIT_readBits() -> BIT_skipBits()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bitD | 7550210545080655872 |
| DATA_SOURCE | 0 | bitD | $0 |
| DATA_SOURCE | 1 | nbBits | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
lib/zstd/common/fse_decompress.c BIT_readBitsFast() -> BIT_skipBits()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bitD | 7550210545080655872 |
| PARAM_VALUE | 1 | nbBits | 0-255 |
| DATA_SOURCE | 0 | bitD | $0 |
| DATA_SOURCE | 1 | nbBits | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |