Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

fs/xfs/libxfs/xfs_dir2_node.c xfs_dir2_leafn_toosmall() -> xfs_da3_path_shift()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->altpath.active 2-5
PARAM_VALUE 0 state->altpath.blk 4096-ptr_max
PARAM_VALUE 0 state->args 4096-ptr_max
PARAM_VALUE 0 state->args->dp 4096-ptr_max
PARAM_VALUE 0 state->args->dp->i_flags_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 state->args->dp->i_mount->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 state->args->geo 4096-ptr_max
PARAM_VALUE 0 state->args->trans->t_items.prev->next 4096-ptr_max
PARAM_VALUE 0 state->args->trans->t_items.prev->next->next 4096-ptr_max
PARAM_VALUE 0 state->extrablk.bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 state->path.active 2-5
PARAM_VALUE 0 state->path.blk 4096-ptr_max
PARAM_VALUE 1 path 4096-ptr_max
PARAM_VALUE 1 path->active 2-5
PARAM_VALUE 2 forward 0-1
PARAM_VALUE 3 release 0
PARAM_VALUE 4 result 3154118083391688704
DATA_SOURCE 0 state $0
FUZZY_MAX 2 forward 1
HARD_MAX 2 forward 1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 state->args->rmtvaluelen

fs/xfs/libxfs/xfs_dir2_node.c xfs_dir2_leafn_toosmall() -> xfs_da3_path_shift()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->altpath.active 2-5
PARAM_VALUE 0 state->altpath.blk 4096-ptr_max
PARAM_VALUE 0 state->args 4096-ptr_max
PARAM_VALUE 0 state->args->dp 4096-ptr_max
PARAM_VALUE 0 state->args->dp->i_flags_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 state->args->dp->i_mount 4096-ptr_max
PARAM_VALUE 0 state->args->dp->i_mount->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 state->args->dp->i_mount->m_ddev_targp->bt_hash.tbl->dep_map->name 0-255
PARAM_VALUE 0 state->args->geo 4096-ptr_max
PARAM_VALUE 0 state->args->trans->t_items.prev 4096-ptr_max
PARAM_VALUE 0 state->args->trans->t_items.prev->next 4096-ptr_max
PARAM_VALUE 0 state->args->trans->t_items.prev->next->next 4096-ptr_max
PARAM_VALUE 0 state->extrablk.bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 state->path.active 2-5
PARAM_VALUE 0 state->path.blk 4096-ptr_max
PARAM_VALUE 1 path 4096-ptr_max
PARAM_VALUE 1 path->active 2-5
PARAM_VALUE 2 forward 0-1
PARAM_VALUE 3 release 0
PARAM_VALUE 4 result 3154118083391688704
DATA_SOURCE 0 state $0
FUZZY_MAX 2 forward 1
HARD_MAX 2 forward 1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 state->args->rmtvaluelen

fs/xfs/libxfs/xfs_dir2_node.c xfs_dir2_leafn_toosmall() -> xfs_da3_path_shift()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->altpath.active 2-5
PARAM_VALUE 0 state->altpath.blk 4096-ptr_max
PARAM_VALUE 0 state->args 4096-ptr_max
PARAM_VALUE 0 state->args->dp 4096-ptr_max
PARAM_VALUE 0 state->args->dp->i_flags_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 state->args->dp->i_mount 4096-ptr_max
PARAM_VALUE 0 state->args->dp->i_mount->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 state->args->dp->i_mount->m_ddev_targp->bt_hash.tbl->dep_map->name 0-255
PARAM_VALUE 0 state->args->geo 4096-ptr_max
PARAM_VALUE 0 state->args->trans->t_items.prev 4096-ptr_max
PARAM_VALUE 0 state->args->trans->t_items.prev->next 4096-ptr_max
PARAM_VALUE 0 state->args->trans->t_items.prev->next->next 4096-ptr_max
PARAM_VALUE 0 state->extrablk.bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 state->path.active 2-5
PARAM_VALUE 0 state->path.blk 4096-ptr_max
PARAM_VALUE 1 path 4096-ptr_max
PARAM_VALUE 1 path->active 2-5
PARAM_VALUE 2 forward 0-1
PARAM_VALUE 3 release 0
PARAM_VALUE 4 result 3154118083391688704
DATA_SOURCE 0 state $0
FUZZY_MAX 2 forward 1
HARD_MAX 2 forward 1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 state->args->rmtvaluelen

