Defined in 1 files as a function:
Referenced in 6 files:
- fs/ubifs/debug.c
- fs/ubifs/dir.c, line 207
- fs/ubifs/log.c, line 746
- fs/ubifs/lprops.c
- fs/ubifs/lpt_commit.c, line 1969
- fs/ubifs/tnc.c, line 3532
Smatch caller information:
fs/ubifs/lpt_commit.c dbg_populate_lsave() -> dbg_is_chk_gen()
| 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 |
| 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) |
| BIT_INFO | 0 | c->lpt_drty_flgs | 0x2,0xffffffff |
| 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/debug.c dbg_check_data_nodes_order() -> dbg_is_chk_gen()
| 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->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_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 | |
| UNITS | 0 | c | unit_byte |
| LOCK2 | &wbuf->io_mutex | ||
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex | |
| TYPE_LOCK | (struct ubifs_wbuf)->io_mutex |
fs/ubifs/debug.c dbg_check_dir() -> dbg_is_chk_gen()
| 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 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | c | unit_byte |
| HALF_LOCKED2 | &c->umount_mutex |
fs/ubifs/debug.c dbg_check_nondata_nodes_order() -> dbg_is_chk_gen()
| 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->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_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 | |
| UNITS | 0 | c | unit_byte |
| LOCK2 | &wbuf->io_mutex | ||
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex | |
| TYPE_LOCK | (struct ubifs_wbuf)->io_mutex |
fs/ubifs/debug.c dbg_check_synced_i_size() -> dbg_is_chk_gen()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | c | 1-s32max |
| BUF_SIZE | 0 | c | 1-s32max |
| DATA_SOURCE | 0 | c | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | c | unit_byte |
| HALF_LOCKED2 | &target->i_rwsem |
fs/ubifs/lprops.c dbg_check_cats() -> dbg_is_chk_gen()
| 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_gen()
| 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/log.c dbg_check_bud_bytes() -> dbg_is_chk_gen()
| 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->write_reserve_buf | (-1),4160 |
| 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->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_cnt | |
| 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->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->ohead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| UNITS | 0 | c | unit_byte |
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->log_mutex | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex |
fs/ubifs/dir.c dbg_check_name() -> dbg_is_chk_gen()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| BUF_SIZE | 0 | c | 1-s32max |
| BUF_SIZE | 0 | c | 1-s32max |
| DATA_SOURCE | 0 | c | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | c | unit_byte |
| HALF_LOCKED2 | &dir->i_rwsem |
fs/ubifs/tnc.c dbg_check_inode_size() -> dbg_is_chk_gen()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | c | 1-s32max |
| BUF_SIZE | 0 | c | 1-s32max |
| DATA_SOURCE | 0 | c | $0 |
| STR_LEN | 0 | c | (-1)-0,23-24 |
| STR_LEN | 0 | c | (-1)-0,23-24 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | c->vfs_sb->s_flags | 0-2147486719[c] |
| NO_OVERFLOW_SIMPLE | 0 | c->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->orph_dnext->inum | |
| UNITS | 0 | c | unit_byte |
| LOCK2 | &ui->ui_mutex | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| TYPE_LOCK | (struct ubifs_inode)->ui_mutex |