Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/xz/xz_dec_stream.c dec_block_header() -> dec_vli()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 1 in 4096-ptr_max
PARAM_VALUE 2 in_pos 4096-ptr_max
PARAM_VALUE 2 *in_pos 2
BUF_SIZE 0 s (-1),1232
BUF_SIZE 0 s (-1),1232
BUF_SIZE 1 in 1024
DATA_SOURCE 0 s $0
RX_PATH
TASK_NOT_RUNNING

lib/xz/xz_dec_stream.c dec_block_header() -> dec_vli()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 1 in 4096-ptr_max
PARAM_VALUE 2 in_pos 4096-ptr_max
BUF_SIZE 0 s (-1),1232
BUF_SIZE 0 s (-1),1232
BUF_SIZE 1 in 1024
DATA_SOURCE 0 s $0
RX_PATH
TASK_NOT_RUNNING

lib/xz/xz_dec_stream.c dec_index() -> dec_vli()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 2 in_pos 4096-ptr_max
BUF_SIZE 0 s (-1),1232
BUF_SIZE 0 s (-1),1232
BUF_SIZE 1 in (-1),4096,8192,139000
BUF_SIZE 1 in (-1),4096,8192,139000
DATA_SOURCE 0 s $0
BIT_INFO 3 in_size 0x0,0x7fffffffffffffff
BIT_INFO 3 in_size 0x0,0x7fffffffffffffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 in_size 0-1023[c]
UNITS 1 in unit_byte
UNITS 3 in_size unit_byte