Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->bcj->out_pos 0-s64max
PARAM_VALUE 0 s->bcj->pos 0-4294967295
PARAM_VALUE 0 s->bcj->ret 0-4294967295
PARAM_VALUE 0 s->bcj->single_call 0-1
PARAM_VALUE 0 s->bcj->type 0-4294967295
PARAM_VALUE 0 s->bcj->x86_prev_mask 0-4294967295
PARAM_VALUE 0 s->index.sequence 0-2
PARAM_VALUE 0 s->sequence 6
PARAM_VALUE 1 b 4096-ptr_max
BUF_SIZE 0 s (-1),1232
BUF_SIZE 0 s (-1),1232
BUF_SIZE 1 b->in (-1),4096,8192,139000
BUF_SIZE 1 b->out (-1)-s32max
DATA_SOURCE 0 s $0
DATA_SOURCE 1 b $1
FUZZY_MAX 0 s->index.sequence 2
BIT_INFO 1 b->in_size 0x0,0x7fffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 b->in_size 0-1023[c]

lib/xz/xz_dec_stream.c dec_main() -> index_update()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->bcj->out_pos 0-s64max
PARAM_VALUE 0 s->bcj->pos 0-4294967295
PARAM_VALUE 0 s->bcj->ret 0-4294967295
PARAM_VALUE 0 s->bcj->single_call 0-1
PARAM_VALUE 0 s->bcj->type 0-4294967295
PARAM_VALUE 0 s->bcj->x86_prev_mask 0-4294967295
PARAM_VALUE 0 s->index.count 0
PARAM_VALUE 0 s->index.sequence 1-2
PARAM_VALUE 0 s->sequence 7
PARAM_VALUE 1 b 4096-ptr_max
PARAM_VALUE 1 b->in_pos 1-u64max
PARAM_VALUE 1 b->in_size 1-u64max
BUF_SIZE 0 s (-1),1232
BUF_SIZE 0 s (-1),1232
CAPPED_DATA 1 b->in_pos 1
CAPPED_DATA 1 b->in_size 1
DATA_SOURCE 0 s $0
DATA_SOURCE 1 b $1
PARAM_COMPARE 1 b->in_pos == $1->in_size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 s->lzma2->dict.limit

lib/xz/xz_dec_stream.c dec_main() -> index_update()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->bcj->out_pos 0-s64max
PARAM_VALUE 0 s->bcj->pos 0-4294967295
PARAM_VALUE 0 s->bcj->ret 0-4294967295
PARAM_VALUE 0 s->bcj->single_call 0-1
PARAM_VALUE 0 s->bcj->type 0-4294967295
PARAM_VALUE 0 s->bcj->x86_prev_mask 0-4294967295
PARAM_VALUE 0 s->index.count 0
PARAM_VALUE 0 s->index.sequence 1-2
PARAM_VALUE 0 s->sequence 7
PARAM_VALUE 1 b 4096-ptr_max
PARAM_VALUE 1 b->in_size 1-u64max
BUF_SIZE 0 s (-1),1232
BUF_SIZE 0 s (-1),1232
DATA_SOURCE 0 s $0
DATA_SOURCE 1 b $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 b->in_size 1-1023[c]
NO_OVERFLOW_SIMPLE 0 s->lzma2->dict.limit