Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

fs/xfs/libxfs/xfs_inode_fork.c xfs_ifork_verify_local_attr() -> xfs_inode_verifier_error()

Type Parameter Key Value
PARAM_VALUE 0 ip 4096-ptr_max
PARAM_VALUE 0 ip->i_af.if_format 1
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 error (-117)
PARAM_VALUE 2 name 2829804301904277504
PARAM_VALUE 5 failaddr 1-u64max
BUF_SIZE 0 ip->i_mount (-1),1-s32max
BUF_SIZE 2 name 10
BUF_SIZE 3 buf s32min-(-2),1-s32max
DATA_SOURCE 0 ip $0
STR_LEN 0 ip 9
STR_LEN 0 ip->i_mount (-1),5,8
TERMINATED 2 name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ip unit_byte
UNITS 4 bufsz unit_byte
HALF_LOCKED2 &ailp->ail_lock
HALF_LOCKED2 &bp->b_sema

fs/xfs/libxfs/xfs_inode_fork.c xfs_ifork_verify_local_data() -> xfs_inode_verifier_error()

Type Parameter Key Value
PARAM_VALUE 0 ip 4096-ptr_max
PARAM_VALUE 0 ip->i_df.if_format 1
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 error (-117)
PARAM_VALUE 2 name 6456197221825114112
PARAM_VALUE 5 failaddr 1-u64max
BUF_SIZE 0 ip->i_mount (-1),1-s32max
BUF_SIZE 2 name 10
BUF_SIZE 3 buf s32min-(-2),1-s32max
DATA_SOURCE 0 ip $0
STR_LEN 0 ip 9
STR_LEN 0 ip->i_mount (-1),5,8
TERMINATED 2 name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ip unit_byte
UNITS 4 bufsz unit_byte
HALF_LOCKED2 &ailp->ail_lock
HALF_LOCKED2 &bp->b_sema

fs/xfs/libxfs/xfs_inode_fork.c xfs_iformat_attr_fork() -> xfs_inode_verifier_error()

Type Parameter Key Value
PARAM_VALUE 0 ip 4096-ptr_max
PARAM_VALUE 0 ip->i_af.if_format (-128)-0,4-127
PARAM_VALUE 0 ip->i_af.if_needextents 0-1
PARAM_VALUE 0 ip->i_af.if_nextents 0-u32max
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 error 0
PARAM_VALUE 2 name 8722743765156978688
PARAM_VALUE 3 buf 4096-ptr_max
PARAM_VALUE 4 bufsz 176
BUF_SIZE 0 ip->i_mount (-1),1-s32max
BUF_SIZE 2 name 22
DATA_SOURCE 0 ip $0
DATA_SOURCE 3 buf $1
STR_LEN 0 ip->i_mount (-1),5,8
STR_LEN 0 ip->i_mount->m_super (-1),8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 4 bufsz unit_byte

fs/xfs/libxfs/xfs_inode_fork.c xfs_iformat_btree() -> xfs_inode_verifier_error()

Type Parameter Key Value
PARAM_VALUE 0 ip 4096-ptr_max
PARAM_VALUE 0 ip->i_af.if_format 2-3
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_bm_maxlevels 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 error (-117)
PARAM_VALUE 2 name 5127072136414670848
PARAM_VALUE 3 buf 4096-ptr_max
PARAM_VALUE 4 bufsz 24-1048632
BUF_SIZE 0 ip->i_mount (-1),1-s32max
BUF_SIZE 2 name 18
DATA_SOURCE 0 ip $0
DATA_SOURCE 4 bufsz r xfs_bmap_broot_space
STR_LEN 0 ip 17
STR_LEN 0 ip->i_mount (-1),5,8
TERMINATED 2 name 1
HARD_MAX 0 ip->i_af.if_format 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/xfs/libxfs/xfs_inode_fork.c xfs_iformat_data_fork() -> xfs_inode_verifier_error()

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_format (-128)-0,4-127
PARAM_VALUE 0 ip->i_df.if_needextents 0
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_metatype 0-6,9-u32max
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 error (-117)
PARAM_VALUE 2 name 1804760023579889664
PARAM_VALUE 3 buf 4096-ptr_max
PARAM_VALUE 4 bufsz 176
BUF_SIZE 0 ip->i_mount (-1),1-s32max
BUF_SIZE 2 name 22
DATA_SOURCE 0 ip $0
DATA_SOURCE 3 buf $1
STR_LEN 0 ip->i_mount (-1),5,8
STR_LEN 0 ip->i_mount->m_super (-1),8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 4 bufsz unit_byte

fs/xfs/libxfs/xfs_inode_fork.c xfs_iformat_data_fork() -> xfs_inode_verifier_error()

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 error (-117)
PARAM_VALUE 2 name 1804760023579889664
PARAM_VALUE 3 buf 4096-ptr_max
PARAM_VALUE 4 bufsz 176
BUF_SIZE 0 ip->i_mount (-1),1-s32max
BUF_SIZE 2 name 22
DATA_SOURCE 0 ip $0
DATA_SOURCE 3 buf $1
FUZZY_MAX 0 ip->i_df.if_needextents 1
STR_LEN 0 ip->i_mount (-1),5,8
STR_LEN 0 ip->i_mount->m_super (-1),8
HARD_MAX 0 ip->i_df.if_needextents 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 4 bufsz unit_byte

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

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 error (-117)
PARAM_VALUE 2 name 8647349661142933504
PARAM_VALUE 3 buf 4096-ptr_max
PARAM_VALUE 4 bufsz 176
BUF_SIZE 0 ip->i_mount (-1),1-s32max
BUF_SIZE 2 name 23
DATA_SOURCE 0 ip $0
DATA_SOURCE 3 buf $1
STR_LEN 0 ip 22
STR_LEN 0 ip->i_mount (-1),5,8
TERMINATED 2 name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 4 bufsz unit_byte

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

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 error (-117)
PARAM_VALUE 2 name 7105620601646829568
PARAM_VALUE 4 bufsz 16
PARAM_VALUE 5 failaddr 1-u64max
BUF_SIZE 0 ip->i_mount (-1),1-s32max
BUF_SIZE 2 name 23
DATA_SOURCE 0 ip $0
DATA_SOURCE 5 failaddr r xfs_bmap_validate_extent
STR_LEN 0 ip 22
STR_LEN 0 ip->i_mount (-1),5,8
TERMINATED 2 name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 4 bufsz unit_byte

