Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/xfs/libxfs/xfs_bmap.c xfs_bmap_add_extent_delay_real() -> xfs_bmap_same_rtgroup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ip | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_mount | 4096-ptr_max |
| PARAM_VALUE | 1 | whichfork | 0-2 |
| PARAM_VALUE | 2 | left | 8704925332399357952 |
| PARAM_VALUE | 3 | right | 7078978139519856688,7228274775691866160 |
| PARAM_VALUE | 3 | right->br_startblock | 0-18446744073709551614 |
| BUF_SIZE | 2 | left | 96 |
| BUF_SIZE | 3 | right | 32 |
| CAPPED_DATA | 3 | right->br_startblock | 1 |
| CAPPED_DATA | 3 | right->br_startoff | 1 |
| CAPPED_DATA | 3 | right->br_state | 1 |
| DATA_SOURCE | 1 | whichfork | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 3 | right->br_blockcount | 0-2097151[c] |
| UNITS | 0 | ip | unit_byte |
fs/xfs/libxfs/xfs_bmap.c xfs_bmap_add_extent_delay_real() -> xfs_bmap_same_rtgroup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ip | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_mount | 4096-ptr_max |
| PARAM_VALUE | 1 | whichfork | 0-2 |
| PARAM_VALUE | 2 | left | 7078978139519856688,7228274775691866160 |
| PARAM_VALUE | 2 | left->br_startblock | 0-18446744073709551614 |
| PARAM_VALUE | 3 | right | 8704925332399357960 |
| BUF_SIZE | 2 | left | 32 |
| BUF_SIZE | 3 | right | 64 |
| CAPPED_DATA | 2 | left->br_startblock | 1 |
| CAPPED_DATA | 2 | left->br_state | 1 |
| DATA_SOURCE | 1 | whichfork | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | left->br_blockcount | 0-2097151[c] |
| USER_DATA | 2 | left->br_startoff | 0-s32max[c] |
| UNITS | 0 | ip | unit_byte |
fs/xfs/libxfs/xfs_bmap.c xfs_bmap_add_extent_hole_real() -> xfs_bmap_same_rtgroup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ip | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_mount | 4096-ptr_max |
| PARAM_VALUE | 1 | whichfork | 0-2 |
| PARAM_VALUE | 2 | left | 3808633627912302592 |
| PARAM_VALUE | 2 | left->br_startblock | 0-4503599627370495 |
| PARAM_VALUE | 3 | right | 1708816335497613312,7078978139519856688,7228274775691866160 |
| CAPPED_DATA | 3 | right->br_startblock | 1 |
| CAPPED_DATA | 3 | right->br_startoff | 1 |
| CAPPED_DATA | 3 | right->br_state | 1 |
| DATA_SOURCE | 0 | ip | $1 |
| DATA_SOURCE | 1 | whichfork | $2 |
| DATA_SOURCE | 3 | right | $5 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 3 | right->br_blockcount | 0-2097151[c] |
| UNITS | 0 | ip | unit_byte |
fs/xfs/libxfs/xfs_bmap.c xfs_bmap_add_extent_hole_real() -> xfs_bmap_same_rtgroup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ip | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_mount | 4096-ptr_max |
| PARAM_VALUE | 1 | whichfork | 0-2 |
| PARAM_VALUE | 2 | left | 1708816335497613312,7078978139519856688,7228274775691866160 |
| PARAM_VALUE | 3 | right | 8503327094650216448 |
| CAPPED_DATA | 2 | left->br_state | 1 |
| DATA_SOURCE | 0 | ip | $1 |
| DATA_SOURCE | 1 | whichfork | $2 |
| DATA_SOURCE | 2 | left | $5 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | left->br_blockcount | 0-2097151[c] |
| USER_DATA | 2 | left->br_startoff | 0-s32max[c] |
| UNITS | 0 | ip | unit_byte |
fs/xfs/libxfs/xfs_bmap.c xfs_bmap_add_extent_unwritten_real() -> xfs_bmap_same_rtgroup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ip | 4096-ptr_max |
| PARAM_VALUE | 1 | whichfork | 0-2 |
| PARAM_VALUE | 2 | left | 969076158486065152 |
| PARAM_VALUE | 3 | right | 4096-ptr_max |
| BUF_SIZE | 2 | left | 96 |
| BUF_SIZE | 3 | right | (-1),96 |
| BUF_SIZE | 3 | right | (-1),96 |
| CAPPED_DATA | 3 | right->br_startblock | 1 |
| CAPPED_DATA | 3 | right->br_startoff | 1 |
| CAPPED_DATA | 3 | right->br_state | 1 |
| DATA_SOURCE | 0 | ip | $1 |
| DATA_SOURCE | 1 | whichfork | $2 |
| DATA_SOURCE | 3 | right | $5 |
| NOSPEC | 0 | ip->i_disk_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | ip->i_disk_size | (-9223372036854775807)-(-4096),0-s64max[c] |
| USER_DATA | 3 | right->br_blockcount | 0-18014398509481983,18446744069414584321-u64max |
| NO_OVERFLOW_SIMPLE | 0 | ip->i_pdquot->q_id | |
| UNITS | 0 | ip | unit_byte |
fs/xfs/libxfs/xfs_bmap.c xfs_bmap_add_extent_unwritten_real() -> xfs_bmap_same_rtgroup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ip | 4096-ptr_max |
| PARAM_VALUE | 1 | whichfork | 0-2 |
| PARAM_VALUE | 2 | left | 4096-ptr_max |
| PARAM_VALUE | 3 | right | 969076158486065160 |
| BUF_SIZE | 2 | left | (-1),96 |
| BUF_SIZE | 2 | left | (-1),96 |
| BUF_SIZE | 3 | right | 64 |
| CAPPED_DATA | 2 | left->br_state | 1 |
| DATA_SOURCE | 0 | ip | $1 |
| DATA_SOURCE | 1 | whichfork | $2 |
| DATA_SOURCE | 2 | left | $5 |
| NOSPEC | 0 | ip->i_disk_size | |
| NOSPEC | 2 | left->br_startoff | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | ip->i_disk_size | (-9223372036854775807)-(-4096),0-s64max[c] |
| USER_DATA | 2 | left->br_blockcount | 0-18014398509481983,18446744069414584321-u64max |
| USER_DATA | 2 | left->br_startblock | 0-4503603922337790[u] |
| USER_DATA | 2 | left->br_startoff | 0-18446744073709551614[c] |
| NO_OVERFLOW_SIMPLE | 0 | ip->i_pdquot->q_id | |
| UNITS | 0 | ip | unit_byte |
fs/xfs/libxfs/xfs_bmap.c xfs_bmse_can_merge() -> xfs_bmap_same_rtgroup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ip | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_mount | 4096-ptr_max |
| PARAM_VALUE | 1 | whichfork | 0 |
| PARAM_VALUE | 2 | left | 2903241570260238336,4105098647141351424 |
| PARAM_VALUE | 2 | left->br_startblock | 0-4503599627370495 |
| PARAM_VALUE | 3 | right | 7861611416783941632,8784785214461329408 |
| PARAM_VALUE | 3 | right->br_startblock | 0-4503599627370495 |
| CAPPED_DATA | 2 | left->br_state | 1 |
| CAPPED_DATA | 3 | right->br_startblock | 1 |
| CAPPED_DATA | 3 | right->br_state | 1 |
| DATA_SOURCE | 0 | ip | $0 |
| DATA_SOURCE | 1 | whichfork | $1 |
| DATA_SOURCE | 2 | left | $2 |
| DATA_SOURCE | 3 | right | $3 |
| PARAM_COMPARE | 3 | right->br_state | == $2->br_state |
| RX_PATH | |||
| TASK_NOT_RUNNING |