Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/ocfs2/alloc.c ocfs2_insert_path() -> ocfs2_complete_edge_insert()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max
PARAM_VALUE 0 handle->h_transaction->t_journal->j_commit_timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 handle->h_transaction->t_journal->j_commit_timer.entry->pprev 4096-ptr_max
PARAM_VALUE 0 handle->h_transaction->t_journal->j_list_lock.rlock.dep_map->name 0-255
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 0 handle->h_transaction->t_journal->j_wait_transaction_locked.head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 handle->h_transaction->t_state 0-1,3-u32max
PARAM_VALUE 1 left_path 4096-ptr_max
PARAM_VALUE 1 left_path->p_tree_depth 1-s32max
PARAM_VALUE 2 right_path 4096-ptr_max
PARAM_VALUE 2 right_path->p_node 4096-ptr_max
BUF_SIZE 0 handle (-1)-s32max
BUF_SIZE 0 handle (-1)-s32max
BUF_SIZE 2 right_path 96
CAPPED_DATA 0 handle 1
CAPPED_DATA 3 subtree_index 1
DATA_SOURCE 0 handle $0
DATA_SOURCE 1 left_path $2
DATA_SOURCE 2 right_path $3
DATA_SOURCE 3 subtree_index r ocfs2_find_subtree_root
STR_LEN 0 handle (-1)-0
STR_LEN 0 handle (-1)-0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/ocfs2/alloc.c ocfs2_merge_rec_left() -> ocfs2_complete_edge_insert()

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 4096-ptr_max
PARAM_VALUE 0 handle->h_transaction->t_journal->j_commit_timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 handle->h_transaction->t_journal->j_commit_timer.entry->pprev 4096-ptr_max
PARAM_VALUE 0 handle->h_transaction->t_journal->j_flags 0,2-u64max
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_sb_buffer->b_folio->private->wb_kref s32min-s32max
PARAM_VALUE 0 handle->h_transaction->t_journal->j_superblock->s_errno 0-4294967187,4294967189-u32max
PARAM_VALUE 0 handle->h_transaction->t_journal->j_wait_transaction_locked.head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 handle->h_transaction->t_state 0-1,3-u32max
PARAM_VALUE 1 left_path 4096-ptr_max
PARAM_VALUE 1 left_path->p_node 4096-ptr_max
PARAM_VALUE 1 left_path->p_tree_depth 1-s32max
PARAM_VALUE 2 right_path 4096-ptr_max
PARAM_VALUE 2 right_path->p_node 4096-ptr_max
PARAM_VALUE 2 right_path->p_tree_depth s32min-(-1),1-s32max
BUF_SIZE 0 handle (-1)-s32max
BUF_SIZE 0 handle (-1)-s32max
CAPPED_DATA 0 handle 1
CAPPED_DATA 0 handle->h_transaction 1
CAPPED_DATA 3 subtree_index 1
DATA_SOURCE 0 handle $1
DATA_SOURCE 2 right_path $0
DATA_SOURCE 3 subtree_index r ocfs2_find_subtree_root
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &tl_inode->i_rwsem

fs/ocfs2/alloc.c ocfs2_merge_rec_right() -> ocfs2_complete_edge_insert()

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 4096-ptr_max
PARAM_VALUE 0 handle->h_transaction->t_journal->j_commit_timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 handle->h_transaction->t_journal->j_commit_timer.entry->pprev 4096-ptr_max
PARAM_VALUE 0 handle->h_transaction->t_journal->j_flags 0,2-u64max
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_sb_buffer->b_folio->private->wb_kref s32min-s32max
PARAM_VALUE 0 handle->h_transaction->t_journal->j_superblock->s_errno 0-4294967187,4294967189-u32max
PARAM_VALUE 0 handle->h_transaction->t_journal->j_wait_transaction_locked.head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 handle->h_transaction->t_state 0-1,3-u32max
PARAM_VALUE 1 left_path 4096-ptr_max
PARAM_VALUE 1 left_path->p_node 4096-ptr_max
PARAM_VALUE 1 left_path->p_tree_depth 1-s32max
PARAM_VALUE 2 right_path 4096-ptr_max
PARAM_VALUE 2 right_path->p_node 4096-ptr_max
BUF_SIZE 0 handle (-1)-s32max
BUF_SIZE 0 handle (-1)-s32max
CAPPED_DATA 0 handle 1
CAPPED_DATA 0 handle->h_transaction 1
CAPPED_DATA 3 subtree_index 1
DATA_SOURCE 0 handle $1
DATA_SOURCE 1 left_path $0
DATA_SOURCE 3 subtree_index r ocfs2_find_subtree_root
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &tl_inode->i_rwsem

