Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
fs/ubifs/lpt_commit.c dbg_check_ltab() -> dbg_is_chk_lprops()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| DATA_SOURCE | 0 | c | $0 |
| STR_LEN | 0 | c | (-1)-1,23-24 |
| STR_LEN | 0 | c | (-1)-1,23-24 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| UNITS | 0 | c | unit_byte |
| LOCK2 | 0 | &c->commit_sem | |
| LOCK2 | 0 | &c->lp_mutex | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex | |
| TYPE_LOCK | (struct ubifs_info)->commit_sem | ||
| TYPE_LOCK | (struct ubifs_info)->lp_mutex |
fs/ubifs/lpt_commit.c dbg_check_ltab_lnum() -> dbg_is_chk_lprops()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| DATA_SOURCE | 0 | c | $0 |
| STR_LEN | 0 | c | (-1)-1,23-24 |
| STR_LEN | 0 | c | (-1)-1,23-24 |
| STR_LEN | 0 | c->vfs_sb | (-1) |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| 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->lsave_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| UNITS | 0 | c | unit_byte |
| LOCK2 | 0 | &c->commit_sem | |
| LOCK2 | 0 | &c->lp_mutex | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex | |
| TYPE_LOCK | (struct ubifs_info)->commit_sem | ||
| TYPE_LOCK | (struct ubifs_info)->lp_mutex |
fs/ubifs/lpt_commit.c dbg_chk_lpt_free_spc() -> dbg_is_chk_lprops()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| DATA_SOURCE | 0 | c | $0 |
| STR_LEN | 0 | c | (-1)-1,23-24 |
| STR_LEN | 0 | c | (-1)-1,23-24 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| UNITS | 0 | c | unit_byte |
| LOCK2 | 0 | &c->commit_sem | |
| LOCK2 | 0 | &c->lp_mutex | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex | |
| TYPE_LOCK | (struct ubifs_info)->commit_sem | ||
| TYPE_LOCK | (struct ubifs_info)->lp_mutex |
fs/ubifs/lpt_commit.c dbg_chk_lpt_sz() -> dbg_is_chk_lprops()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| CAPPED_DATA | 0 | c->lpt_lebs | 1 |
| CAPPED_DATA | 0 | c->ubi->vol->reserved_pebs | 1 |
| CAPPED_DATA | 0 | c->ubi->vol->vol_id | 1 |
| DATA_SOURCE | 0 | c | $0 |
| STR_LEN | 0 | c | (-1)-1,23-24 |
| STR_LEN | 0 | c | (-1)-1,23-24 |
| STR_LEN | 0 | c->vfs_sb | (-1) |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| 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->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| UNITS | 0 | c | unit_byte |
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->lp_mutex | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex |
fs/ubifs/lpt.c dbg_check_lpt_nodes() -> dbg_is_chk_lprops()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c->ileb_buf | (-1),15360-s32max |
| BUF_SIZE | 0 | c->orph_buf | s32min-(-1),1-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 |
| DATA_SOURCE | 0 | c | $0 |
| 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 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | c->ro_mount | 0 |
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->ihead_offs | |
| 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->ihead_offs | |
| 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->zroot.znode->level | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| UNITS | 0 | c | unit_byte |
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->lp_mutex | |
| HALF_LOCKED2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex |
fs/ubifs/lprops.c dbg_check_cats() -> dbg_is_chk_lprops()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c->ileb_buf | (-1),15360-s32max |
| BUF_SIZE | 0 | c->orph_buf | s32min-(-1),1-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 |
| DATA_SOURCE | 0 | c | $0 |
| 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 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | c->ro_mount | 0 |
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->ihead_offs | |
| 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->ihead_offs | |
| 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->zroot.znode->level | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| UNITS | 0 | c | unit_byte |
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->lp_mutex | |
| HALF_LOCKED2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex |
fs/ubifs/lprops.c dbg_check_heap() -> dbg_is_chk_lprops()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| 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 |
| DATA_SOURCE | 0 | c | $0 |
| 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 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | c->ro_mount | 0-1 |
| USER_DATA | 0 | c->vfs_sb->s_flags | 1-42044625,268435457-310477009[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 | |
| 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 dbg_check_lprops() -> dbg_is_chk_lprops()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| DATA_SOURCE | 0 | c | $0 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | c->vfs_sb->s_flags | 1-42044643,268435457-310477011[c] |
| NO_OVERFLOW_SIMPLE | 0 | c->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| 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_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ihead_offs | |
| 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 | |
| UNITS | 0 | c | unit_byte |
| LOCK2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex | |
| TYPE_LOCK | (struct ubifs_info)->commit_sem |