Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

fs/xfs/scrub/bmap.c xchk_bmap() -> xchk_fblock_xref_process_error()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->ip 4096-ptr_max
PARAM_VALUE 0 sc->ip->i_flags_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sc->ip->i_itemp->ili_dirty_flags 0-4294967295
PARAM_VALUE 0 sc->ip->i_mount->m_healthmon->ref.refs.counter s32min-s32max
PARAM_VALUE 0 sc->mp 4096-ptr_max
PARAM_VALUE 0 sc->ops 4096-ptr_max
PARAM_VALUE 0 sc->ops->repair_eval 0,2592533893225459712,5830863107202789376
PARAM_VALUE 0 sc->relax.resched_nr 0-99
PARAM_VALUE 0 sc->sa.agf_bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 sc->sa.agi_bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 sc->sm 4096-ptr_max
PARAM_VALUE 1 whichfork 0-2
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 error 1120977298511024128
BUF_SIZE 0 sc (-1),240
BUF_SIZE 0 sc (-1),240
DATA_SOURCE 0 sc $0
DATA_SOURCE 1 whichfork $1
USER_DATA 0 sc->sm->sm_agno 0-u32max
USER_DATA 0 sc->sm->sm_gen 0-u32max
USER_DATA 0 sc->sm->sm_ino 0-u64max
USER_DATA 0 sc->sm->sm_type 0-32
USER_PTR 0 sc->sm->sm_reserved

fs/xfs/scrub/parent.c xchk_parent_actor() -> xchk_fblock_xref_process_error()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->ip->i_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 sc->ip->i_lock.first_waiter->type 0-1
PARAM_VALUE 0 sc->ip->i_mount->m_filestream->grp_time 0-4294967295
PARAM_VALUE 0 sc->mp->m_filestream->lru_grp 0-4294967295
PARAM_VALUE 0 sc->mp->m_inodegc_wq->flush_color s32min-s32max
PARAM_VALUE 0 sc->mp->m_inodegc_wq->work_color s32min-s32max
PARAM_VALUE 0 sc->ops->repair_eval 0,2592533893225459712,5830863107202789376
PARAM_VALUE 0 sc->sa.agf_bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 sc->sa.agi_bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 sc->tempip->i_itemp->ili_dirty_flags 0-4294967295
PARAM_VALUE 0 sc->tempip->i_itemp->ili_lock_flags 0-u16max
PARAM_VALUE 0 sc->tempip->i_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 sc->tempip->i_lock.first_waiter->type 0-1
PARAM_VALUE 1 whichfork 0
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 error 8879921270867632128
PARAM_VALUE 3 *error (-117),0
DATA_SOURCE 0 sc $0
USER_DATA 0 sc->sm->sm_agno 0-u32max
USER_DATA 0 sc->sm->sm_gen 0-u32max
USER_DATA 0 sc->sm->sm_ino 0-u64max
USER_DATA 0 sc->sm->sm_type 0-32
USER_PTR 0 sc->sm->sm_reserved

fs/xfs/scrub/parent.c xchk_parent_dirent() -> xchk_fblock_xref_process_error()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->mp 4096-ptr_max
PARAM_VALUE 1 whichfork 1
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 error 1232914497136226304
PARAM_VALUE 3 *error s32min-(-18),(-16)-(-3),(-1)-s32max

fs/xfs/scrub/parent.c xchk_parent_iget() -> xchk_fblock_xref_process_error()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->mp 4096-ptr_max
PARAM_VALUE 0 sc->mp->m_sb.sb_agcount 1-u32max
PARAM_VALUE 1 whichfork 1
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 error 4374278310455046144
PARAM_VALUE 3 *error s32min-(-23),(-21)-(-3),(-1)-s32max