fs/ocfs2/alloc.c ocfs2_rotate_subtree_left() -> ocfs2_complete_edge_insert()

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 4096-ptr_max
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_sb_buffer->b_folio->private->wb_kref s32min-s32max
PARAM_VALUE 0 handle->h_transaction->t_journal->j_superblock->s_errno 0-4294967187,4294967189-u32max
PARAM_VALUE 1 left_path 4096-ptr_max
PARAM_VALUE 1 left_path->p_node 4096-ptr_max
PARAM_VALUE 1 left_path->p_tree_depth 1-u16max
PARAM_VALUE 2 right_path 4096-ptr_max
PARAM_VALUE 2 right_path->p_node 4096-ptr_max
BUF_SIZE 0 handle (-1)-s32max
BUF_SIZE 0 handle (-1)-s32max
BUF_SIZE 1 left_path 96
BUF_SIZE 2 right_path 96
CAPPED_DATA 0 handle 1
CAPPED_DATA 0 handle->h_transaction 1
CAPPED_DATA 1 left_path->p_root_access 1
CAPPED_DATA 3 subtree_index 1
DATA_SOURCE 0 handle $0
DATA_SOURCE 1 left_path $2
DATA_SOURCE 2 right_path $3
DATA_SOURCE 3 subtree_index $4
STR_LEN 0 handle (-1)-0
STR_LEN 0 handle (-1)-0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &tl_inode->i_rwsem

fs/ocfs2/alloc.c ocfs2_rotate_subtree_right() -> ocfs2_complete_edge_insert()

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 4096-ptr_max
PARAM_VALUE 0 handle->h_transaction->t_journal->j_flags 0,2-u64max
PARAM_VALUE 0 handle->h_transaction->t_journal->j_list_lock.rlock.dep_map->name 0-255
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_sb_buffer->b_folio->private->wb_kref s32min-s32max
PARAM_VALUE 0 handle->h_transaction->t_journal->j_superblock->s_errno 0-4294967187,4294967189-u32max
PARAM_VALUE 1 left_path 4096-ptr_max
PARAM_VALUE 1 left_path->p_node 4096-ptr_max
PARAM_VALUE 1 left_path->p_tree_depth 1-s32max
PARAM_VALUE 2 right_path 4096-ptr_max
PARAM_VALUE 2 right_path->p_node 4096-ptr_max
PARAM_VALUE 2 right_path->p_tree_depth s32min-(-1),1-s32max
BUF_SIZE 0 handle (-1)-s32max
BUF_SIZE 0 handle (-1)-s32max
BUF_SIZE 1 left_path 96
BUF_SIZE 2 right_path 96
CAPPED_DATA 0 handle 1
CAPPED_DATA 0 handle->h_transaction 1
CAPPED_DATA 3 subtree_index 1
DATA_SOURCE 0 handle $0
DATA_SOURCE 1 left_path $2
DATA_SOURCE 2 right_path $3
DATA_SOURCE 3 subtree_index $4
STR_LEN 0 handle (-1)-0
STR_LEN 0 handle (-1)-0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/ocfs2/alloc.c ocfs2_truncate_rec() -> ocfs2_complete_edge_insert()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max
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 left_path 4096-ptr_max
PARAM_VALUE 1 left_path->p_tree_depth 1-s32max
PARAM_VALUE 2 right_path 4096-ptr_max
PARAM_VALUE 2 right_path->p_node 4096-ptr_max
PARAM_VALUE 2 right_path->p_tree_depth s32min-(-1),1-s32max
BUF_SIZE 0 handle (-1)-s32max
BUF_SIZE 0 handle (-1)-s32max
BUF_SIZE 1 left_path 96
BUF_SIZE 2 right_path 96
CAPPED_DATA 0 handle 1
CAPPED_DATA 3 subtree_index 1
DATA_SOURCE 0 handle $0
DATA_SOURCE 1 left_path r ocfs2_new_path_from_path
DATA_SOURCE 2 right_path $2
DATA_SOURCE 3 subtree_index r ocfs2_find_subtree_root
STR_LEN 0 handle (-1)-0
STR_LEN 0 handle (-1)-0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &tl_inode->i_rwsem