Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
lib/zstd/decompress/zstd_decompress.c ZSTD_loadDEntropy() -> ZSTD_buildFSETable()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | normalizedCounter | 2307718475170394112 |
| PARAM_VALUE | 2 | maxSymbolValue | 0-31 |
| PARAM_VALUE | 3 | baseValue | 3213240838379819008 |
| PARAM_VALUE | 4 | nbAdditionalBits | 3887931617266032640 |
| PARAM_VALUE | 5 | tableLog | 5-8 |
| PARAM_VALUE | 7 | wkspSize | 628 |
| PARAM_VALUE | 8 | bmi2 | 0 |
| BUF_SIZE | 0 | dt | 2056 |
| BUF_SIZE | 1 | normalizedCounter | 64 |
| BUF_SIZE | 3 | baseValue | 128 |
| BUF_SIZE | 4 | nbAdditionalBits | 32 |
| BUF_SIZE | 6 | wksp | 628 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 7 | wkspSize | unit_byte |
lib/zstd/decompress/zstd_decompress.c ZSTD_loadDEntropy() -> ZSTD_buildFSETable()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | normalizedCounter | 3913502241267687424 |
| PARAM_VALUE | 2 | maxSymbolValue | 0-52 |
| PARAM_VALUE | 3 | baseValue | 3773305303679823872 |
| PARAM_VALUE | 4 | nbAdditionalBits | 137350739193262080 |
| PARAM_VALUE | 5 | tableLog | 5-9 |
| PARAM_VALUE | 6 | *wksp | 0-65534 |
| PARAM_VALUE | 7 | wkspSize | 628 |
| PARAM_VALUE | 8 | bmi2 | 0 |
| BUF_SIZE | 0 | dt | 4104 |
| BUF_SIZE | 1 | normalizedCounter | 106 |
| BUF_SIZE | 3 | baseValue | 212 |
| BUF_SIZE | 4 | nbAdditionalBits | 53 |
| BUF_SIZE | 6 | wksp | 628 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 7 | wkspSize | unit_byte |
lib/zstd/decompress/zstd_decompress.c ZSTD_loadDEntropy() -> ZSTD_buildFSETable()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | normalizedCounter | 3609068665887596544 |
| PARAM_VALUE | 2 | maxSymbolValue | 0-35 |
| PARAM_VALUE | 3 | baseValue | 858740015652753408 |
| PARAM_VALUE | 4 | nbAdditionalBits | 8980838811294052352 |
| PARAM_VALUE | 5 | tableLog | 5-9 |
| PARAM_VALUE | 6 | *wksp | 0-65534 |
| PARAM_VALUE | 7 | wkspSize | 628 |
| PARAM_VALUE | 8 | bmi2 | 0 |
| BUF_SIZE | 0 | dt | 4104 |
| BUF_SIZE | 1 | normalizedCounter | 72 |
| BUF_SIZE | 3 | baseValue | 144 |
| BUF_SIZE | 4 | nbAdditionalBits | 36 |
| BUF_SIZE | 6 | wksp | 628 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 7 | wkspSize | unit_byte |
lib/zstd/decompress/zstd_decompress_block.c ZSTD_buildSeqTable() -> ZSTD_buildFSETable()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | normalizedCounter | 8143892829887868928 |
| PARAM_VALUE | 3 | baseValue | 4720519248116252672,6568295317588901888,7509281523194744832 |
| PARAM_VALUE | 4 | nbAdditionalBits | 2250170199829340160,4799251511336886272,8187795303940218880 |
| PARAM_VALUE | 5 | tableLog | 5-9 |
| PARAM_VALUE | 7 | wkspSize | 2560 |
| BUF_SIZE | 0 | dt | 2056,4104 |
| BUF_SIZE | 0 | dt | 2056,4104 |
| BUF_SIZE | 1 | normalizedCounter | 106 |
| BUF_SIZE | 3 | baseValue | 128,144,212 |
| BUF_SIZE | 3 | baseValue | 128,144,212 |
| BUF_SIZE | 4 | nbAdditionalBits | 32,36,53 |
| BUF_SIZE | 4 | nbAdditionalBits | 32,36,53 |
| BUF_SIZE | 6 | wksp | 2560 |
| CAPPED_DATA | 5 | tableLog | 1 |
| DATA_SOURCE | 0 | dt | $0 |
| DATA_SOURCE | 2 | maxSymbolValue | $3 [m] |
| DATA_SOURCE | 3 | baseValue | $7 |
| DATA_SOURCE | 4 | nbAdditionalBits | $8 |
| DATA_SOURCE | 6 | wksp | $13 |
| DATA_SOURCE | 7 | wkspSize | $14 |
| DATA_SOURCE | 8 | bmi2 | $15 |
| FUZZY_MAX | 5 | tableLog | 9 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 7 | wkspSize | unit_byte |