fs/xfs/libxfs/xfs_attr_leaf.c xfs_attr3_leaf_toosmall() -> xfs_da3_path_shift()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->altpath.active 2-5
PARAM_VALUE 0 state->altpath.blk 4096-ptr_max
PARAM_VALUE 0 state->args 4096-ptr_max
PARAM_VALUE 0 state->args->dp 4096-ptr_max
PARAM_VALUE 0 state->args->dp->i_flags_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 state->args->dp->i_mount->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 state->args->geo 4096-ptr_max
PARAM_VALUE 0 state->args->trans->t_items.prev->next 4096-ptr_max
PARAM_VALUE 0 state->args->trans->t_items.prev->next->next 4096-ptr_max
PARAM_VALUE 0 state->extrablk.bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 state->path.active 2-5
PARAM_VALUE 0 state->path.blk 4096-ptr_max
PARAM_VALUE 1 path 4096-ptr_max
PARAM_VALUE 1 path->active 2-5
PARAM_VALUE 2 forward 0-1
PARAM_VALUE 3 release 0
PARAM_VALUE 4 result 7150513538907136000
DATA_SOURCE 0 state $0
FUZZY_MAX 2 forward 1
HARD_MAX 2 forward 1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 state->args->rmtvaluelen

fs/xfs/libxfs/xfs_attr_leaf.c xfs_attr3_leaf_toosmall() -> xfs_da3_path_shift()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->altpath.active 2-5
PARAM_VALUE 0 state->altpath.blk 4096-ptr_max
PARAM_VALUE 0 state->args 4096-ptr_max
PARAM_VALUE 0 state->args->dp 4096-ptr_max
PARAM_VALUE 0 state->args->dp->i_flags_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 state->args->dp->i_mount 4096-ptr_max
PARAM_VALUE 0 state->args->dp->i_mount->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 state->args->geo 4096-ptr_max
PARAM_VALUE 0 state->args->trans->t_items.prev 4096-ptr_max
PARAM_VALUE 0 state->args->trans->t_items.prev->next 4096-ptr_max
PARAM_VALUE 0 state->args->trans->t_items.prev->next->next 4096-ptr_max
PARAM_VALUE 0 state->extrablk.bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 state->path.active 2-5
PARAM_VALUE 0 state->path.blk 4096-ptr_max
PARAM_VALUE 1 path 4096-ptr_max
PARAM_VALUE 1 path->active 2-5
PARAM_VALUE 2 forward 0-1
PARAM_VALUE 3 release 0
PARAM_VALUE 4 result 7150513538907136000
DATA_SOURCE 0 state $0
FUZZY_MAX 2 forward 1
HARD_MAX 2 forward 1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 state->args->rmtvaluelen

fs/xfs/libxfs/xfs_attr_leaf.c xfs_attr3_leaf_toosmall() -> xfs_da3_path_shift()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->altpath.active 2-5
PARAM_VALUE 0 state->altpath.blk 4096-ptr_max
PARAM_VALUE 0 state->args 4096-ptr_max
PARAM_VALUE 0 state->args->dp 4096-ptr_max
PARAM_VALUE 0 state->args->dp->i_flags_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 state->args->dp->i_mount 4096-ptr_max
PARAM_VALUE 0 state->args->dp->i_mount->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 state->args->geo 4096-ptr_max
PARAM_VALUE 0 state->args->trans->t_items.prev 4096-ptr_max
PARAM_VALUE 0 state->args->trans->t_items.prev->next 4096-ptr_max
PARAM_VALUE 0 state->args->trans->t_items.prev->next->next 4096-ptr_max
PARAM_VALUE 0 state->extrablk.bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 state->path.active 2-5
PARAM_VALUE 0 state->path.blk 4096-ptr_max
PARAM_VALUE 1 path 4096-ptr_max
PARAM_VALUE 1 path->active 2-5
PARAM_VALUE 2 forward 0-1
PARAM_VALUE 3 release 0
PARAM_VALUE 4 result 7150513538907136000
DATA_SOURCE 0 state $0
FUZZY_MAX 2 forward 1
HARD_MAX 2 forward 1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 state->args->rmtvaluelen

