Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/xz/xz_dec_bcj.c xz_dec_bcj_run() -> bcj_apply()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->out_pos 0-9223372036854775807
PARAM_VALUE 0 s->ret 0-1
PARAM_VALUE 0 s->temp.filtered 0
PARAM_VALUE 0 s->temp.size 0-18446744073709551614
PARAM_VALUE 2 pos 4225038159268622336
BUF_SIZE 1 buf (-1)-s32max
BUF_SIZE 1 buf (-1)-s32max
CAPPED_DATA 0 s->temp.size 1
DATA_SOURCE 0 s $0
BIT_INFO 0 s->ret 0x0,0x7
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 buf unit_byte
UNITS 3 size unit_byte

lib/xz/xz_dec_bcj.c xz_dec_bcj_run() -> bcj_apply()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->out_pos 0-18446744073709551614
PARAM_VALUE 0 s->out_size 1-u64max
PARAM_VALUE 0 s->ret 0-1
PARAM_VALUE 0 s->temp.filtered 0
PARAM_VALUE 2 pos 4096-ptr_max
PARAM_VALUE 2 *pos 0
BUF_SIZE 0 s->out (-1)-s32max
BUF_SIZE 1 buf 16
CAPPED_DATA 0 s->out_pos 1
DATA_SOURCE 0 s $0
BIT_INFO 0 s->ret 0x0,0x7
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 size unit_byte