Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/zstd/compress/zstd_compress.c ZSTD_compressBlock_targetCBlockSize_body() -> ZSTD_rleCompressBlock()

Type Parameter Key Value
PARAM_VALUE 0 *dst 0-255
PARAM_VALUE 1 dstCapacity 6-u64max
PARAM_VALUE 4 lastBlock 0-1
BUF_SIZE 0 dst (-1),8192
BUF_SIZE 0 dst (-1),8192
CAPPED_DATA 3 srcSize 1
CAPPED_DATA 3 srcSize 1
CAPPED_DATA 4 lastBlock 1
DATA_SOURCE 0 dst $1
DATA_SOURCE 1 dstCapacity $2
DATA_SOURCE 3 srcSize $4
DATA_SOURCE 4 lastBlock $6
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 src 0-255
UNITS 0 dst unit_byte
UNITS 1 dstCapacity unit_byte
UNITS 3 srcSize unit_byte

lib/zstd/compress/zstd_compress.c ZSTD_compressSeqStore_singleBlock() -> ZSTD_rleCompressBlock()

Type Parameter Key Value
PARAM_VALUE 0 *dst 0-255
PARAM_VALUE 1 dstCapacity 3-u64max
PARAM_VALUE 4 lastBlock 0-1
BUF_SIZE 0 dst (-1),8192
CAPPED_DATA 4 lastBlock 1
DATA_SOURCE 0 dst $4
DATA_SOURCE 1 dstCapacity $5
DATA_SOURCE 3 srcSize $7
DATA_SOURCE 4 lastBlock $8
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 src 0-255
UNITS 0 dst unit_byte
UNITS 1 dstCapacity unit_byte
UNITS 3 srcSize unit_byte

lib/zstd/compress/zstd_compress.c ZSTD_compressSequences_internal() -> ZSTD_rleCompressBlock()

Type Parameter Key Value
PARAM_VALUE 1 dstCapacity 3-u64max
PARAM_VALUE 3 srcSize 7-u64max
PARAM_VALUE 4 lastBlock 0-1
DATA_SOURCE 1 dstCapacity $2 [m]
FUZZY_MAX 1 dstCapacity 3
FUZZY_MAX 4 lastBlock 1
HARD_MAX 4 lastBlock 1