Documented in 1 files:

Defined in 1 files as a member:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/ubifs/replay.c replay_bud() -> insert_node()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->empty_list.next->next 4096-ptr_max
PARAM_VALUE 0 c->empty_list.next->prev 4096-ptr_max
PARAM_VALUE 0 c->frdi_idx_list.next->next 4096-ptr_max
PARAM_VALUE 0 c->frdi_idx_list.next->prev 4096-ptr_max
PARAM_VALUE 0 c->freeable_list.next->next 4096-ptr_max
PARAM_VALUE 0 c->freeable_list.next->prev 4096-ptr_max
PARAM_VALUE 0 c->jheads 4096-ptr_max
PARAM_VALUE 0 c->lp_mutex.dep_map->name 0-255
PARAM_VALUE 0 c->lp_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 c->lp_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 c->lp_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 c->lp_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 c->lp_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 c->lp_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 c->lp_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 c->nroot->nbranch 4096-ptr_max
PARAM_VALUE 0 c->space_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 c->uncat_list.next->next 4096-ptr_max
PARAM_VALUE 0 c->uncat_list.next->prev 4096-ptr_max
PARAM_VALUE 0 c->vfs_sb->s_cop->inode_info_offs 1632,1640,1808,1816,2632,2640,2648,2704,2712
PARAM_VALUE 4 hash 8876228729998901248
PARAM_VALUE 5 key 4096-ptr_max
PARAM_VALUE 6 sqnum 0-18446744073692774399
PARAM_VALUE 7 deletion 0-1
PARAM_VALUE 8 used 6009587663996399616
PARAM_VALUE 9 old_size 0
BUF_SIZE 4 hash 64
DATA_SOURCE 0 c $0
FUZZY_MAX 7 deletion 1
HARD_MAX 7 deletion 1
UNITS 1 lnum unit_byte
UNITS 2 offs unit_byte
UNITS 3 len unit_byte
UNITS 10 new_size unit_byte

fs/ubifs/replay.c replay_bud() -> insert_node()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->empty_list.next->next 4096-ptr_max
PARAM_VALUE 0 c->empty_list.next->prev 4096-ptr_max
PARAM_VALUE 0 c->frdi_idx_list.next->next 4096-ptr_max
PARAM_VALUE 0 c->frdi_idx_list.next->prev 4096-ptr_max
PARAM_VALUE 0 c->freeable_list.next->next 4096-ptr_max
PARAM_VALUE 0 c->freeable_list.next->prev 4096-ptr_max
PARAM_VALUE 0 c->jheads 4096-ptr_max
PARAM_VALUE 0 c->lp_mutex.dep_map->name 0-255
PARAM_VALUE 0 c->lp_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 c->lp_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 c->lp_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 c->lp_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 c->lp_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 c->lp_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 c->lp_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 c->nroot->nbranch 4096-ptr_max
PARAM_VALUE 0 c->space_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 c->uncat_list.next->next 4096-ptr_max
PARAM_VALUE 0 c->uncat_list.next->prev 4096-ptr_max
PARAM_VALUE 0 c->vfs_sb->s_cop->inode_info_offs 1632,1640,1808,1816,2632,2640,2648,2704,2712
PARAM_VALUE 4 hash 8876228729998901248
PARAM_VALUE 5 key 4096-ptr_max
PARAM_VALUE 6 sqnum 0-18446744073692774399
PARAM_VALUE 7 deletion 0
PARAM_VALUE 8 used 6009587663996399616
PARAM_VALUE 9 old_size 0
PARAM_VALUE 10 new_size 0-4294967295
BUF_SIZE 4 hash 64
DATA_SOURCE 0 c $0
UNITS 1 lnum unit_byte
UNITS 2 offs unit_byte
UNITS 3 len unit_byte

fs/ubifs/replay.c replay_bud() -> insert_node()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->empty_list.next->next 4096-ptr_max
PARAM_VALUE 0 c->empty_list.next->prev 4096-ptr_max
PARAM_VALUE 0 c->frdi_idx_list.next->next 4096-ptr_max
PARAM_VALUE 0 c->frdi_idx_list.next->prev 4096-ptr_max
PARAM_VALUE 0 c->freeable_list.next->next 4096-ptr_max
PARAM_VALUE 0 c->freeable_list.next->prev 4096-ptr_max
PARAM_VALUE 0 c->jheads 4096-ptr_max
PARAM_VALUE 0 c->lp_mutex.dep_map->name 0-255
PARAM_VALUE 0 c->lp_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 c->lp_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 c->lp_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 c->lp_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 c->lp_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 c->lp_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 c->lp_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 c->max_inode_sz 0-s64max
PARAM_VALUE 0 c->nroot->nbranch 4096-ptr_max
PARAM_VALUE 0 c->space_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 c->uncat_list.next->next 4096-ptr_max
PARAM_VALUE 0 c->uncat_list.next->prev 4096-ptr_max
PARAM_VALUE 0 c->vfs_sb->s_cop->inode_info_offs 1632,1640,1808,1816,2632,2640,2648,2704,2712
PARAM_VALUE 4 hash 8876228729998901248
PARAM_VALUE 5 key 8878809638980276224
PARAM_VALUE 6 sqnum 0-18446744073692774399
PARAM_VALUE 7 deletion 1
PARAM_VALUE 8 used 6009587663996399616
PARAM_VALUE 9 old_size 1-s64max
PARAM_VALUE 10 new_size 0-9223372036854775806
BUF_SIZE 4 hash 64
CAPPED_DATA 9 old_size 1
CAPPED_DATA 9 old_size 1
CAPPED_DATA 10 new_size 1
CAPPED_DATA 10 new_size 1
DATA_SOURCE 0 c $0
PARAM_COMPARE 0 c->max_inode_sz > $10
PARAM_COMPARE 0 c->max_inode_sz >= $9
PARAM_COMPARE 9 old_size <= $0->max_inode_sz
PARAM_COMPARE 9 old_size > $10
PARAM_COMPARE 10 new_size < $0->max_inode_sz
PARAM_COMPARE 10 new_size < $9
PARAM_COMPARE 10 new_size < $9
UNITS 1 lnum unit_byte
UNITS 2 offs unit_byte
UNITS 3 len unit_byte
UNITS 9 old_size unit_byte
UNITS 10 new_size unit_byte