Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
fs/ocfs2/refcounttree.c __ocfs2_increase_refcount() -> ocfs2_split_refcount_rec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 0 | handle->h_transaction->t_journal->j_superblock->s_errno | 0-4294967187,4294967189-u32max |
| PARAM_VALUE | 1 | ci | 4096-ptr_max |
| PARAM_VALUE | 1 | ci->ci_ops | 4096-ptr_max |
| PARAM_VALUE | 1 | ci->ci_ops->co_get_super | 4096-ptr_max |
| PARAM_VALUE | 1 | ci->ci_ops->co_owner | 4096-ptr_max |
| PARAM_VALUE | 2 | ref_root_bh | 4096-ptr_max |
| PARAM_VALUE | 3 | ref_leaf_bh | 0,4096-ptr_max |
| PARAM_VALUE | 4 | split_rec | 2518208243282841600 |
| PARAM_VALUE | 4 | split_rec->r_cpos | 1-u64max |
| PARAM_VALUE | 5 | index | 0-u16max |
| PARAM_VALUE | 6 | merge | 0-1 |
| PARAM_VALUE | 7 | meta_ac | 0,4096-ptr_max |
| PARAM_VALUE | 7 | meta_ac->ac_group_search | 0,2162247029490311168 |
| PARAM_VALUE | 7 | meta_ac->ac_inode->free_inode | 5515272616080928768 |
| PARAM_VALUE | 7 | meta_ac->ac_inode->i_fop | 5515272616080928768 |
| PARAM_VALUE | 7 | meta_ac->ac_inode->i_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| BUF_SIZE | 1 | ci | (-1),48 |
| BUF_SIZE | 1 | ci | (-1),48 |
| BUF_SIZE | 8 | dealloc | (-1),16 |
| BUF_SIZE | 8 | dealloc | (-1),16 |
| CAPPED_DATA | 0 | handle | 1 |
| DATA_SOURCE | 0 | handle | $0 |
| DATA_SOURCE | 1 | ci | $1 |
| DATA_SOURCE | 2 | ref_root_bh | $2 |
| DATA_SOURCE | 6 | merge | $5 |
| DATA_SOURCE | 7 | meta_ac | $6 |
| DATA_SOURCE | 8 | dealloc | $7 |
| NOSPEC | 4 | split_rec->r_clusters | |
| HARD_MAX | 6 | merge | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 4 | split_rec->r_clusters | 0-u32max[c] |
| USER_DATA | 4 | split_rec->r_cpos | 1-8589934590[c][u] |
| NO_OVERFLOW_SIMPLE | 7 | meta_ac->ac_inode->i_bytes | |
| NO_OVERFLOW_SIMPLE | 7 | meta_ac->ac_inode->i_size | |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ocfs2/refcounttree.c ocfs2_decrease_refcount_rec() -> ocfs2_split_refcount_rec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 0 | handle->h_transaction->t_journal->j_superblock->s_errno | 0-4294967187,4294967189-u32max |
| PARAM_VALUE | 1 | ci | 4096-ptr_max |
| PARAM_VALUE | 1 | ci->ci_ops | 4096-ptr_max |
| PARAM_VALUE | 1 | ci->ci_ops->co_get_super | 4096-ptr_max |
| PARAM_VALUE | 1 | ci->ci_ops->co_owner | 4096-ptr_max |
| PARAM_VALUE | 2 | ref_root_bh | 4096-ptr_max |
| PARAM_VALUE | 3 | ref_leaf_bh | 4096-ptr_max |
| PARAM_VALUE | 3 | ref_leaf_bh->b_data->rf_records.rl_recs | 4096-ptr_max |
| PARAM_VALUE | 4 | split_rec | 6418071077587656704 |
| PARAM_VALUE | 5 | index | 0-u16max |
| PARAM_VALUE | 6 | merge | 1 |
| PARAM_VALUE | 7 | meta_ac->ac_inode->i_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 8 | dealloc | 4096-ptr_max |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| BUF_SIZE | 1 | ci | (-1),48 |
| BUF_SIZE | 1 | ci | (-1),48 |
| CAPPED_DATA | 0 | handle | 1 |
| DATA_SOURCE | 0 | handle | $0 |
| DATA_SOURCE | 1 | ci | $1 |
| DATA_SOURCE | 2 | ref_root_bh | $2 |
| DATA_SOURCE | 3 | ref_leaf_bh | $3 |
| DATA_SOURCE | 5 | index | $4 |
| DATA_SOURCE | 7 | meta_ac | $7 |
| DATA_SOURCE | 8 | dealloc | $8 |
| STR_LEN | 0 | handle | (-1)-0 |
| STR_LEN | 0 | handle | (-1)-0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 7 | meta_ac->ac_inode->__i_nlink | 1-u32max |
| NO_OVERFLOW_SIMPLE | 7 | meta_ac->ac_inode->i_size | |
| HALF_LOCKED2 | &inode->i_rwsem |