Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 p 8984519327024287744
PARAM_VALUE 0 p->bit 0-7
PARAM_VALUE 1 d 4568489884122996736
PARAM_VALUE 2 n 8-9
BUF_SIZE 0 p->ostart (-1),2-s32max
BUF_SIZE 0 p->out (-1),2-s32max
DATA_SOURCE 0 p $0
DATA_SOURCE 2 n $2
NOSPEC 0 p->ilen
NOSPEC 0 p->olen
HARD_MAX 2 n 9
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
HALF_LOCKED2 &zstrm->lock
HALF_LOCKED2 bh

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

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->ilen 0-7
PARAM_VALUE 1 d 1538162690307133440
PARAM_VALUE 1 *d 0
PARAM_VALUE 2 n 1-24
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
FUZZY_MAX 0 p->ilen 7
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 __split_next_bits() -> next_bits()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->bit 0-7
PARAM_VALUE 2 n 8,16
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 $3
NOSPEC 0 p->ilen
NOSPEC 0 p->olen
HARD_MAX 2 n 16
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-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 do_data() -> next_bits()

Type Parameter Key Value
PARAM_VALUE 0 p 8984519327024287744
PARAM_VALUE 0 p->bit 0-7
PARAM_VALUE 1 d 3445081522886004736
PARAM_VALUE 2 n 0,16,32
CAPPED_DATA 2 n 1
DATA_SOURCE 0 p $0
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-u32max,18446744073709551608-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
HALF_LOCKED2 &zstrm->lock
HALF_LOCKED2 bh

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

Type Parameter Key Value
PARAM_VALUE 0 p 8984519327024287744
PARAM_VALUE 0 p->bit 0-7
PARAM_VALUE 1 d 4718812546717937664
PARAM_VALUE 2 n 5
NOSPEC 0 p->ilen
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 p->ilen 1-u32max[c]
HOST_DATA 0 p->olen 0-u32max,18446744073709551609-u64max[c]
USER_DATA 0 p->ilen 0-4095
USER_DATA 0 p->olen 0-4031
NO_OVERFLOW_SIMPLE 0 p->ilen
NO_OVERFLOW_SIMPLE 0 p->olen
HALF_LOCKED2 &zstrm->lock
HALF_LOCKED2 bh

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

Type Parameter Key Value
PARAM_VALUE 0 p 8984519327024287744
PARAM_VALUE 0 p->bit 0-7
PARAM_VALUE 1 d 336612137483927552
PARAM_VALUE 2 n 6
NOSPEC 0 p->ilen
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 p->ilen 1-u32max[c]
HOST_DATA 0 p->olen 0-u32max,18446744073709551609-u64max[c]
USER_DATA 0 p->ilen 0-4095
USER_DATA 0 p->olen 0-4031
NO_OVERFLOW_SIMPLE 0 p->ilen
NO_OVERFLOW_SIMPLE 0 p->olen
HALF_LOCKED2 &zstrm->lock
HALF_LOCKED2 bh

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

Type Parameter Key Value
PARAM_VALUE 0 p 8984519327024287744
PARAM_VALUE 0 p->bit 0-7
PARAM_VALUE 1 d 1215082058077888512
PARAM_VALUE 2 n 3
NOSPEC 0 p->ilen
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 p->ilen 1-u32max[c]
HOST_DATA 0 p->olen 0-u32max,18446744073709551609-u64max[c]
USER_DATA 0 p->ilen 0-4095
USER_DATA 0 p->olen 0-4031
NO_OVERFLOW_SIMPLE 0 p->ilen
NO_OVERFLOW_SIMPLE 0 p->olen
HALF_LOCKED2 &zstrm->lock
HALF_LOCKED2 bh

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

Type Parameter Key Value
PARAM_VALUE 0 p 8984519327024287744
PARAM_VALUE 0 p->bit 0-7
PARAM_VALUE 1 d 3868353647248916480
PARAM_VALUE 2 n 8
NOSPEC 0 p->ilen
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 p->ilen 1-u32max[c]
HOST_DATA 0 p->olen 0-u32max,18446744073709551609-u64max[c]
USER_DATA 0 p->ilen 0-4095
USER_DATA 0 p->olen 0-4031
NO_OVERFLOW_SIMPLE 0 p->ilen
NO_OVERFLOW_SIMPLE 0 p->olen
HALF_LOCKED2 &zstrm->lock
HALF_LOCKED2 bh

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

Type Parameter Key Value
PARAM_VALUE 0 p 8984519327024287744
PARAM_VALUE 0 p->bit 0-7
PARAM_VALUE 1 d 9080835706056679424
PARAM_VALUE 2 n 32
NOSPEC 0 p->ilen
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 p->ilen 1-u32max[c]
HOST_DATA 0 p->olen 0-u32max,18446744073709551608-u64max[c]
USER_DATA 0 p->ilen 0-4095
USER_DATA 0 p->olen 0-4031
NO_OVERFLOW_SIMPLE 0 p->ilen
NO_OVERFLOW_SIMPLE 0 p->olen
HALF_LOCKED2 &zstrm->lock
HALF_LOCKED2 bh