Defined in 1 files as a prototype:
Defined in 1 files as a macro:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
fs/xfs/libxfs/xfs_dir2.c xfs_dir_add_child() -> xfs_dir_update_hook()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dp | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->i_flags_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dp->i_itemp | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->i_itemp->ili_dirty_flags | 0-4294967295 |
| PARAM_VALUE | 1 | ip | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_flags_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ip->i_itemp | 4096-ptr_max |
| PARAM_VALUE | 2 | delta | 1 |
| PARAM_VALUE | 3 | name | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/xfs/libxfs/xfs_dir2.c xfs_dir_create_child() -> xfs_dir_update_hook()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dp | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->i_flags_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dp->i_itemp | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->i_itemp->ili_dirty_flags | 0-4294967295 |
| PARAM_VALUE | 1 | ip | 4096-ptr_max |
| PARAM_VALUE | 2 | delta | 1 |
| PARAM_VALUE | 3 | name | 5434382714463490048,5726428386383998976,8439464016390635520 |
| PARAM_VALUE | 3 | name->len | s16min-s16max |
| PARAM_VALUE | 3 | name->type | 0-8 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/xfs/libxfs/xfs_dir2.c xfs_dir_exchange_children() -> xfs_dir_update_hook()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dp | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->i_flags_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dp->i_itemp | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->i_itemp->ili_dirty_flags | 0-4294967295 |
| PARAM_VALUE | 1 | ip | 4096-ptr_max |
| PARAM_VALUE | 2 | delta | (-1) |
| PARAM_VALUE | 3 | name | 4399196478357495808 |
| CAPPED_DATA | 0 | dp | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/xfs/libxfs/xfs_dir2.c xfs_dir_exchange_children() -> xfs_dir_update_hook()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dp | 4096-ptr_max |
| PARAM_VALUE | 1 | ip | 0,4096-ptr_max |
| PARAM_VALUE | 2 | delta | (-1) |
| PARAM_VALUE | 3 | name | 4054032053945585664 |
| CAPPED_DATA | 0 | dp | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/xfs/libxfs/xfs_dir2.c xfs_dir_exchange_children() -> xfs_dir_update_hook()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dp | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->i_flags_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dp->i_itemp | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->i_itemp->ili_dirty_flags | 0-4294967295 |
| PARAM_VALUE | 1 | ip | 0,4096-ptr_max |
| PARAM_VALUE | 2 | delta | 1 |
| PARAM_VALUE | 3 | name | 4399196478357495808 |
| CAPPED_DATA | 0 | dp | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/xfs/libxfs/xfs_dir2.c xfs_dir_exchange_children() -> xfs_dir_update_hook()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dp | 4096-ptr_max |
| PARAM_VALUE | 1 | ip | 4096-ptr_max |
| PARAM_VALUE | 2 | delta | 1 |
| PARAM_VALUE | 3 | name | 4054032053945585664 |
| CAPPED_DATA | 0 | dp | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/xfs/libxfs/xfs_dir2.c xfs_dir_remove_child() -> xfs_dir_update_hook()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dp | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->i_flags_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dp->i_itemp | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->i_itemp->ili_dirty_flags | 0-4294967295 |
| PARAM_VALUE | 0 | dp->i_mount | 4096-ptr_max |
| PARAM_VALUE | 1 | ip | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_flags_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ip->i_itemp | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_itemp->ili_dirty_flags | 0-4294967295 |
| PARAM_VALUE | 2 | delta | (-1) |
| PARAM_VALUE | 3 | name | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/xfs/libxfs/xfs_dir2.c xfs_dir_rename_children() -> xfs_dir_update_hook()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dp | 4096-ptr_max |
| PARAM_VALUE | 1 | ip | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_flags_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ip->i_itemp | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_itemp->ili_dirty_flags | 0-4294967295 |
| PARAM_VALUE | 2 | delta | (-1) |
| PARAM_VALUE | 3 | name | 4054032053945585664 |
| CAPPED_DATA | 0 | dp | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/xfs/libxfs/xfs_dir2.c xfs_dir_rename_children() -> xfs_dir_update_hook()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dp | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->i_flags_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dp->i_itemp | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->i_itemp->ili_dirty_flags | 0-4294967295 |
| PARAM_VALUE | 0 | dp->i_mount | 4096-ptr_max |
| PARAM_VALUE | 1 | ip | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_flags_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ip->i_itemp | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_itemp->ili_dirty_flags | 0-4294967295 |
| PARAM_VALUE | 2 | delta | (-1) |
| PARAM_VALUE | 3 | name | 4399196478357495808 |
| CAPPED_DATA | 0 | dp | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/xfs/libxfs/xfs_dir2.c xfs_dir_rename_children() -> xfs_dir_update_hook()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dp | 4096-ptr_max |
| PARAM_VALUE | 1 | ip | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_flags_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ip->i_itemp | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_itemp->ili_dirty_flags | 0-4294967295 |
| PARAM_VALUE | 2 | delta | 1 |
| PARAM_VALUE | 3 | name | 4054032053945585664 |
| CAPPED_DATA | 0 | dp | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/xfs/libxfs/xfs_dir2.c xfs_dir_rename_children() -> xfs_dir_update_hook()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dp | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->i_flags_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dp->i_itemp | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->i_itemp->ili_dirty_flags | 0-4294967295 |
| PARAM_VALUE | 0 | dp->i_mount | 4096-ptr_max |
| PARAM_VALUE | 1 | ip | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_flags_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ip->i_itemp | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_next_unlinked | u32max |
| PARAM_VALUE | 1 | ip->i_prev_unlinked | 0 |
| PARAM_VALUE | 2 | delta | 1 |
| PARAM_VALUE | 3 | name | 4399196478357495808 |
| CAPPED_DATA | 0 | dp | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/xfs/scrub/orphanage.c xrep_adoption_move() -> xfs_dir_update_hook()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dp | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->i_flags_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dp->i_itemp | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->i_itemp->ili_dirty_flags | 0-4294967295 |
| PARAM_VALUE | 1 | ip | 4096-ptr_max |
| PARAM_VALUE | 2 | delta | 1 |
| PARAM_VALUE | 3 | name | 4096-ptr_max |
| PARAM_VALUE | 3 | name->len | s16min-s16max |
| PARAM_VALUE | 3 | name->type | 0-8 |
| NOCHECK_CALL |
fs/xfs/scrub/dirtree_repair.c xrep_dirtree_unlink() -> xfs_dir_update_hook()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dp | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->i_flags_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dp->i_itemp | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->i_itemp->ili_dirty_flags | 0-4294967295 |
| PARAM_VALUE | 0 | dp->i_itemp->ili_item.li_ops->flags | 0-2,5 |
| PARAM_VALUE | 0 | dp->i_itemp->ili_item.li_ops->iop_committed | 0,283025114569195520,5164564067102691328 |
| PARAM_VALUE | 0 | dp->i_itemp->ili_item.li_ops->iop_committing | 0,4828373187025854464,6929890327166103552,8391046949560442880 |
| PARAM_VALUE | 0 | dp->i_itemp->ili_item.li_ops->iop_intent | 0,564933579169271808,1432282536262184960,2001389918975270912,6466259957020385280,8569170642382753792,9140561983953010688 |
| PARAM_VALUE | 0 | dp->i_itemp->ili_item.li_ops->iop_match | 0,632712193071185920,2903961003257139200,2990082737005334528,4656829959769772032,8815353037356904448,8840775383261859840 |
| PARAM_VALUE | 0 | dp->i_itemp->ili_item.li_ops->iop_pin | 0,128515512824188928,1388028456347627520,2041315837493792768 |
| PARAM_VALUE | 0 | dp->i_itemp->ili_item.li_ops->iop_precommit | 0,1492769248575832064,4373168401562583040,7909231871947640832,8569134365498331136 |
| PARAM_VALUE | 0 | dp->i_itemp->ili_item.li_ops->iop_push | 0,925402561215127552,8226357149320933376,9036841439544610816 |
| PARAM_VALUE | 0 | dp->i_itemp->ili_item.li_ops->iop_sort | 0,4561676619972972544,7092074397265825792 |
| PARAM_VALUE | 0 | dp->i_itemp->ili_lock_flags | 0,4 |
| PARAM_VALUE | 0 | dp->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | dp->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | dp->i_mount | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->i_mount->m_inodegc_wq->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | dp->i_mount->m_inodegc_wq->flusher_overflow.prev->next | 2906673126597898240 |
| PARAM_VALUE | 0 | dp->i_mount->m_inodegc_wq->work_color | s32min-s32max |
| PARAM_VALUE | 1 | ip | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_flags_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ip->i_itemp | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_itemp->ili_dirty_flags | 0-4294967295 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ops->flags | 0-2,5 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ops->iop_committed | 0,283025114569195520,5164564067102691328 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ops->iop_committing | 0,4828373187025854464,6929890327166103552,8391046949560442880 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ops->iop_intent | 0,564933579169271808,1432282536262184960,2001389918975270912,6466259957020385280,8569170642382753792,9140561983953010688 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ops->iop_match | 0,632712193071185920,2903961003257139200,2990082737005334528,4656829959769772032,8815353037356904448,8840775383261859840 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ops->iop_pin | 0,128515512824188928,1388028456347627520,2041315837493792768 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ops->iop_precommit | 0,1492769248575832064,4373168401562583040,7909231871947640832,8569134365498331136 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ops->iop_push | 0,925402561215127552,8226357149320933376,9036841439544610816 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ops->iop_sort | 0,4561676619972972544,7092074397265825792 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_lock_flags | 0,4 |
| PARAM_VALUE | 1 | ip->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | ip->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | ip->i_mount | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_mount->m_inodegc_wq->flush_color | s32min-s32max |
| PARAM_VALUE | 1 | ip->i_mount->m_inodegc_wq->work_color | s32min-s32max |
| PARAM_VALUE | 1 | ip->i_mount->m_super | 4096-ptr_max |
| PARAM_VALUE | 2 | delta | (-1) |
| PARAM_VALUE | 3 | name | 4096-ptr_max |
| CAPPED_DATA | 0 | dp | 1 |
| CAPPED_DATA | 1 | ip | 1 |
| DATA_SOURCE | 0 | dp | $1 |
| PARAM_COMPARE | 0 | dp | == $1 |
| PARAM_COMPARE | 0 | dp | == $1 |
| PARAM_COMPARE | 1 | ip | == $0 |
| NOCHECK_CALL |