Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
lib/zstd/compress/zstd_compress.c ZSTD_compressStream2() -> ZSTD_setBufferExpectations()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cctx | 4096-ptr_max |
| PARAM_VALUE | 1 | output | 4096-ptr_max |
| PARAM_VALUE | 2 | input | 4096-ptr_max |
| BUF_SIZE | 0 | cctx | (-1),4097-s32max |
| BUF_SIZE | 0 | cctx | (-1),4097-s32max |
| CAPPED_DATA | 0 | cctx->blockSizeMax | 1 |
| CAPPED_DATA | 0 | cctx->inBuffSize | 1 |
| CAPPED_DATA | 0 | cctx->inBuffTarget | 1 |
| CAPPED_DATA | 0 | cctx->seqStore.maxNbLit | 1 |
| CAPPED_DATA | 0 | cctx->seqStore.maxNbSeq | 1 |
| CAPPED_DATA | 1 | output->pos | 1 |
| CAPPED_DATA | 1 | output->size | 1 |
| CAPPED_DATA | 2 | input->pos | 1 |
| DATA_SOURCE | 0 | cctx | $0 |
| DATA_SOURCE | 1 | output | $1 |
| DATA_SOURCE | 2 | input | $2 |
| PARAM_COMPARE | 1 | output->pos | <= $1->size |
| PARAM_COMPARE | 2 | input->pos | <= $2->size |
| CONSTRAINT | 1 | output->pos | <=4108 |
| CONSTRAINT | 2 | input->pos | <=4095 |
| NOSPEC | 2 | input->size | |
| MEM_ZERO | 0 | &cctx->prefixDict | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | cctx->expectedInBuffer.size | 1-u32max[c] |
| HOST_DATA | 2 | input->size | 1-u32max[c] |
| USER_DATA | 0 | cctx->expectedInBuffer.pos | 1-4094[c] |
| USER_DATA | 0 | cctx->expectedInBuffer.size | 0-1000000000[c] |
| USER_DATA | 1 | output->size | 1-83778[c] |
| USER_DATA | 2 | input->size | 1-4095[c] |
| HALF_LOCKED2 | bh |
lib/zstd/compress/zstd_compress.c ZSTD_compressStream2() -> ZSTD_setBufferExpectations()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cctx | 4096-ptr_max |
| PARAM_VALUE | 1 | output | 4096-ptr_max |
| PARAM_VALUE | 2 | input | 4096-ptr_max |
| BUF_SIZE | 0 | cctx | (-1),4097-s32max |
| BUF_SIZE | 0 | cctx | (-1),4097-s32max |
| CAPPED_DATA | 1 | output->size | 1 |
| DATA_SOURCE | 0 | cctx | $0 |
| DATA_SOURCE | 1 | output | $1 |
| DATA_SOURCE | 2 | input | $2 |
| CONSTRAINT | 1 | output->pos | <=4108 |
| CONSTRAINT | 2 | input->pos | <=4095 |
| NOSPEC | 0 | cctx->expectedInBuffer.size | |
| NOSPEC | 0 | cctx->xxhState->mem64 | |
| NOSPEC | 2 | input->size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | cctx->expectedInBuffer.size | 1-u32max[c] |
| HOST_DATA | 2 | input->size | 1-u32max[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->xxhState->mem64 | 0-255 |
| USER_DATA | 1 | output->size | 1-83778[c] |
| USER_DATA | 2 | input->size | 1-4095[c] |
| HALF_LOCKED2 | bh |