fs/xfs/libxfs/xfs_da_btree.c xfs_da3_node_lookup_int() -> xfs_da3_path_shift()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->args 4096-ptr_max
PARAM_VALUE 0 state->args->dp 4096-ptr_max
PARAM_VALUE 0 state->args->dp->i_mount 4096-ptr_max
PARAM_VALUE 0 state->args->dp->i_mount->m_ddev_targp->bt_hash.tbl->dep_map->name 0-255
PARAM_VALUE 0 state->args->geo 4096-ptr_max
PARAM_VALUE 0 state->args->trans->t_items.prev->next 4096-ptr_max
PARAM_VALUE 0 state->args->trans->t_items.prev->next->next 4096-ptr_max
PARAM_VALUE 0 state->extrablk.bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 state->path.active 1-5
PARAM_VALUE 0 state->path.blk 4096-ptr_max
PARAM_VALUE 1 path 4096-ptr_max
PARAM_VALUE 1 path->active 1-5
PARAM_VALUE 2 forward 1
PARAM_VALUE 3 release 1
PARAM_VALUE 4 result 4868231336578428928
PARAM_VALUE 4 *result (-61),(-2)
DATA_SOURCE 0 state $0
FUZZY_MAX 0 state->path.active 1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 state->args->hashval 0-u32max[c]
USER_DATA 0 state->args->valuelen 0-65536
USER_DATA 0 *state->args->name 0-255
USER_DATA 0 *state->args->value s64min-s64max
NO_OVERFLOW_SIMPLE 0 state->args->rmtvaluelen
NO_OVERFLOW_SIMPLE 0 state->extrablk.bp->b_map_count
USER_PTR 0 state->args->name
USER_PTR 0 state->args->value

fs/xfs/libxfs/xfs_da_btree.c xfs_da3_node_toosmall() -> xfs_da3_path_shift()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->altpath.active 2-5
PARAM_VALUE 0 state->altpath.blk 4096-ptr_max
PARAM_VALUE 0 state->args 4096-ptr_max
PARAM_VALUE 0 state->args->dp 4096-ptr_max
PARAM_VALUE 0 state->args->dp->i_flags_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 state->args->dp->i_mount->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 state->args->geo 4096-ptr_max
PARAM_VALUE 0 state->args->trans 4096-ptr_max
PARAM_VALUE 0 state->args->trans->t_items.prev->next 4096-ptr_max
PARAM_VALUE 0 state->args->trans->t_items.prev->next->next 4096-ptr_max
PARAM_VALUE 0 state->extrablk.bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 state->path.active 2-5
PARAM_VALUE 0 state->path.blk 4096-ptr_max
PARAM_VALUE 1 path 4096-ptr_max
PARAM_VALUE 1 path->active 2-5
PARAM_VALUE 2 forward 0-1
PARAM_VALUE 3 release 0
PARAM_VALUE 4 result 3407551737055232000
DATA_SOURCE 0 state $0
FUZZY_MAX 2 forward 1
HARD_MAX 2 forward 1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 state->args->rmtvaluelen

fs/xfs/libxfs/xfs_da_btree.c xfs_da3_node_toosmall() -> xfs_da3_path_shift()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->altpath.active 2-5
PARAM_VALUE 0 state->altpath.blk 4096-ptr_max
PARAM_VALUE 0 state->args 4096-ptr_max
PARAM_VALUE 0 state->args->dp 4096-ptr_max
PARAM_VALUE 0 state->args->dp->i_flags_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 state->args->dp->i_mount 4096-ptr_max
PARAM_VALUE 0 state->args->dp->i_mount->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 state->args->dp->i_mount->m_ddev_targp->bt_hash.tbl->dep_map->name 0-255
PARAM_VALUE 0 state->args->geo 4096-ptr_max
PARAM_VALUE 0 state->args->trans 4096-ptr_max
PARAM_VALUE 0 state->args->trans->t_items.prev 4096-ptr_max
PARAM_VALUE 0 state->args->trans->t_items.prev->next 4096-ptr_max
PARAM_VALUE 0 state->args->trans->t_items.prev->next->next 4096-ptr_max
PARAM_VALUE 0 state->extrablk.bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 state->path.active 2-5
PARAM_VALUE 0 state->path.blk 4096-ptr_max
PARAM_VALUE 1 path 4096-ptr_max
PARAM_VALUE 1 path->active 2-5
PARAM_VALUE 2 forward 0-1
PARAM_VALUE 3 release 0
PARAM_VALUE 4 result 3407551737055232000
DATA_SOURCE 0 state $0
FUZZY_MAX 2 forward 1
HARD_MAX 2 forward 1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 state->args->rmtvaluelen

