Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/ubifs/lprops.c add_to_lpt_heap() -> move_up_lpt_heap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 1 | heap | 4096-ptr_max |
| PARAM_VALUE | 1 | heap->arr | 4096-ptr_max |
| PARAM_VALUE | 2 | lprops | 4096-ptr_max |
| PARAM_VALUE | 2 | lprops->hpos | 127-254 |
| PARAM_VALUE | 3 | cat | 1-3 |
| BUF_SIZE | 0 | c | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | c | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | c->bottom_up_buf | (-1),256,260-s32max |
| BUF_SIZE | 0 | c->dirty_idx.arr | (-1),8 |
| BUF_SIZE | 0 | c->ileb_buf | (-1),15360-s32max |
| BUF_SIZE | 0 | c->lpt_buf | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | c->lpt_nod_buf | (-1),3-39 |
| BUF_SIZE | 0 | c->ltab | (-1),12 |
| BUF_SIZE | 0 | c->ltab_cmt | (-1),12 |
| BUF_SIZE | 0 | c->orph_buf | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | c->sbuf | (-1),15360-s32max |
| BUF_SIZE | 0 | c->ubi | (-1),16 |
| BUF_SIZE | 0 | c->vfs_sb | (-1),80,2816 |
| BUF_SIZE | 0 | c->write_reserve_buf | (-1),4160 |
| CAPPED_DATA | 1 | heap->max_cnt | 1 |
| CAPPED_DATA | 2 | lprops | 1 |
| CAPPED_DATA | 2 | lprops->hpos | 1 |
| DATA_SOURCE | 0 | c | $0 |
| DATA_SOURCE | 2 | lprops | $1 |
| DATA_SOURCE | 3 | cat | $2 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c->vfs_sb | (-1),8 |
| PARAM_COMPARE | 1 | heap->cnt | >= $1->max_cnt |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | c->ro_mount | 0-1 |
| USER_DATA | 0 | c->vfs_sb->s_flags | 1-42044641[c] |
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->bottom_up_buf | |
| NO_OVERFLOW_SIMPLE | 0 | c->hash_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->jhead_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->pnode_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| NO_OVERFLOW_SIMPLE | 2 | lprops->free | |
| UNITS | 0 | c | unit_byte |
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->lp_mutex | |
| HALF_LOCKED2 | 0 | &c->space_lock | |
| HALF_LOCKED2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex |
fs/ubifs/lprops.c add_to_lpt_heap() -> move_up_lpt_heap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 1 | heap | 4096-ptr_max |
| PARAM_VALUE | 1 | heap->arr | 4096-ptr_max |
| PARAM_VALUE | 2 | lprops | 4096-ptr_max |
| PARAM_VALUE | 2 | lprops->hpos | s32min-2147483646 |
| PARAM_VALUE | 3 | cat | 1-3 |
| BUF_SIZE | 0 | c | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | c | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | c->bottom_up_buf | (-1),256,260-s32max |
| BUF_SIZE | 0 | c->dirty_idx.arr | (-1),8 |
| BUF_SIZE | 0 | c->ileb_buf | (-1),15360-s32max |
| BUF_SIZE | 0 | c->lpt_buf | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | c->lpt_nod_buf | (-1),3-39 |
| BUF_SIZE | 0 | c->ltab | (-1),12 |
| BUF_SIZE | 0 | c->ltab_cmt | (-1),12 |
| BUF_SIZE | 0 | c->orph_buf | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | c->sbuf | (-1),15360-s32max |
| BUF_SIZE | 0 | c->ubi | (-1),16 |
| BUF_SIZE | 0 | c->vfs_sb | (-1),80,2816 |
| BUF_SIZE | 0 | c->write_reserve_buf | (-1),4160 |
| CAPPED_DATA | 2 | lprops | 1 |
| CAPPED_DATA | 2 | lprops->hpos | 1 |
| DATA_SOURCE | 0 | c | $0 |
| DATA_SOURCE | 2 | lprops | $1 |
| DATA_SOURCE | 3 | cat | $2 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c->vfs_sb | (-1),8 |
| PARAM_COMPARE | 1 | heap->cnt | <= $1->max_cnt |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | c->ro_mount | 0-1 |
| USER_DATA | 0 | c->vfs_sb->s_flags | 1-42044641[c] |
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->bottom_up_buf | |
| NO_OVERFLOW_SIMPLE | 0 | c->hash_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->jhead_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->pnode_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| NO_OVERFLOW_SIMPLE | 2 | lprops->free | |
| UNITS | 0 | c | unit_byte |
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->lp_mutex | |
| HALF_LOCKED2 | 0 | &c->space_lock | |
| HALF_LOCKED2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex |