Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/zstd/compress/zstd_compress.c ZSTD_compressContinue_internal() -> ZSTD_window_update()

Type Parameter Key Value
PARAM_VALUE 0 window 4096-ptr_max
PARAM_VALUE 2 srcSize 1-u64max
DATA_SOURCE 1 src $3
DATA_SOURCE 2 srcSize $4
RX_PATH
TASK_NOT_RUNNING
UNITS 1 src unit_byte
UNITS 2 srcSize unit_byte

lib/zstd/compress/zstd_compress.c ZSTD_compressContinue_internal() -> ZSTD_window_update()

Type Parameter Key Value
PARAM_VALUE 0 window 4096-ptr_max
PARAM_VALUE 2 srcSize 1-u64max
PARAM_VALUE 3 forceNonContiguous 0
DATA_SOURCE 1 src $3
DATA_SOURCE 2 srcSize $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 src unit_byte
UNITS 2 srcSize unit_byte

lib/zstd/compress/zstd_compress.c ZSTD_loadDictionaryContent() -> ZSTD_window_update()

Type Parameter Key Value
PARAM_VALUE 0 window 4096-ptr_max
PARAM_VALUE 0 window->base 4274302372899520512
PARAM_VALUE 0 window->dictBase 4274302372899520512
PARAM_VALUE 0 window->nextSrc 4274302372899520514
PARAM_VALUE 1 src 1-u64max
PARAM_VALUE 2 srcSize 0-3670015998
PARAM_VALUE 3 forceNonContiguous 0
BUF_SIZE 1 src (-1),16384
BUF_SIZE 1 src (-1),16384
CAPPED_DATA 2 srcSize 1
CAPPED_DATA 2 srcSize 1
DATA_SOURCE 1 src $4 [m]
DATA_SOURCE 2 srcSize $5 [m]
FUZZY_MAX 2 srcSize 624951296
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/zstd/compress/zstd_compress.c ZSTD_loadDictionaryContent() -> ZSTD_window_update()

Type Parameter Key Value
PARAM_VALUE 0 window 4096-ptr_max
PARAM_VALUE 0 window->base 4274302372899520512
PARAM_VALUE 0 window->dictBase 4274302372899520512
PARAM_VALUE 0 window->dictLimit 2
PARAM_VALUE 0 window->lowLimit 2
PARAM_VALUE 0 window->nextSrc 4274302372899520514
PARAM_VALUE 1 src 1-u64max
PARAM_VALUE 2 srcSize 0-3670015998
PARAM_VALUE 3 forceNonContiguous 0
BUF_SIZE 1 src (-1),16384
BUF_SIZE 1 src (-1),16384
CAPPED_DATA 1 src 1
CAPPED_DATA 2 srcSize 1
CAPPED_DATA 2 srcSize 1
DATA_SOURCE 1 src $4 [m]
DATA_SOURCE 2 srcSize $5 [m]
FUZZY_MAX 2 srcSize 624951296
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL