Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

crypto/scompress.c scomp_acomp_comp_decomp() -> crypto_scomp_compress()

Type Parameter Key Value
PARAM_VALUE 1 src 0,18379471554275704832,18446612682070032384
PARAM_VALUE 2 slen 1-u32max
PARAM_VALUE 4 dlen 1005880786600534016
PARAM_VALUE 4 *dlen 1-u32max
BUF_SIZE 3 dst (-1),2-s32max
BUF_SIZE 3 dst (-1),2-s32max
CAPPED_DATA 2 slen 1
NOSPEC 2 slen
NOSPEC 2 slen
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 2 slen 1-u32max[c]
HOST_DATA 4 *dlen 1-2147483646[c]
USER_DATA 2 slen 128-4095[c]
USER_DATA 4 *dlen 64-4031[c]
NO_OVERFLOW_SIMPLE 2 slen
NO_OVERFLOW_SIMPLE 4 *dlen
UNITS 2 slen unit_byte
UNITS 3 dst unit_byte
USER_PTR 4 dlen
LOCK2 bh
HALF_LOCKED2 &acomp_ctx->mutex

crypto/scompress.c scomp_acomp_comp_decomp() -> crypto_scomp_compress()

Type Parameter Key Value
PARAM_VALUE 2 slen 1-u32max
PARAM_VALUE 4 dlen 1005880786600534016
PARAM_VALUE 4 *dlen 1-u32max
BUF_SIZE 1 src (-1),2-s32max
BUF_SIZE 1 src (-1),2-s32max
BUF_SIZE 3 dst (-1),2-s32max
BUF_SIZE 3 dst (-1),2-s32max
CAPPED_DATA 2 slen 1
NOSPEC 2 slen
NOSPEC 2 slen
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 2 slen 1-u32max[c]
HOST_DATA 4 *dlen 1-2147483646[c]
USER_DATA 2 slen 128-4095[c]
USER_DATA 4 *dlen 64-4031[c]
NO_OVERFLOW_SIMPLE 2 slen
NO_OVERFLOW_SIMPLE 4 *dlen
UNITS 1 src unit_byte
UNITS 2 slen unit_byte
UNITS 3 dst unit_byte
USER_PTR 4 dlen
LOCK2 bh
HALF_LOCKED2 &acomp_ctx->mutex