Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
lib/lz4/lz4_compress.c LZ4_compress_destSize_generic() -> LZ4_wildCopy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | *dstPtr | 0-255 |
| PARAM_VALUE | 2 | dstEnd | 4096-ptr_max |
| PARAM_VALUE | 2 | *dstEnd | 0-255 |
| NOCHECK_CALL |
lib/lz4/lz4_compress.c LZ4_compress_generic() -> LZ4_wildCopy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | *dstPtr | 0-255 |
| PARAM_VALUE | 2 | dstEnd | 4096-ptr_max |
| PARAM_VALUE | 2 | *dstEnd | 0-255 |
| BUF_SIZE | 1 | srcPtr | (-1),1-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | srcPtr | unit_byte |
| UNITS | 2 | dstEnd | unit_byte |
| HALF_LOCKED2 | &zstrm->lock |
lib/lz4/lz4_decompress.c LZ4_decompress_generic() -> LZ4_wildCopy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | *dstPtr | 0-255 |
| PARAM_VALUE | 2 | dstEnd | 4096-ptr_max |
| PARAM_VALUE | 2 | *dstEnd | 0-255 |
| BUF_SIZE | 0 | dstPtr | (-1),2-4096,8192-s32max |
| PARAM_COMPARE | 0 | dstPtr | <= $2 |
| PARAM_COMPARE | 2 | dstEnd | >= $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | dstPtr | unit_byte |
| UNITS | 1 | srcPtr | unit_byte |
| UNITS | 2 | dstEnd | unit_byte |
| HALF_LOCKED2 | &zstrm->lock |
lib/lz4/lz4_decompress.c LZ4_decompress_generic() -> LZ4_wildCopy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dstPtr | 4096-18446744073709547519 |
| PARAM_VALUE | 0 | *dstPtr | 0-255 |
| PARAM_VALUE | 2 | dstEnd | 4097-ptr_max |
| PARAM_COMPARE | 0 | dstPtr | < $2 |
| PARAM_COMPARE | 2 | dstEnd | > $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | dstPtr | unit_byte |
| UNITS | 1 | srcPtr | unit_byte |
| UNITS | 2 | dstEnd | unit_byte |
| HALF_LOCKED2 | &zstrm->lock |
lib/lz4/lz4_decompress.c LZ4_decompress_generic() -> LZ4_wildCopy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dstPtr | 4096-ptr_max |
| PARAM_VALUE | 0 | *dstPtr | 0-255 |
| PARAM_VALUE | 1 | srcPtr | 4096-ptr_max |
| PARAM_VALUE | 1 | *srcPtr | 0-255 |
| PARAM_VALUE | 2 | dstEnd | 4096-ptr_max |
| PARAM_VALUE | 2 | *dstEnd | 0-255 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | dstPtr | unit_byte |
| UNITS | 1 | srcPtr | unit_byte |
| UNITS | 2 | dstEnd | unit_byte |
| HALF_LOCKED2 | &zstrm->lock |
lib/lz4/lz4hc_compress.c LZ4HC_encodeSequence() -> LZ4_wildCopy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | *dstPtr | 0-255 |
| PARAM_VALUE | 2 | dstEnd | 4096-ptr_max |
| PARAM_VALUE | 2 | *dstEnd | 0-255 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &zstrm->lock |