Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

lib/zstd/compress/zstd_compress_superblock.c ZSTD_estimateSubBlockSize_symbolType() -> HIST_countFast_wksp()

Type Parameter Key Value
PARAM_VALUE 1 maxSymbolValuePtr 5315279804004126720
PARAM_VALUE 1 *maxSymbolValuePtr 31,35,52
PARAM_VALUE 3 sourceSize 1-u64max
PARAM_VALUE 5 workSpaceSize 0,8920
CAPPED_DATA 3 sourceSize 1
CAPPED_DATA 3 sourceSize 1
DATA_SOURCE 0 count $9
DATA_SOURCE 2 source $1
DATA_SOURCE 3 sourceSize $3
DATA_SOURCE 4 workSpace $9
DATA_SOURCE 5 workSpaceSize $10
FUZZY_MAX 3 sourceSize 1
PARAM_COMPARE 0 count == $4
PARAM_COMPARE 0 count == $4
PARAM_COMPARE 4 workSpace == $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/zstd/compress/hist.c HIST_count_wksp() -> HIST_countFast_wksp()

Type Parameter Key Value
PARAM_VALUE 1 maxSymbolValuePtr 4096-ptr_max
PARAM_VALUE 1 *maxSymbolValuePtr 255
PARAM_VALUE 5 workSpaceSize 4096-u64max
BUF_SIZE 0 count (-1),1024
BUF_SIZE 0 count (-1),1024
BUF_SIZE 2 source (-1),524288
BUF_SIZE 2 source (-1),524288
BUF_SIZE 4 workSpace (-1),4096
BUF_SIZE 4 workSpace (-1),4096
DATA_SOURCE 0 count $0
DATA_SOURCE 1 maxSymbolValuePtr $1
DATA_SOURCE 2 source $2
DATA_SOURCE 3 sourceSize $3
DATA_SOURCE 4 workSpace $4
DATA_SOURCE 5 workSpaceSize $5
BIT_INFO 4 workSpace 0x0,0xfffffffffffffffc
BIT_INFO 4 workSpace 0x0,0xfffffffffffffffc
RX_PATH
TASK_NOT_RUNNING
UNITS 5 workSpaceSize unit_byte

lib/zstd/compress/zstd_compress.c ZSTD_buildSequencesStatistics() -> HIST_countFast_wksp()

Type Parameter Key Value
PARAM_VALUE 1 maxSymbolValuePtr 5860515996016775168
PARAM_VALUE 1 *maxSymbolValuePtr 35
PARAM_VALUE 3 sourceSize 1-u64max
PARAM_VALUE 4 workSpace 4096-ptr_max
DATA_SOURCE 0 count $7
DATA_SOURCE 3 sourceSize $1
DATA_SOURCE 4 workSpace $8
DATA_SOURCE 5 workSpaceSize $9
FUZZY_MAX 3 sourceSize 32512
RX_PATH
TASK_NOT_RUNNING

lib/zstd/compress/zstd_compress.c ZSTD_buildSequencesStatistics() -> HIST_countFast_wksp()

Type Parameter Key Value
PARAM_VALUE 1 maxSymbolValuePtr 5860515996016775168
PARAM_VALUE 1 *maxSymbolValuePtr 31
PARAM_VALUE 3 sourceSize 1-u64max
PARAM_VALUE 4 workSpace 4096-ptr_max
DATA_SOURCE 0 count $7
DATA_SOURCE 3 sourceSize $1
DATA_SOURCE 4 workSpace $8
DATA_SOURCE 5 workSpaceSize $9
FUZZY_MAX 3 sourceSize 32512
RX_PATH
TASK_NOT_RUNNING

lib/zstd/compress/zstd_compress.c ZSTD_buildSequencesStatistics() -> HIST_countFast_wksp()

Type Parameter Key Value
PARAM_VALUE 1 maxSymbolValuePtr 5860515996016775168
PARAM_VALUE 1 *maxSymbolValuePtr 52
PARAM_VALUE 3 sourceSize 1-u64max
PARAM_VALUE 4 workSpace 4096-ptr_max
DATA_SOURCE 0 count $7
DATA_SOURCE 3 sourceSize $1
DATA_SOURCE 4 workSpace $8
DATA_SOURCE 5 workSpaceSize $9
FUZZY_MAX 3 sourceSize 32512
RX_PATH
TASK_NOT_RUNNING

lib/zstd/compress/zstd_compress.c ZSTD_estimateBlockSize_symbolType() -> HIST_countFast_wksp()

Type Parameter Key Value
PARAM_VALUE 1 maxSymbolValuePtr 3474428426961084416
PARAM_VALUE 1 *maxSymbolValuePtr 31,35,52
PARAM_VALUE 2 source 4096-ptr_max
PARAM_VALUE 3 sourceSize 0-9223372036854771712,9223372036854779904-u64max
CAPPED_DATA 3 sourceSize 1
CAPPED_DATA 3 sourceSize 1
DATA_SOURCE 0 count $9
DATA_SOURCE 2 source $1
DATA_SOURCE 3 sourceSize $2
DATA_SOURCE 4 workSpace $9
DATA_SOURCE 5 workSpaceSize $10
FUZZY_MAX 3 sourceSize 128
PARAM_COMPARE 0 count == $4
PARAM_COMPARE 0 count == $4
PARAM_COMPARE 4 workSpace == $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL