Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/842/842_decompress.c next_bits() -> __split_next_bits()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 2 n 0-24,32
PARAM_VALUE 3 s 32
BUF_SIZE 0 p->in (-1),2-s32max
BUF_SIZE 0 p->ostart (-1),2-s32max
BUF_SIZE 0 p->out (-1),2-s32max
CAPPED_DATA 2 n 1
DATA_SOURCE 0 p $0
DATA_SOURCE 1 d $1
DATA_SOURCE 2 n $2
NOSPEC 0 p->ilen
NOSPEC 0 p->olen
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 p->ilen 1-u32max[c]
HOST_DATA 0 p->olen 0-u64max[c]
USER_DATA 0 p->ilen 0-4095,18446744073709551585-u64max
USER_DATA 0 p->olen 0-4031
NO_OVERFLOW_SIMPLE 0 p->ilen
NO_OVERFLOW_SIMPLE 0 p->olen

lib/842/842_decompress.c next_bits() -> __split_next_bits()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->ilen 0-7
PARAM_VALUE 2 n 0-24,32
PARAM_VALUE 3 s 16
BUF_SIZE 0 p->in (-1),2-s32max
BUF_SIZE 0 p->ostart (-1),2-s32max
BUF_SIZE 0 p->out (-1),2-s32max
CAPPED_DATA 2 n 1
DATA_SOURCE 0 p $0
DATA_SOURCE 1 d $1
DATA_SOURCE 2 n $2
NOSPEC 0 p->ilen
NOSPEC 0 p->olen
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 p->ilen 1-7[c]
HOST_DATA 0 p->olen 0-u64max[c]
USER_DATA 0 p->ilen 0-7
USER_DATA 0 p->olen 0-4031
NO_OVERFLOW_SIMPLE 0 p->ilen
NO_OVERFLOW_SIMPLE 0 p->olen

lib/842/842_decompress.c next_bits() -> __split_next_bits()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->ilen 0-3
PARAM_VALUE 2 n 0-24,32
PARAM_VALUE 3 s 8
BUF_SIZE 0 p->in (-1),2-s32max
BUF_SIZE 0 p->ostart (-1),2-s32max
BUF_SIZE 0 p->out (-1),2-s32max
CAPPED_DATA 2 n 1
DATA_SOURCE 0 p $0
DATA_SOURCE 1 d $1
DATA_SOURCE 2 n $2
NOSPEC 0 p->ilen
NOSPEC 0 p->olen
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 p->ilen 1-3[c]
HOST_DATA 0 p->olen 0-u64max[c]
USER_DATA 0 p->ilen 0-3
USER_DATA 0 p->olen 0-4031
NO_OVERFLOW_SIMPLE 0 p->ilen
NO_OVERFLOW_SIMPLE 0 p->olen