Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/decompress_unlzma.c process_bit0() -> rc_update_bit_0()

Type Parameter Key Value
DATA_SOURCE 0 rc $1
DATA_SOURCE 1 p $5
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 rc 4096-ptr_max
PARAM_VALUE 0 rc->range 0,256-u32max
PARAM_VALUE 1 p 4096-ptr_max
DATA_SOURCE 0 rc $1
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 rc 4096-ptr_max
PARAM_VALUE 0 rc->range 0,256-u32max
PARAM_VALUE 1 p 4096-ptr_max
DATA_SOURCE 0 rc $1
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 rc 4096-ptr_max
PARAM_VALUE 0 rc->range 0,256-u32max
PARAM_VALUE 1 p 4096-ptr_max
DATA_SOURCE 0 rc $1
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 rc 4096-ptr_max
PARAM_VALUE 0 rc->range 0,256-u32max
PARAM_VALUE 1 p 4096-ptr_max
DATA_SOURCE 0 rc $1
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 rc 4096-ptr_max
PARAM_VALUE 0 rc->range 0,256-u32max
PARAM_VALUE 1 p 4096-ptr_max
DATA_SOURCE 0 rc $1
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 rc 4096-ptr_max
PARAM_VALUE 0 rc->range 0,256-u32max
PARAM_VALUE 1 p 4096-ptr_max
DATA_SOURCE 0 rc $1
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 rc 4096-ptr_max
PARAM_VALUE 0 rc->range 0,256-u32max
PARAM_VALUE 1 p 4096-ptr_max
DATA_SOURCE 0 rc $1
NOCHECK_CALL

lib/decompress_unlzma.c rc_get_bit() -> rc_update_bit_0()

Type Parameter Key Value
PARAM_VALUE 0 rc 4096-ptr_max
PARAM_VALUE 0 rc->range 0,256-u32max
PARAM_VALUE 1 p 4096-ptr_max
DATA_SOURCE 0 rc $0
DATA_SOURCE 1 p $1
NOCHECK_CALL