fs/xfs/scrub/parent.c xchk_parent_scan_attr() -> xchk_fblock_xref_process_error()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->ip->i_itemp->ili_dirty_flags 0-4294967295
PARAM_VALUE 0 sc->ip->i_itemp->ili_lock_flags 0-u16max
PARAM_VALUE 0 sc->ip->i_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 sc->ip->i_lock.first_waiter->type 0-1
PARAM_VALUE 0 sc->mp->m_filestream->lru_grp 0-4294967295
PARAM_VALUE 0 sc->mp->m_inodegc_wq->flush_color s32min-s32max
PARAM_VALUE 0 sc->mp->m_inodegc_wq->work_color s32min-s32max
PARAM_VALUE 0 sc->mp->m_sb.sb_agcount 1-u32max
PARAM_VALUE 0 sc->ops->repair_eval 0,2592533893225459712,5830863107202789376
PARAM_VALUE 0 sc->orphanage->i_itemp->ili_lock_flags 0-u16max
PARAM_VALUE 0 sc->orphanage->i_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 sc->orphanage->i_lock.first_waiter->type 0-1
PARAM_VALUE 0 sc->sa.agf_bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 sc->sa.agi_bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 sc->tempip->i_itemp->ili_dirty_flags 0-4294967295
PARAM_VALUE 0 sc->tempip->i_itemp->ili_lock_flags 0-u16max
PARAM_VALUE 0 sc->tempip->i_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 sc->tempip->i_lock.first_waiter->type 0-1
PARAM_VALUE 1 whichfork 1
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 error 185437118479802368
PARAM_VALUE 3 *error (-12),0
DATA_SOURCE 0 sc $0
USER_DATA 0 sc->sm->sm_agno 0-u32max
USER_DATA 0 sc->sm->sm_gen 0-u32max
USER_DATA 0 sc->sm->sm_ino 0-u64max
USER_DATA 0 sc->sm->sm_type 0-32
USER_PTR 0 sc->sm->sm_reserved
HALF_LOCKED2 &dl->lock

fs/xfs/scrub/parent.c xchk_parent_scan_attr() -> xchk_fblock_xref_process_error()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->ip->i_itemp->ili_dirty_flags 0-4294967295
PARAM_VALUE 0 sc->ip->i_itemp->ili_lock_flags 0-u16max
PARAM_VALUE 0 sc->ip->i_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 sc->ip->i_lock.first_waiter->type 0-1
PARAM_VALUE 0 sc->mp->m_filestream->lru_grp 0-4294967295
PARAM_VALUE 0 sc->mp->m_inodegc_wq->flush_color s32min-s32max
PARAM_VALUE 0 sc->mp->m_inodegc_wq->work_color s32min-s32max
PARAM_VALUE 0 sc->mp->m_sb.sb_agcount 1-u32max
PARAM_VALUE 0 sc->ops->repair_eval 0,2592533893225459712,5830863107202789376
PARAM_VALUE 0 sc->orphanage->i_itemp->ili_lock_flags 0-u16max
PARAM_VALUE 0 sc->orphanage->i_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 sc->orphanage->i_lock.first_waiter->type 0-1
PARAM_VALUE 0 sc->sa.agf_bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 sc->sa.agi_bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 sc->tempip->i_itemp->ili_dirty_flags 0-4294967295
PARAM_VALUE 0 sc->tempip->i_itemp->ili_lock_flags 0-u16max
PARAM_VALUE 0 sc->tempip->i_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 sc->tempip->i_lock.first_waiter->type 0-1
PARAM_VALUE 1 whichfork 1
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 error 185437118479802368
PARAM_VALUE 3 *error (-27),(-12),0
DATA_SOURCE 0 sc $0
USER_DATA 0 sc->sm->sm_agno 0-u32max
USER_DATA 0 sc->sm->sm_gen 0-u32max
USER_DATA 0 sc->sm->sm_ino 0-u64max
USER_DATA 0 sc->sm->sm_type 0-32
USER_PTR 0 sc->sm->sm_reserved
HALF_LOCKED2 &dl->lock

fs/xfs/scrub/parent.c xchk_parent_slow_pptr() -> xchk_fblock_xref_process_error()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->mp 4096-ptr_max
PARAM_VALUE 0 sc->ops 4096-ptr_max
PARAM_VALUE 0 sc->sm 4096-ptr_max
PARAM_VALUE 1 whichfork 1
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 error 5423940703783849984
PARAM_VALUE 3 *error s32min-(-62),(-60)-(-3),(-1)-s32max

fs/xfs/scrub/parent.c xchk_parent_slow_pptr() -> xchk_fblock_xref_process_error()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->ip->i_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 sc->ip->i_lock.first_waiter->type 0-1
PARAM_VALUE 0 sc->mp 4096-ptr_max
PARAM_VALUE 0 sc->ops 4096-ptr_max
PARAM_VALUE 0 sc->relax.resched_nr 0-99
PARAM_VALUE 0 sc->sm 4096-ptr_max
PARAM_VALUE 1 whichfork 1
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 error 5423940703783849984
PARAM_VALUE 3 *error s32min-(-62),(-60)-(-3),(-1)-s32max

