Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/zstd/compress/zstd_opt.c ZSTD_optLdm_processMatchCandidate() -> ZSTD_optLdm_skipRawSeqStoreBytes()

Type Parameter Key Value
PARAM_VALUE 0 rawSeqStore 5486505422722572288
PARAM_VALUE 0 rawSeqStore->pos 0-18446744073709551614
PARAM_VALUE 0 rawSeqStore->posInSequence 0-4294967294
PARAM_VALUE 0 rawSeqStore->size 1-u64max
PARAM_VALUE 1 nbBytes 1-u32max
NOCHECK_CALL
UNITS 1 nbBytes unit_byte

lib/zstd/compress/zstd_opt.c ZSTD_opt_getNextMatchAndUpdateSeqStore() -> ZSTD_optLdm_skipRawSeqStoreBytes()

Type Parameter Key Value
PARAM_VALUE 0 rawSeqStore 5486505422722572288
PARAM_VALUE 0 rawSeqStore->pos 0-18446744073709551614
PARAM_VALUE 0 rawSeqStore->posInSequence 0-4294967294
PARAM_VALUE 0 rawSeqStore->seq 4096-ptr_max
PARAM_VALUE 0 rawSeqStore->size 1-u64max
CAPPED_DATA 1 nbBytes 1
DATA_SOURCE 1 nbBytes $2
NOCHECK_CALL
UNITS 1 nbBytes unit_byte

lib/zstd/compress/zstd_opt.c ZSTD_opt_getNextMatchAndUpdateSeqStore() -> ZSTD_optLdm_skipRawSeqStoreBytes()

Type Parameter Key Value
PARAM_VALUE 0 rawSeqStore 5486505422722572288
PARAM_VALUE 0 rawSeqStore->pos 0-18446744073709551614
PARAM_VALUE 0 rawSeqStore->posInSequence 0-4294967294
PARAM_VALUE 0 rawSeqStore->seq 4096-ptr_max
PARAM_VALUE 0 rawSeqStore->size 1-u64max
PARAM_VALUE 1 nbBytes 0-u32max
CAPPED_DATA 1 nbBytes 1
NOCHECK_CALL
UNITS 1 nbBytes unit_byte

lib/zstd/compress/zstd_opt.c ZSTD_opt_getNextMatchAndUpdateSeqStore() -> ZSTD_optLdm_skipRawSeqStoreBytes()

Type Parameter Key Value
PARAM_VALUE 0 rawSeqStore 5486505422722572288
PARAM_VALUE 0 rawSeqStore->pos 0-18446744073709551614
PARAM_VALUE 0 rawSeqStore->posInSequence 0-4294967294
PARAM_VALUE 0 rawSeqStore->seq 4096-ptr_max
PARAM_VALUE 0 rawSeqStore->size 1-u64max
PARAM_VALUE 1 nbBytes 0-u32max
NOCHECK_CALL
UNITS 1 nbBytes unit_byte