fs/xfs/libxfs/xfs_inode_fork.c xfs_iformat_local() -> xfs_inode_verifier_error()

Type Parameter Key Value
PARAM_VALUE 0 ip 4096-ptr_max
PARAM_VALUE 0 ip->i_af.if_format 1-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 error (-117)
PARAM_VALUE 2 name 6843960903377518592
PARAM_VALUE 3 buf 4096-ptr_max
PARAM_VALUE 4 bufsz 176
BUF_SIZE 0 ip->i_mount (-1),1-s32max
BUF_SIZE 2 name 18
DATA_SOURCE 0 ip $0
DATA_SOURCE 3 buf $1
STR_LEN 0 ip 17
STR_LEN 0 ip->i_mount (-1),5,8
TERMINATED 2 name 1
HARD_MAX 0 ip->i_af.if_format 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 4 bufsz unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 ip 4096-ptr_max
PARAM_VALUE 0 ip->i_mount 0,4096-ptr_max
PARAM_VALUE 0 ip->i_mount->m_super 0,4096-ptr_max
PARAM_VALUE 1 error (-117)
PARAM_VALUE 2 name 1821387833674235904
PARAM_VALUE 3 buf 4096-ptr_max
PARAM_VALUE 4 bufsz 72
BUF_SIZE 0 ip (-1),1-s32max
BUF_SIZE 0 ip (-1),1-s32max
BUF_SIZE 2 name 21
BUF_SIZE 3 buf s32min-(-1),1-s32max
DATA_SOURCE 3 buf r xfs_btree_get_block
NOSPEC 0 ip->i_disk_size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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
UNITS 4 bufsz unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 ip 4096-ptr_max
PARAM_VALUE 1 error (-117)
PARAM_VALUE 2 name 4618123940134727680
PARAM_VALUE 4 bufsz 16
PARAM_VALUE 5 failaddr 1-u64max
BUF_SIZE 0 ip (-1),1-s32max
BUF_SIZE 0 ip (-1),1-s32max
BUF_SIZE 2 name 21
DATA_SOURCE 5 failaddr r xfs_bmap_validate_extent
STR_LEN 0 ip 20
NOSPEC 0 ip->i_disk_size
TERMINATED 2 name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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
UNITS 4 bufsz unit_byte

fs/xfs/xfs_iunlink_item.c xfs_iunlink_log_dinode() -> xfs_inode_verifier_error()

Type Parameter Key Value
PARAM_VALUE 0 ip 4096-ptr_max
PARAM_VALUE 1 error (-117)
PARAM_VALUE 2 name 2288944475736121344
PARAM_VALUE 3 buf 4096-ptr_max
PARAM_VALUE 4 bufsz 176
BUF_SIZE 2 name 23
DATA_SOURCE 3 buf r xfs_buf_offset
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ip unit_byte
UNITS 4 bufsz unit_byte
HALF_LOCKED2 &mp->m_growlock

fs/xfs/libxfs/xfs_inode_buf.c xfs_inode_from_disk() -> xfs_inode_verifier_error()

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_forkoff 0
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_nblocks 0
PARAM_VALUE 0 ip->i_next_unlinked u32max
PARAM_VALUE 0 ip->i_prev_unlinked 0
PARAM_VALUE 0 ip->i_sick 0
PARAM_VALUE 1 error (-117)
PARAM_VALUE 2 name 8991217356840869888
PARAM_VALUE 3 buf 4096-ptr_max
PARAM_VALUE 4 bufsz 176
PARAM_VALUE 5 failaddr 1-u64max
BUF_SIZE 0 ip->i_mount (-1),1-s32max
BUF_SIZE 2 name 7
DATA_SOURCE 0 ip $0
DATA_SOURCE 3 buf $1
DATA_SOURCE 5 failaddr r xfs_dinode_verify
STR_LEN 0 ip 6
STR_LEN 0 ip->i_mount (-1),5,8
STR_LEN 0 ip->i_mount->m_super (-1),8
TERMINATED 2 name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 4 bufsz unit_byte

fs/xfs/xfs_inode_item.c xfs_inode_item_precommit_check() -> xfs_inode_verifier_error()

Type Parameter Key Value
PARAM_VALUE 0 ip 4096-ptr_max
PARAM_VALUE 0 ip->i_mount 4096-ptr_max
PARAM_VALUE 1 error (-117)
PARAM_VALUE 2 name 7808370934751522816
PARAM_VALUE 3 buf 4096-ptr_max
PARAM_VALUE 4 bufsz 176
PARAM_VALUE 5 failaddr 1-u64max
BUF_SIZE 2 name 31
BUF_SIZE 3 buf 0-u16max
DATA_SOURCE 0 ip $0
DATA_SOURCE 3 buf r _kzalloc_noprof
DATA_SOURCE 5 failaddr r xfs_dinode_verify
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ip unit_byte
UNITS 4 bufsz unit_byte
HALF_LOCKED2 &mp->m_growlock