fs/xfs/scrub/parent.c xchk_parent_validate() -> xchk_fblock_xref_process_error()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->ip 4096-ptr_max
PARAM_VALUE 0 sc->ip->i_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 sc->ip->i_lock.first_waiter->type 0-1
PARAM_VALUE 0 sc->ip->i_mount 4096-ptr_max
PARAM_VALUE 0 sc->mp 4096-ptr_max
PARAM_VALUE 0 sc->mp->m_sb.sb_agcount 1-u32max
PARAM_VALUE 0 sc->ops 4096-ptr_max
PARAM_VALUE 0 sc->ops->repair_eval 0,2592533893225459712,5830863107202789376
PARAM_VALUE 0 sc->relax.resched_nr 0-99
PARAM_VALUE 0 sc->sa.agf_bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 sc->sa.agi_bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 sc->sm 4096-ptr_max
PARAM_VALUE 1 whichfork 0
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 error 6868604459888570368
PARAM_VALUE 3 *error s32min-(-23),(-21)-(-3),(-1)-s32max
BUF_SIZE 0 sc (-1),240
BUF_SIZE 0 sc (-1),240
CAPPED_DATA 0 sc->ip 1
DATA_SOURCE 0 sc $0
USER_DATA 0 sc->sm->sm_agno 0-u32max
USER_DATA 0 sc->sm->sm_gen 0-u32max
USER_DATA 0 sc->sm->sm_ino 0-u64max
USER_DATA 0 sc->sm->sm_type 0-32
USER_PTR 0 sc->sm->sm_reserved

fs/xfs/scrub/parent.c xchk_parent_validate() -> xchk_fblock_xref_process_error()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->ip 4096-ptr_max
PARAM_VALUE 0 sc->ip->i_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 sc->ip->i_lock.first_waiter->type 0-1
PARAM_VALUE 0 sc->ip->i_mount 4096-ptr_max
PARAM_VALUE 0 sc->mp 4096-ptr_max
PARAM_VALUE 0 sc->mp->m_sb.sb_agcount 1-u32max
PARAM_VALUE 0 sc->ops 4096-ptr_max
PARAM_VALUE 0 sc->ops->repair_eval 0,2592533893225459712,5830863107202789376
PARAM_VALUE 0 sc->sa.agf_bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 sc->sa.agi_bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 sc->sm 4096-ptr_max
PARAM_VALUE 1 whichfork 0
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 error 6868604459888570368
BUF_SIZE 0 sc (-1),240
BUF_SIZE 0 sc (-1),240
CAPPED_DATA 0 sc->ip 1
DATA_SOURCE 0 sc $0
USER_DATA 0 sc->sm->sm_agno 0-u32max
USER_DATA 0 sc->sm->sm_gen 0-u32max
USER_DATA 0 sc->sm->sm_ino 0-u64max
USER_DATA 0 sc->sm->sm_type 0-32
USER_PTR 0 sc->sm->sm_reserved

fs/xfs/scrub/metapath.c xchk_metapath() -> xchk_fblock_xref_process_error()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->buf 4096-ptr_max
PARAM_VALUE 0 sc->ops 4096-ptr_max
PARAM_VALUE 0 sc->ops->repair_eval 0,2592533893225459712,5830863107202789376
PARAM_VALUE 0 sc->sa.agf_bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 sc->sa.agi_bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 sc->sm 4096-ptr_max
PARAM_VALUE 0 sc->sm->sm_ino 1-u64max
PARAM_VALUE 0 sc->tp 4096-ptr_max
PARAM_VALUE 1 whichfork 0
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 error 3459605068529209344
PARAM_VALUE 3 *error s32min-(-18),(-16)-(-3),(-1)-s32max
BUF_SIZE 0 sc (-1),240
BUF_SIZE 0 sc (-1),240
DATA_SOURCE 0 sc $0
USER_DATA 0 sc->sm->sm_agno 0-u32max
USER_DATA 0 sc->sm->sm_gen 0-u32max
USER_DATA 0 sc->sm->sm_ino 1-u64max
USER_DATA 0 sc->sm->sm_type 0-32
USER_PTR 0 sc->sm->sm_reserved

