Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/zstd/compress/zstd_compress.c ZSTD_compressStream_generic() -> ZSTD_nextInputSizeHint()

Type Parameter Key Value
PARAM_VALUE 0 cctx 4096-ptr_max
BUF_SIZE 0 cctx (-1),4097-s32max
BUF_SIZE 0 cctx (-1),4097-s32max
DATA_SOURCE 0 cctx $0
PARAM_COMPARE 0 cctx->inBuffPos <= $0->inBuffTarget
PARAM_COMPARE 0 cctx->inBuffTarget >= $0->inToCompress
NOSPEC 0 cctx->xxhState->mem64
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 cctx->expectedInBuffer.pos 2-s32max[c]
HOST_DATA 0 cctx->expectedInBuffer.size 2-s32max[c]
USER_DATA 0 cctx->blockState.matchState.window->nextSrc 0-255
USER_DATA 0 cctx->expectedInBuffer.pos 1-4094[c]
USER_DATA 0 cctx->expectedInBuffer.size 0-1000000000[c]
USER_DATA 0 cctx->ldmState.window->nextSrc 0-255
USER_DATA 0 cctx->xxhState->mem64 0-255
USER_DATA 0 *cctx->ldmState.window.nextSrc 0-255
HALF_LOCKED2 bh

lib/zstd/compress/zstd_compress.c ZSTD_nextInputSizeHint_MTorST() -> ZSTD_nextInputSizeHint()

Type Parameter Key Value
PARAM_VALUE 0 cctx 0,4096-ptr_max
PARAM_VALUE 0 cctx->inBuffPos 0
BUF_SIZE 0 cctx 4097-s32max
BUF_SIZE 0 cctx 4097-s32max
DATA_SOURCE 0 cctx $0
NOSPEC 0 cctx->expectedInBuffer.size
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 cctx->expectedInBuffer.pos 2-s32max[c]
HOST_DATA 0 cctx->expectedInBuffer.size 2-s32max[c]
USER_DATA 0 cctx->blockState.matchState.window->nextSrc 0-255
USER_DATA 0 cctx->expectedInBuffer.pos 1-4095[c]
USER_DATA 0 cctx->expectedInBuffer.size 0-1000000000[c]
USER_DATA 0 cctx->xxhState->mem64 0-255
HALF_LOCKED2 bh