Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/xfs/scrub/inode.c xchk_dinode() -> xchk_ino_set_warning()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->ip 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_flags 0,2-u32max
BUF_SIZE 0 sc (-1),240
BUF_SIZE 0 sc (-1),240
DATA_SOURCE 0 sc $0
DATA_SOURCE 1 ino $2
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/inode.c xchk_dinode() -> xchk_ino_set_warning()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->ip 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_flags 0,2-u32max
BUF_SIZE 0 sc (-1),240
BUF_SIZE 0 sc (-1),240
DATA_SOURCE 0 sc $0
DATA_SOURCE 1 ino $2
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/inode.c xchk_dinode() -> xchk_ino_set_warning()

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_super 4096-ptr_max
PARAM_VALUE 0 sc->mp->m_super->s_maxbytes s64min-(-2),0-s64max
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_flags 0,2-u32max
BUF_SIZE 0 sc (-1),240
BUF_SIZE 0 sc (-1),240
DATA_SOURCE 0 sc $0
DATA_SOURCE 1 ino $2
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/inode.c xchk_inode_cowextsize() -> xchk_ino_set_warning()

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_super 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_flags 0,2-u32max
DATA_SOURCE 0 sc $0
DATA_SOURCE 1 ino $2
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
UNITS 1 ino unit_byte
USER_PTR 0 sc->sm->sm_reserved

fs/xfs/scrub/inode.c xchk_inode_extsize() -> xchk_ino_set_warning()

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_super 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_flags 0,2-u32max
DATA_SOURCE 0 sc $0
DATA_SOURCE 1 ino $2
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
UNITS 1 ino unit_byte
USER_PTR 0 sc->sm->sm_reserved

fs/xfs/scrub/inode.c xchk_inode_flags2() -> xchk_ino_set_warning()

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_super 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_flags 0,2-u32max
DATA_SOURCE 0 sc $0
DATA_SOURCE 1 ino $2
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
UNITS 1 ino unit_byte
USER_PTR 0 sc->sm->sm_reserved

fs/xfs/scrub/nlinks.c xchk_nlinks_compare_inode() -> xchk_ino_set_warning()

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->temp_ilock_flags 0,2-u32max
PARAM_VALUE 0 sc->tp 4096-ptr_max
NOCHECK_CALL
LOCK2 &xnc->lock
TYPE_LOCK (struct xchk_nlink_ctrs)->lock