Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/ocfs2/refcounttree.c ocfs2_decrease_refcount_rec() -> ocfs2_remove_refcount_extent()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max
PARAM_VALUE 0 handle->h_err (-117),(-30),(-28),(-22)
PARAM_VALUE 0 handle->h_transaction->t_journal->j_abort_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 handle->h_transaction->t_journal->j_abort_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 handle->h_transaction->t_journal->j_checkpoint_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 handle->h_transaction->t_journal->j_revoke_lock.rlock.dep_map->name 0-255
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 2 ref_root_bh->b_data->rf_clusters 1
PARAM_VALUE 2 ref_root_bh->b_data->rf_flags 2-4294967295
PARAM_VALUE 2 ref_root_bh->b_data->rf_list.l_count 0-u16max
PARAM_VALUE 2 ref_root_bh->b_data->rf_list.l_next_free_rec 0-u16max
PARAM_VALUE 2 ref_root_bh->b_data->rf_list.l_reserved1 0-u16max
PARAM_VALUE 2 ref_root_bh->b_data->rf_list.l_tree_depth 0-u16max
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->__i_nlink 0-4294967295
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_atime_nsec 0-4294967295
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_bytes 0-u16max
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_count.counter s32min-s32max
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_ctime_nsec 0-4294967295
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_generation 0-4294967295
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_mode 0-u16max
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_mtime_nsec 0-4294967295
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_nlink 0-4294967295
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->bad_size 0-4294967295
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->check_ino 0-4294967295
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->dirty_size 0-4294967295
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->erasing_size 0-4294967295
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->free_size 0-4294967295
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->highest_xseqno 0-4294967295
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->nextblock->offset 0-4294967295
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->no_chk_data_crc 0-1
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->nr_erasing_blocks 0-4294967295
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->nr_free_blocks 0-4294967295
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->ro_error 0-1
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->s_err_report.flags 0-4294967295
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->s_es->s_wtime 0-4294967295
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->s_es->s_wtime_hi 0-255
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->sd_log_error s32min-s32max
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->sd_log_flush_head 0-4294967295
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->sd_log_flush_tail 0-4294967295
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->sd_log_head 0-4294967295
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->sd_log_idle 0-1
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->sd_log_num_revoke 0-4294967295
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->sd_log_tail 0-4294967295
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->sector_size 0-4294967295
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->summary->sum_num 0-4294967295
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->summary->sum_size 0-4294967295
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->unchecked_size 0-4294967295
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->used_size 0-4294967295
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->wasted_size 0-4294967295
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->wbuf_dwork.cpu s32min-s32max
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->wbuf_inodes->ino 0-4294967295
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->wbuf_len 0-4294967295
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->wbuf_ofs 0-4294967295
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->xdatum_mem_usage 0-4294967295
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->xref_dead_list->ic 0-4294967295
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->xref_dead_list->xd 0-4294967295
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_pending_errors.refs.counter s32min-s32max
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_state.__state 0-4294967295
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_wb->dwork.work.flags 0-4294967295
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_wb->dwork.work.function 1626621062881370112
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_wb->dwork.work.is_queued 0-1
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_wb->dwork.wq->dfl_pwq 0-s64max
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_wb->dwork.wq->saved_max_active s32min-s32max
PARAM_VALUE 2 ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_wb->dwork.wq->saved_min_active s32min-s32max
PARAM_VALUE 2 ref_root_bh->b_private->b_state_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 *ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->s_last_error_func 0-255
PARAM_VALUE 2 *ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->wbuf 0-255
PARAM_VALUE 2 *ref_root_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->wbuf_verify 0-255
PARAM_VALUE 3 ref_leaf_bh 4096-ptr_max
PARAM_VALUE 3 ref_leaf_bh->b_data 4096-ptr_max
PARAM_VALUE 3 ref_leaf_bh->b_data->rf_records.rl_recs 4096-ptr_max
PARAM_VALUE 3 ref_leaf_bh->b_data->rf_records.rl_used 0
PARAM_VALUE 3 ref_leaf_bh->b_private 4096-ptr_max
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->__i_nlink 0-4294967295
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_atime_nsec 0-4294967295
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_bytes 0-u16max
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_count.counter s32min-s32max
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_ctime_nsec 0-4294967295
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_generation 0-4294967295
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_mode 0-u16max
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_mtime_nsec 0-4294967295
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_nlink 0-4294967295
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_blocksize_bits 0-255
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->bad_size 0-4294967295
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->check_ino 0-4294967295
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->dirty_size 0-4294967295
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->erasing_size 0-4294967295
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->free_size 0-4294967295
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->highest_xseqno 0-4294967295
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->nextblock->offset 0-4294967295
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->no_chk_data_crc 0-1
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->nr_erasing_blocks 0-4294967295
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->nr_free_blocks 0-4294967295
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->ro_error 0-1
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->s_es->s_wtime 0-4294967295
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->s_es->s_wtime_hi 0-255
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->sd_log_error s32min-s32max
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->sd_log_flush_head 0-4294967295
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->sd_log_flush_tail 0-4294967295
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->sd_log_head 0-4294967295
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->sd_log_idle 0-1
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->sd_log_num_revoke 0-4294967295
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->sd_log_tail 0-4294967295
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->sector_size 0-4294967295
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->summary->sum_num 0-4294967295
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->summary->sum_size 0-4294967295
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->unchecked_size 0-4294967295
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->used_size 0-4294967295
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->wasted_size 0-4294967295
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->wbuf_dwork.cpu s32min-s32max
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->wbuf_inodes->ino 0-4294967295
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->wbuf_len 0-4294967295
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->wbuf_ofs 0-4294967295
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->wbuf_pagesize 0-4294967295
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->xdatum_mem_usage 0-4294967295
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->xref_dead_list->ic 0-4294967295
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->xref_dead_list->xd 0-4294967295
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_pending_errors.refs.counter s32min-s32max
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_wb->dwork.timer.is_hard 0-1
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_wb->dwork.timer.is_lazy 0-1
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_wb->dwork.timer.is_soft 0-1
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_wb->dwork.work.flags 0-4294967295
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_wb->dwork.work.is_hard 0-1
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_wb->dwork.work.is_lazy 0-1
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_wb->dwork.work.is_queued 0-1
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_wb->dwork.work.is_soft 0-1
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_wb->dwork.wq->dfl_pwq 0-s64max
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_wb->dwork.wq->saved_max_active s32min-s32max
PARAM_VALUE 3 ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_wb->dwork.wq->saved_min_active s32min-s32max
PARAM_VALUE 3 *ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->s_last_error_func 0-255
PARAM_VALUE 3 *ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->wbuf 0-255
PARAM_VALUE 3 *ref_leaf_bh->b_private->b_bh->b_folio->mapping->host->i_sb->s_fs_info->wbuf_verify 0-255
PARAM_VALUE 4 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 5 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
CAPPED_DATA 2 ref_root_bh 1
CAPPED_DATA 3 ref_leaf_bh 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 4 meta_ac $7
DATA_SOURCE 5 dealloc $8
STR_LEN 0 handle (-1)-0
STR_LEN 0 handle (-1)-0
PARAM_COMPARE 2 ref_root_bh != $3
PARAM_COMPARE 3 ref_leaf_bh != $2
PARAM_COMPARE 3 ref_leaf_bh != $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 4 meta_ac->ac_inode->__i_nlink 1-u32max
NO_OVERFLOW_SIMPLE 4 meta_ac->ac_inode->i_size
HALF_LOCKED2 &inode->i_rwsem