Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->bcj->single_call 0-1
PARAM_VALUE 1 b 4096-ptr_max
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
USER_DATA 1 b->in_size 0-1023[c]
NO_OVERFLOW_SIMPLE 0 s->lzma2->dict.limit