Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/decompress_unlzma.c process_bit1() -> rc_bit_tree_decode()

Type Parameter Key Value
PARAM_VALUE 0 rc 4096-ptr_max
PARAM_VALUE 0 rc->buffer_end 1-u64max
PARAM_VALUE 0 rc->buffer_size (-1)
PARAM_VALUE 2 num_levels 3,8
PARAM_VALUE 3 symbol 7990435392155115520
DATA_SOURCE 0 rc $1
FUZZY_MAX 2 num_levels 8
BIT_INFO 2 num_levels 0x0,0xb
HARD_MAX 2 num_levels 8
NOCHECK_CALL

lib/decompress_unlzma.c process_bit1() -> rc_bit_tree_decode()

Type Parameter Key Value
PARAM_VALUE 0 rc 4096-ptr_max
PARAM_VALUE 0 rc->buffer_end 1-u64max
PARAM_VALUE 0 rc->buffer_size (-1)
PARAM_VALUE 2 num_levels 6
PARAM_VALUE 3 symbol 2906809144236662784
DATA_SOURCE 0 rc $1
NOCHECK_CALL