xchk_trans_alloc_empty identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

fs/xfs/scrub/common.h, line 10 (as a prototype)

Defined in 1 files as a function:

fs/xfs/scrub/common.c, line 885 (as a function)

Referenced in 11 files:

Smatch caller information:

fs/xfs/scrub/quotacheck.c xqcheck_collect_counts() -> xchk_trans_alloc_empty()

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	0	sc->tp	0
NOCHECK_CALL

fs/xfs/scrub/nlinks_repair.c xrep_nlinks() -> xchk_trans_alloc_empty()

Type	Parameter	Key	Value
PARAM_VALUE	0	sc	4096-ptr_max
PARAM_VALUE	0	sc->buf	4096-ptr_max
PARAM_VALUE	0	sc->ip	0
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	0	sc->tp	0
BUF_SIZE	0	sc	(-1),240
BUF_SIZE	0	sc	(-1),240
DATA_SOURCE	0	sc	$0
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

fs/xfs/scrub/dirtree_repair.c xrep_dirtree_delete_path() -> xchk_trans_alloc_empty()

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_sb.sb_agcount	1-u32max
PARAM_VALUE	0	sc->tp	0
NOCHECK_CALL

fs/xfs/scrub/dirtree_repair.c xrep_dirtree_move_to_orphanage() -> xchk_trans_alloc_empty()

Type	Parameter	Key	Value
PARAM_VALUE	0	sc	4096-ptr_max
PARAM_VALUE	0	sc->ip	4096-ptr_max
PARAM_VALUE	0	sc->orphanage	1-u64max
PARAM_VALUE	0	sc->tp	0
NOCHECK_CALL

fs/xfs/scrub/rmap_repair.c xrep_rmap_find_rmaps() -> xchk_trans_alloc_empty()

Type	Parameter	Key	Value
PARAM_VALUE	0	sc	4096-ptr_max
PARAM_VALUE	0	sc->mp	4096-ptr_max
PARAM_VALUE	0	sc->sa.agf_bp	0
PARAM_VALUE	0	sc->sa.agi_bp	0
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	4096-ptr_max
PARAM_VALUE	0	sc->sa.refc_cur	0
PARAM_VALUE	0	sc->sa.rmap_cur	0
PARAM_VALUE	0	sc->sm	4096-ptr_max
PARAM_VALUE	0	sc->tp	0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	sc->sa.bno_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE	0	sc->sa.bno_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	sc->sa.bno_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	sc->sa.bno_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE	0	sc->sa.cnt_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE	0	sc->sa.cnt_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	sc->sa.cnt_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	sc->sa.cnt_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE	0	sc->sa.fino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE	0	sc->sa.fino_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	sc->sa.fino_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	sc->sa.fino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE	0	sc->sa.ino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE	0	sc->sa.ino_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	sc->sa.ino_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	sc->sa.ino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE	0	sc->sa.refc_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE	0	sc->sa.refc_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	sc->sa.refc_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	sc->sa.refc_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE	0	sc->sa.rmap_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE	0	sc->sa.rmap_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	sc->sa.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	sc->sa.rmap_cur->bc_tp->t_rtx_res_used

fs/xfs/scrub/dir_repair.c xrep_dir_scan_dirtree() -> xchk_trans_alloc_empty()

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_mount	4096-ptr_max
PARAM_VALUE	0	sc->tp	0
CAPPED_DATA	0	sc->ip	1
NOCHECK_CALL

fs/xfs/scrub/dir_repair.c xrep_dir_scan_dirtree() -> xchk_trans_alloc_empty()

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_mount	4096-ptr_max
PARAM_VALUE	0	sc->temp_ilock_flags	0,2-u32max
PARAM_VALUE	0	sc->tp	0
CAPPED_DATA	0	sc->ip	1
NOCHECK_CALL

fs/xfs/scrub/common.c xchk_trans_alloc() -> xchk_trans_alloc_empty()

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->m_rootip->i_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	sc->mp->m_rootip->i_lock.first_waiter->type	0-1
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->tempip->i_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	sc->tempip->i_lock.first_waiter->type	0-1
PARAM_VALUE	0	sc->tempip->i_vnode.i_mapping->a_ops->error_remove_folio	0,373303432983703552,3650281484867371008,6933238642996355072,7934844886813757440
PARAM_VALUE	0	sc->tempip->i_vnode.i_mapping->a_ops->free_folio	0,87018317492477952,1576041750683152384,3223952723663937536,4787850423793061888
PARAM_VALUE	0	sc->tempip->i_vnode.i_mapping->a_ops->is_dirty_writeback	0,7518438349615988736,8867638692533350400
PARAM_VALUE	0	sc->tempip->i_vnode.i_mapping->a_ops->is_partially_uptodate	0,1933474595957665792,7182876493439184896
PARAM_VALUE	0	sc->tempip->i_vnode.i_mapping->a_ops->launder_folio	0,122107076755599360,327075084911996928,858079631894568960,7268098942548045824
PARAM_VALUE	0	sc->tempip->i_vnode.i_mapping->a_ops->swap_deactivate	0,1546359495696728064,3888069641387622400,7359158453655175168,8604917376913055744
PARAM_VALUE	0	sc->tempip->i_vnode.i_mapping->a_ops->swap_rw	0,4986685196838862848,8487923053812363264
PARAM_VALUE	0	sc->tempip->i_vnode.i_op->get_acl	0,434817594022129664,1176132492164517888,2308293591809245184,2352177825799393280,5894181231315005440,7161457072544161792,8358186677320523776
PARAM_VALUE	0	sc->tempip->i_vnode.i_op->get_offset_ctx	0,2606890545167454208
PARAM_VALUE	0	sc->tempip->i_vnode.i_op->readlink	0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256
PARAM_VALUE	0	sc->tempip->i_vnode.i_op->sync_lazytime	0,6951464784224747520
BUF_SIZE	0	sc	(-1)-0,240
BUF_SIZE	0	sc	(-1)-0,240
BUF_SIZE	0	sc->buf	(-1),192-s32max
DATA_SOURCE	0	sc	$0
BIT_INFO	0	sc->sm->sm_flags	0x0,0xfffffffe
NOSPEC	0	sc->sm->sm_ino
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
NO_OVERFLOW_SIMPLE	0	sc->sa.bno_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE	0	sc->sa.bno_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	sc->sa.bno_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	sc->sa.bno_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE	0	sc->sa.cnt_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE	0	sc->sa.cnt_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	sc->sa.cnt_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	sc->sa.cnt_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE	0	sc->sa.fino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE	0	sc->sa.fino_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	sc->sa.fino_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	sc->sa.fino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE	0	sc->sa.ino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE	0	sc->sa.ino_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	sc->sa.ino_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	sc->sa.ino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE	0	sc->sa.refc_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE	0	sc->sa.refc_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	sc->sa.refc_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	sc->sa.refc_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE	0	sc->sa.rmap_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE	0	sc->sa.rmap_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	sc->sa.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	sc->sa.rmap_cur->bc_tp->t_rtx_res_used
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
NO_OVERFLOW_SIMPLE	0	sc->tp->t_blk_res
USER_PTR	0	sc->sm->sm_reserved

