Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a macro:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

fs/xfs/scrub/bmap.c xchk_bmap_rt_iextent_xref() -> xchk_rtgroup_free()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->mp 4096-ptr_max
PARAM_VALUE 0 sc->relax.resched_nr 0-99
PARAM_VALUE 0 sc->sm 4096-ptr_max
PARAM_VALUE 0 sc->sm->sm_flags 0,2-u32max
PARAM_VALUE 0 sc->sr.rtg 4096-ptr_max
PARAM_VALUE 1 sr 4096-ptr_max
PARAM_VALUE 1 sr->rtg 4096-ptr_max
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_rtx_res_used

fs/xfs/scrub/cow_repair.c xrep_cow_find_bad_rt() -> xchk_rtgroup_free()

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->mp->m_errortag 4096-ptr_max
PARAM_VALUE 0 sc->ops 4096-ptr_max
PARAM_VALUE 0 sc->sm 4096-ptr_max
PARAM_VALUE 0 sc->sm->sm_type 0-30,32-u32max
PARAM_VALUE 0 sc->sr.refc_cur 0
PARAM_VALUE 0 sc->sr.rmap_cur 0
PARAM_VALUE 0 sc->sr.rtg 4096-ptr_max
PARAM_VALUE 0 sc->sr.rtlock_flags 12
PARAM_VALUE 0 sc->tp 4096-ptr_max
PARAM_VALUE 1 sr 4096-ptr_max
PARAM_VALUE 1 sr->refc_cur 0
PARAM_VALUE 1 sr->rmap_cur 0
PARAM_VALUE 1 sr->rtg 4096-ptr_max
PARAM_VALUE 1 sr->rtlock_flags 12
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_rtx_res_used

fs/xfs/scrub/bmap_repair.c xrep_bmap_scan_rtgroup() -> xchk_rtgroup_free()

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 0 sc->sm->sm_type 0-30,32-u32max
PARAM_VALUE 0 sc->sr.refc_cur 0
PARAM_VALUE 0 sc->sr.rmap_cur 0
PARAM_VALUE 0 sc->sr.rtg 4096-ptr_max
PARAM_VALUE 0 sc->sr.rtlock_flags 14
PARAM_VALUE 1 sr 4096-ptr_max
PARAM_VALUE 1 sr->refc_cur 0
PARAM_VALUE 1 sr->rmap_cur 0
PARAM_VALUE 1 sr->rtg 4096-ptr_max
PARAM_VALUE 1 sr->rtlock_flags 14
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_rtx_res_used

fs/xfs/scrub/inode_repair.c xrep_dinode_count_rtgroup_rmaps() -> xchk_rtgroup_free()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->mp 4096-ptr_max
PARAM_VALUE 0 sc->sm 4096-ptr_max
PARAM_VALUE 0 sc->sm->sm_type 0-30,32-u32max
PARAM_VALUE 0 sc->sr.refc_cur 0
PARAM_VALUE 0 sc->sr.rmap_cur 0
PARAM_VALUE 0 sc->sr.rtg 4096-ptr_max
PARAM_VALUE 0 sc->sr.rtlock_flags 4
PARAM_VALUE 1 sr 4096-ptr_max
PARAM_VALUE 1 sr->refc_cur 0
PARAM_VALUE 1 sr->rmap_cur 0
PARAM_VALUE 1 sr->rtg 4096-ptr_max
PARAM_VALUE 1 sr->rtlock_flags 4
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_rtx_res_used

fs/xfs/scrub/scrub.c xchk_teardown() -> xchk_rtgroup_free()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->file 4096-ptr_max
PARAM_VALUE 0 sc->file->f_path.dentry 4096-ptr_max
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->ops->type 1-6
PARAM_VALUE 0 sc->sa.bno_cur 0
PARAM_VALUE 0 sc->sa.cnt_cur 0
PARAM_VALUE 0 sc->sa.fino_cur 0
PARAM_VALUE 0 sc->sa.ino_cur 0
PARAM_VALUE 0 sc->sa.pag->pag_group.xg_mount->m_ag_max_usable 0-4294967295
PARAM_VALUE 0 sc->sa.pag->pag_group.xg_mount->m_ddev_targp->bt_hash.nelems.counter s32min-s32max
PARAM_VALUE 0 sc->sa.pag->pag_group.xg_mount->m_ddev_targp->bt_hash.tbl->hash_rnd 0-4294967295
PARAM_VALUE 0 sc->sa.pag->pag_group.xg_mount->m_ddev_targp->bt_hash.tbl->nest 0-4294967295
PARAM_VALUE 0 sc->sa.pag->pag_group.xg_mount->m_ddev_targp->bt_hash.tbl->size 0-4294967295
PARAM_VALUE 0 sc->sa.pag->pag_group.xg_mount->m_finobt_nores 1
PARAM_VALUE 0 sc->sa.pag->pag_group.xg_mount->m_sb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sc->sa.pag->pagf_bno_level 0-255
PARAM_VALUE 0 sc->sa.pag->pagf_btreeblks 0-4294967295
PARAM_VALUE 0 sc->sa.pag->pagf_cnt_level 0-255
PARAM_VALUE 0 sc->sa.pag->pagf_flcount 0-4294967295
PARAM_VALUE 0 sc->sa.pag->pagf_freeblks 0-4294967295
PARAM_VALUE 0 sc->sa.pag->pagf_longest 0-4294967295
PARAM_VALUE 0 sc->sa.pag->pagf_refcount_level 0-255
PARAM_VALUE 0 sc->sa.pag->pagf_rmap_level 0-255
PARAM_VALUE 0 sc->sa.pag->pagi_count 0-4294967295
PARAM_VALUE 0 sc->sa.pag->pagi_freecount 0-4294967295
PARAM_VALUE 0 sc->sa.refc_cur 0
PARAM_VALUE 0 sc->sa.rmap_cur 0
PARAM_VALUE 0 sc->sm 3746040804808499200,5840378514548297728
PARAM_VALUE 0 sc->sm->sm_type 0-32
PARAM_VALUE 0 sc->sr.refc_cur 0
PARAM_VALUE 0 sc->sr.rmap_cur 0
PARAM_VALUE 0 sc->sr.rtg 1-u64max
PARAM_VALUE 0 sc->tp 0
PARAM_VALUE 1 sr 4096-ptr_max
PARAM_VALUE 1 sr->refc_cur 0
PARAM_VALUE 1 sr->rmap_cur 0
PARAM_VALUE 1 sr->rtg 1-u64max
BUF_SIZE 0 sc 240
DATA_SOURCE 0 sc $0
CAPABLE 0 21
NOCHECK_CALL
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