Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
fs/xfs/libxfs/xfs_bmap.c xfs_bmap_del_extent_real() -> xfs_rmap_unmap_extent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tp | 4096-ptr_max |
| PARAM_VALUE | 1 | ip | 4096-ptr_max |
| 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 | 2 | whichfork | 0-2 |
| PARAM_VALUE | 3 | PREV | 576915652278960128 |
| PARAM_VALUE | 3 | PREV->br_state | 0-1 |
| DATA_SOURCE | 0 | tp | $1 |
| DATA_SOURCE | 1 | ip | $0 |
| DATA_SOURCE | 2 | whichfork | $6 |
| DATA_SOURCE | 3 | PREV | $4 |
| NOSPEC | 1 | ip->i_disk_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | ip->i_disk_size | (-9223372036854775807)-(-4096),0-s64max[c] |
| USER_DATA | 3 | PREV->br_blockcount | 0-18014398509481982,18446744071562067969-u64max[c][u] |
| USER_DATA | 3 | PREV->br_startblock | 1-4503601774854142[c][u] |
| USER_DATA | 3 | PREV->br_startoff | 1-18446744073709551614[c] |
| NO_OVERFLOW_SIMPLE | 0 | tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 1 | ip->i_pdquot->q_id | |
| UNITS | 1 | ip | unit_byte |
fs/xfs/libxfs/xfs_bmap.c xfs_bmap_shift_update_extent() -> xfs_rmap_unmap_extent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tp | 4096-ptr_max |
| PARAM_VALUE | 0 | tp->t_highest_agno | u32max |
| PARAM_VALUE | 0 | tp->t_items.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | tp->t_items.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | tp->t_pflags | 0,262144 |
| PARAM_VALUE | 1 | ip | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_cowfp | 0,4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_flags_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ip->i_itemp | 1-u64max |
| PARAM_VALUE | 1 | ip->i_itemp->ili_dirty_flags | 0-4294967295 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_lv | 0 |
| 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.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ip->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | ip->i_lock.first_waiter->list.prev | 2212933610777083904,2624917664208203776 |
| 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_errortag | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_mount->m_inodegc_wq->first_flusher->done.wait.lock.raw_lock.val.counter | 0-s32max |
| 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 | 2 | whichfork | 0 |
| PARAM_VALUE | 3 | PREV | 3005608469552320512 |
| PARAM_VALUE | 3 | PREV->br_blockcount | 0-18014398509481983 |
| PARAM_VALUE | 3 | PREV->br_startblock | 0-4503599627370495 |
| PARAM_VALUE | 3 | PREV->br_startoff | 0-18014398509481983 |
| PARAM_VALUE | 3 | PREV->br_state | 0-1 |
| DATA_SOURCE | 0 | tp | $0 |
| DATA_SOURCE | 1 | ip | $1 |
| DATA_SOURCE | 2 | whichfork | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/xfs/libxfs/xfs_bmap.c xfs_bmse_merge() -> xfs_rmap_unmap_extent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tp | 4096-ptr_max |
| PARAM_VALUE | 0 | tp->t_highest_agno | u32max |
| PARAM_VALUE | 0 | tp->t_items.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | tp->t_items.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | tp->t_items.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | tp->t_mountp | 4096-ptr_max |
| PARAM_VALUE | 0 | tp->t_pflags | 0,262144 |
| PARAM_VALUE | 1 | ip | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_cowfp | 0,4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_flags_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ip->i_itemp | 1-u64max |
| PARAM_VALUE | 1 | ip->i_itemp->ili_dirty_flags | 0-4294967295 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_lv | 0 |
| 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.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ip->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | ip->i_lock.first_waiter->list.prev | 2212933610777083904,2624917664208203776 |
| 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_errortag | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_mount->m_inodegc_wq->first_flusher->done.wait.lock.raw_lock.val.counter | 0-s32max |
| 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_quotainfo->qi_tree_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 1 | ip->i_mount->m_quotainfo->qi_tree_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | ip->i_mount->m_rtdev_targp | 1-u64max |
| PARAM_VALUE | 2 | whichfork | 0 |
| PARAM_VALUE | 3 | PREV | 7861611416783941632 |
| PARAM_VALUE | 3 | PREV->br_blockcount | 0-18014398509481983 |
| PARAM_VALUE | 3 | PREV->br_startblock | 0-4503599627370495 |
| PARAM_VALUE | 3 | PREV->br_startoff | 0-18014398509481983 |
| PARAM_VALUE | 3 | PREV->br_state | 0-1 |
| CAPPED_DATA | 0 | tp | 1 |
| CAPPED_DATA | 3 | PREV->br_startblock | 1 |
| CAPPED_DATA | 3 | PREV->br_state | 1 |
| DATA_SOURCE | 0 | tp | $0 |
| DATA_SOURCE | 1 | ip | $1 |
| DATA_SOURCE | 2 | whichfork | $2 |
| DATA_SOURCE | 3 | PREV | $5 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/xfs/scrub/reap.c xrep_reap_bmapi_iter() -> xfs_rmap_unmap_extent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tp | 4096-ptr_max |
| PARAM_VALUE | 0 | tp->t_dfops.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | tp->t_dfops.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | tp->t_dfops.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | tp->t_mountp | 4096-ptr_max |
| PARAM_VALUE | 0 | tp->t_mountp->m_healthmon->ref.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 0 | tp->t_mountp->m_sb_bp->b_flags | 0,32-u32max |
| PARAM_VALUE | 1 | ip | 4096-ptr_max |
| PARAM_VALUE | 2 | whichfork | 0-1 |
| PARAM_VALUE | 3 | PREV | 9000723005042528256 |
| PARAM_VALUE | 3 | PREV->br_blockcount | 1-u64max |
| PARAM_VALUE | 3 | PREV->br_startblock | 0-18446744073709551613 |
| PARAM_VALUE | 3 | PREV->br_startoff | 0-18446744073709551614 |
| PARAM_VALUE | 3 | PREV->br_state | 0-1 |
| DATA_SOURCE | 3 | PREV | $1 |
| NOCHECK_CALL |