fs/xfs/scrub/dir.c xchk_dir_actor() -> xchk_fblock_xref_process_error()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->ip->i_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 sc->ip->i_lock.first_waiter->type 0-1
PARAM_VALUE 0 sc->ip->i_mount->m_filestream->grp_time 0-4294967295
PARAM_VALUE 0 sc->mp 4096-ptr_max
PARAM_VALUE 0 sc->mp->m_filestream->lru_grp 0-4294967295
PARAM_VALUE 0 sc->mp->m_inodegc_wq->flush_color s32min-s32max
PARAM_VALUE 0 sc->mp->m_inodegc_wq->work_color s32min-s32max
PARAM_VALUE 0 sc->ops->repair_eval 0,2592533893225459712,5830863107202789376
PARAM_VALUE 0 sc->relax.resched_nr 0-99
PARAM_VALUE 0 sc->sa.agf_bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 sc->sa.agi_bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 sc->tempip->i_itemp->ili_dirty_flags 0-4294967295
PARAM_VALUE 0 sc->tempip->i_itemp->ili_lock_flags 0-u16max
PARAM_VALUE 0 sc->tempip->i_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 sc->tempip->i_lock.first_waiter->type 0-1
PARAM_VALUE 1 whichfork 0
PARAM_VALUE 3 error 3985174810603810816
PARAM_VALUE 3 *error s32min-(-23),(-21)-(-3),(-1)-s32max
DATA_SOURCE 0 sc $0
DATA_SOURCE 2 offset r xfs_dir2_db_to_da
USER_DATA 0 sc->sm->sm_agno 0-u32max
USER_DATA 0 sc->sm->sm_gen 0-u32max
USER_DATA 0 sc->sm->sm_ino 0-u64max
USER_DATA 0 sc->sm->sm_type 0-32
USER_PTR 0 sc->sm->sm_reserved

fs/xfs/scrub/dir.c xchk_dir_check_pptr_fast() -> xchk_fblock_xref_process_error()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 1 whichfork 0
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 error 2561867215793491968
PARAM_VALUE 3 *error (-12),0

fs/xfs/scrub/dir.c xchk_dir_check_pptr_fast() -> xchk_fblock_xref_process_error()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 1 whichfork 0
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 error 2561867215793491968
PARAM_VALUE 3 *error (-27),(-12),0

fs/xfs/scrub/dir.c xchk_dir_slow_dirent() -> xchk_fblock_xref_process_error()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->ip 4096-ptr_max
PARAM_VALUE 0 sc->mp 4096-ptr_max
PARAM_VALUE 0 sc->ops 4096-ptr_max
PARAM_VALUE 0 sc->sm 4096-ptr_max
PARAM_VALUE 1 whichfork 0
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 error 4977358500488286208
PARAM_VALUE 3 *error s32min-(-18),(-16)-(-3),(-1)-s32max

fs/xfs/scrub/dir.c xchk_dir_slow_dirent() -> xchk_fblock_xref_process_error()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->ip 4096-ptr_max
PARAM_VALUE 0 sc->mp 4096-ptr_max
PARAM_VALUE 0 sc->ops 4096-ptr_max
PARAM_VALUE 0 sc->sm 4096-ptr_max
PARAM_VALUE 1 whichfork 0
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 error 4977358500488286208
PARAM_VALUE 3 *error s32min-(-23),(-21)-(-3),(-1)-s32max

fs/xfs/scrub/dir.c xchk_dir_slow_dirent() -> xchk_fblock_xref_process_error()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->ip 4096-ptr_max
PARAM_VALUE 0 sc->ip->i_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 sc->ip->i_lock.first_waiter->type 0-1
PARAM_VALUE 0 sc->mp 4096-ptr_max
PARAM_VALUE 0 sc->mp->m_sb.sb_agcount 1-u32max
PARAM_VALUE 0 sc->ops 4096-ptr_max
PARAM_VALUE 0 sc->relax.resched_nr 0-99
PARAM_VALUE 0 sc->sm 4096-ptr_max
PARAM_VALUE 1 whichfork 0
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 error 4977358500488286208
PARAM_VALUE 3 *error s32min-(-18),(-16)-(-3),(-1)-s32max