fs/xfs/libxfs/xfs_da_btree.c xfs_da3_node_toosmall() -> xfs_da3_path_shift()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->altpath.active 2-5
PARAM_VALUE 0 state->altpath.blk 4096-ptr_max
PARAM_VALUE 0 state->args 4096-ptr_max
PARAM_VALUE 0 state->args->dp 4096-ptr_max
PARAM_VALUE 0 state->args->dp->i_flags_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 state->args->dp->i_mount 4096-ptr_max
PARAM_VALUE 0 state->args->dp->i_mount->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 state->args->dp->i_mount->m_ddev_targp->bt_hash.tbl->dep_map->name 0-255
PARAM_VALUE 0 state->args->geo 4096-ptr_max
PARAM_VALUE 0 state->args->trans 4096-ptr_max
PARAM_VALUE 0 state->args->trans->t_items.prev 4096-ptr_max
PARAM_VALUE 0 state->args->trans->t_items.prev->next 4096-ptr_max
PARAM_VALUE 0 state->args->trans->t_items.prev->next->next 4096-ptr_max
PARAM_VALUE 0 state->extrablk.bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 state->path.active 2-5
PARAM_VALUE 0 state->path.blk 4096-ptr_max
PARAM_VALUE 1 path 4096-ptr_max
PARAM_VALUE 1 path->active 2-5
PARAM_VALUE 2 forward 0-1
PARAM_VALUE 3 release 0
PARAM_VALUE 4 result 3407551737055232000
DATA_SOURCE 0 state $0
FUZZY_MAX 2 forward 1
HARD_MAX 2 forward 1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 state->args->rmtvaluelen

fs/xfs/scrub/dabtree.c xchk_da_btree_block_check_sibling() -> xfs_da3_path_shift()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->altpath.active 1-5
PARAM_VALUE 0 state->args 4096-ptr_max
PARAM_VALUE 0 state->args->dp 4096-ptr_max
PARAM_VALUE 0 state->path.active 1-5
PARAM_VALUE 0 state->path.blk 4096-ptr_max
PARAM_VALUE 1 path 4096-ptr_max
PARAM_VALUE 1 path->active 1-5
PARAM_VALUE 2 forward 0-1
PARAM_VALUE 3 release 0
PARAM_VALUE 4 result 3038858384111378432
BUF_SIZE 0 state->args 144
BUF_SIZE 1 path 208
CAPPED_DATA 0 state->path.active 1
CAPPED_DATA 1 path->active 1
DATA_SOURCE 2 forward $2
FUZZY_MAX 0 state->path.active 5
PARAM_COMPARE 0 &state->altpath == $1
HARD_MAX 0 state->path.active 5
HARD_MAX 2 forward 1
NO_OVERFLOW_SIMPLE 0 state->args->rmtvaluelen

fs/xfs/scrub/dabtree.c xchk_da_btree_block_check_sibling() -> xfs_da3_path_shift()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->altpath.active 1-5
PARAM_VALUE 0 state->args 4096-ptr_max
PARAM_VALUE 0 state->args->dp 4096-ptr_max
PARAM_VALUE 0 state->path.active 1-5
PARAM_VALUE 0 state->path.blk 4096-ptr_max
PARAM_VALUE 1 path 4096-ptr_max
PARAM_VALUE 1 path->active 1-5
PARAM_VALUE 2 forward 0-1
PARAM_VALUE 3 release 0
PARAM_VALUE 4 result 3038858384111378432
BUF_SIZE 0 state->args 144
BUF_SIZE 1 path 208
CAPPED_DATA 0 state->path.active 1
CAPPED_DATA 1 path->active 1
DATA_SOURCE 2 forward $2
FUZZY_MAX 0 state->path.active 5
PARAM_COMPARE 0 &state->altpath == $1
HARD_MAX 0 state->path.active 5
HARD_MAX 2 forward 1
NO_OVERFLOW_SIMPLE 0 state->args->rmtvaluelen