Open Menu /

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_inode_fork.c xfs_iextents_copy() -> xfs_bmap_validate_extent()

Type Parameter Key Value
PARAM_VALUE 0 ip 4096-ptr_max
PARAM_VALUE 0 ip->i_itemp 4096-ptr_max
PARAM_VALUE 0 ip->i_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ip->i_lock.first_waiter->type 0-1
PARAM_VALUE 0 ip->i_mount 4096-ptr_max
PARAM_VALUE 1 whichfork 0-1
PARAM_VALUE 2 irec 569721569727688704
PARAM_VALUE 2 irec->br_blockcount 0-18014398509481983
PARAM_VALUE 2 irec->br_startblock 0-4503599627370495
PARAM_VALUE 2 irec->br_startoff 0-18014398509481983
PARAM_VALUE 2 irec->br_state 0-1
DATA_SOURCE 0 ip $0
DATA_SOURCE 1 whichfork $2
HARD_MAX 1 whichfork 1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 2 irec->br_blockcount
NO_OVERFLOW_SIMPLE 2 irec->br_startblock
UNITS 0 ip unit_byte
HALF_LOCKED2 &ailp->ail_lock
HALF_LOCKED2 &bp->b_sema
HALF_LOCKED2 &cil->xc_ctx_lock

fs/xfs/libxfs/xfs_inode_fork.c xfs_iformat_extents() -> xfs_bmap_validate_extent()

Type Parameter Key Value
PARAM_VALUE 0 ip 4096-ptr_max
PARAM_VALUE 0 ip->i_af.if_format 2
PARAM_VALUE 0 ip->i_checked 0
PARAM_VALUE 0 ip->i_cowfp 0
PARAM_VALUE 0 ip->i_delayed_blks 0
PARAM_VALUE 0 ip->i_df.if_needextents 0-1
PARAM_VALUE 0 ip->i_ioend_list.next 4096-ptr_max
PARAM_VALUE 0 ip->i_ioend_list.next->next 4096-ptr_max
PARAM_VALUE 0 ip->i_ioend_list.prev 4096-ptr_max
PARAM_VALUE 0 ip->i_ioend_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ip->i_ioend_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 ip->i_mount 4096-ptr_max
PARAM_VALUE 0 ip->i_mount->m_super 4096-ptr_max
PARAM_VALUE 0 ip->i_prev_unlinked 0
PARAM_VALUE 0 ip->i_sick 0
PARAM_VALUE 1 whichfork 0-1
PARAM_VALUE 2 irec 2402847513835171840
PARAM_VALUE 2 irec->br_blockcount 0-2097151
PARAM_VALUE 2 irec->br_startblock 0-4503599627370495
PARAM_VALUE 2 irec->br_startoff 0-18014398509481983
PARAM_VALUE 2 irec->br_state 0-1
BUF_SIZE 0 ip->i_mount (-1),1-s32max
DATA_SOURCE 0 ip $0
DATA_SOURCE 1 whichfork $2
STR_LEN 0 ip->i_mount (-1),5,8
HARD_MAX 1 whichfork 1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 2 irec->br_blockcount
NO_OVERFLOW_SIMPLE 2 irec->br_startblock

fs/xfs/libxfs/xfs_bmap.c xfs_bmap_query_range_helper() -> xfs_bmap_validate_extent()

Type Parameter Key Value
PARAM_VALUE 2 irec 6830856548130942976
PARAM_VALUE 2 irec->br_blockcount 0-2097151
PARAM_VALUE 2 irec->br_startblock 0-4503599627370495
PARAM_VALUE 2 irec->br_startoff 0-18014398509481983
PARAM_VALUE 2 irec->br_state 0-1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ip->i_delayed_blks
NO_OVERFLOW_SIMPLE 0 ip->i_nblocks
UNITS 0 ip unit_byte

fs/xfs/libxfs/xfs_bmap.c xfs_iread_bmbt_block() -> xfs_bmap_validate_extent()

Type Parameter Key Value
PARAM_VALUE 1 whichfork 0-255
PARAM_VALUE 2 irec 4818641726489964544
PARAM_VALUE 2 irec->br_blockcount 0-2097151
PARAM_VALUE 2 irec->br_startblock 0-4503599627370495
PARAM_VALUE 2 irec->br_startoff 0-18014398509481983
PARAM_VALUE 2 irec->br_state 0-1
BUF_SIZE 0 ip (-1),1-s32max
BUF_SIZE 0 ip (-1),1-s32max
NOSPEC 0 ip->i_disk_size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 ip->i_disk_size (-9223372036854775807)-s64max[c]
NO_OVERFLOW_SIMPLE 0 ip->i_delayed_blks
NO_OVERFLOW_SIMPLE 0 ip->i_nblocks
UNITS 0 ip unit_byte

fs/xfs/scrub/bmap.c xchk_bmapbt_rec() -> xfs_bmap_validate_extent()

Type Parameter Key Value
PARAM_VALUE 2 irec 5433015257937108992
PARAM_VALUE 2 irec->br_blockcount 0-2097151
PARAM_VALUE 2 irec->br_startblock 0-4503599627370495
PARAM_VALUE 2 irec->br_startoff 0-18014398509481983
PARAM_VALUE 2 irec->br_state 0-1
UNITS 0 ip unit_byte

fs/xfs/scrub/bmap_repair.c xrep_bmap_from_rmap() -> xfs_bmap_validate_extent()

Type Parameter Key Value
PARAM_VALUE 2 irec 4841016535535775744
PARAM_VALUE 2 irec->br_blockcount 1-2097151
PARAM_VALUE 2 irec->br_state 0-1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 2 irec->br_blockcount
NO_OVERFLOW_SIMPLE 2 irec->br_startblock
NO_OVERFLOW_SIMPLE 2 irec->br_startoff