fs/xfs/scrub/fscounters.c xchk_setup_fscounters() -> xchk_trans_alloc_empty()

Type	Parameter	Key	Value
PARAM_VALUE	0	sc	4096-ptr_max
PARAM_VALUE	0	sc->buf	4096-ptr_max
PARAM_VALUE	0	sc->buf_cleanup	6870378742805438464
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->mp->m_super->s_bdev->bd_mapping->host->i_sb->s_cop->inode_info_offs	1632,1720,1808,2632,2648,2712
PARAM_VALUE	0	sc->mp->m_super->s_bdev->bd_mapping->host->i_sb->s_export_op->encode_fh	0,2,4096-ptr_max
PARAM_VALUE	0	sc->mp->m_super->s_bdi->wb_switch_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	sc->mp->m_super->s_bdi->wb_switch_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	sc->mp->m_super->s_cop->inode_info_offs	1632,1640,1720,1808,2632,2648,2704,2712
PARAM_VALUE	0	sc->mp->m_super->s_umount.first_waiter->handoff_set	0-1
PARAM_VALUE	0	sc->mp->m_super->s_umount.first_waiter->type	0-1
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	3746040804808499200,5840378514548297728
PARAM_VALUE	0	sc->sm->sm_type	0-32
PARAM_VALUE	0	sc->tp->t_items.prev	4096-ptr_max
PARAM_VALUE	0	sc->tp->t_items.prev->next	4096-ptr_max
PARAM_VALUE	0	sc->tp->t_items.prev->next->next	4096-ptr_max
BUF_SIZE	0	sc	240
BUF_SIZE	0	sc->buf	72
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

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

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
BUF_SIZE	0	sc	(-1),240
BUF_SIZE	0	sc	(-1),240
DATA_SOURCE	0	sc	$0
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	1-u64max
USER_DATA	0	sc->sm->sm_type	0-32
USER_PTR	0	sc->sm->sm_reserved

fs/xfs/scrub/rtrmap_repair.c xrep_rtrmap_find_rmaps() -> xchk_trans_alloc_empty()

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->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	0
PARAM_VALUE	0	sc->tp	0
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/parent_repair.c xrep_parent_flush_xattrs() -> xchk_trans_alloc_empty()

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->relax.resched_nr	0-99
PARAM_VALUE	0	sc->temp_ilock_flags	0,2-u32max
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	0	sc->tp	0
NOCHECK_CALL

fs/xfs/scrub/parent_repair.c xrep_parent_scan_dirtree() -> xchk_trans_alloc_empty()

Type	Parameter	Key	Value
PARAM_VALUE	0	sc	4096-ptr_max
PARAM_VALUE	0	sc->mp	4096-ptr_max
PARAM_VALUE	0	sc->tp	0
NOCHECK_CALL

fs/xfs/scrub/parent_repair.c xrep_parent_scan_dirtree() -> xchk_trans_alloc_empty()

Type	Parameter	Key	Value
PARAM_VALUE	0	sc	4096-ptr_max
PARAM_VALUE	0	sc->mp	4096-ptr_max
PARAM_VALUE	0	sc->temp_ilock_flags	0,2-u32max
PARAM_VALUE	0	sc->tp	0
NOCHECK_CALL

fs/xfs/scrub/nlinks.c xchk_nlinks_collect() -> xchk_trans_alloc_empty()

Type	Parameter	Key	Value
PARAM_VALUE	0	sc	4096-ptr_max
PARAM_VALUE	0	sc->tp	0
NOCHECK_CALL

fs/xfs/scrub/nlinks.c xchk_nlinks_compare() -> xchk_trans_alloc_empty()

Type	Parameter	Key	Value
PARAM_VALUE	0	sc	4096-ptr_max
PARAM_VALUE	0	sc->relax.resched_nr	0-99
PARAM_VALUE	0	sc->sm	4096-ptr_max
PARAM_VALUE	0	sc->temp_ilock_flags	0,2-u32max
PARAM_VALUE	0	sc->tp	0
BIT_INFO	0	sc->sm->sm_flags	0x0,0xfffffffd
NOCHECK_CALL