Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

fs/xfs/xfs_error.c xfs_verifier_error() -> xfs_buf_verifier_error()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_ops 4096-ptr_max
PARAM_VALUE 0 bp->b_ops->name 4096-ptr_max
PARAM_VALUE 0 bp->b_ops->verify_read 4096-ptr_max
PARAM_VALUE 0 bp->b_ops->verify_struct 0,4096-ptr_max
PARAM_VALUE 0 bp->b_ops->verify_write 4096-ptr_max
PARAM_VALUE 0 bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 1 error (-117),(-74),(-38),(-22)
PARAM_VALUE 2 name 4602998933304729600
PARAM_VALUE 4 bufsz 128
BUF_SIZE 0 bp->b_ops (-1)-0,40
DATA_SOURCE 0 bp $0
DATA_SOURCE 1 error $1
DATA_SOURCE 5 failaddr $2
STR_LEN 0 bp 0
TERMINATED 2 name 1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_format_count
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_formats
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_item.li_lv_shadow
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
HALF_LOCKED2 0 &bp->b_sema

fs/xfs/libxfs/xfs_dquot_buf.c xfs_dquot_buf_verify() -> xfs_buf_verifier_error()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_ops 4096-ptr_max
PARAM_VALUE 0 bp->b_ops->name 4096-ptr_max
PARAM_VALUE 0 bp->b_ops->verify_read 4096-ptr_max
PARAM_VALUE 0 bp->b_ops->verify_struct 0,4096-ptr_max
PARAM_VALUE 0 bp->b_ops->verify_write 4096-ptr_max
PARAM_VALUE 0 bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 1 error (-117)
PARAM_VALUE 2 name 1132832786205310976
PARAM_VALUE 3 buf 4096-ptr_max
PARAM_VALUE 4 bufsz 136
PARAM_VALUE 5 failaddr 1-u64max
BUF_SIZE 0 bp->b_ops (-1)-0,40
BUF_SIZE 2 name 21
DATA_SOURCE 0 bp $1
DATA_SOURCE 5 failaddr r xfs_dqblk_verify
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_format_count
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_formats
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_item.li_lv_shadow
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
UNITS 4 bufsz unit_byte
HALF_LOCKED2 0 &bp->b_sema

fs/xfs/libxfs/xfs_dquot_buf.c xfs_dquot_buf_verify_crc() -> xfs_buf_verifier_error()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_ops 4096-ptr_max
PARAM_VALUE 0 bp->b_ops->name 4096-ptr_max
PARAM_VALUE 0 bp->b_ops->verify_read 4096-ptr_max
PARAM_VALUE 0 bp->b_ops->verify_struct 0,4096-ptr_max
PARAM_VALUE 0 bp->b_ops->verify_write 4096-ptr_max
PARAM_VALUE 0 bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 1 error (-74)
PARAM_VALUE 2 name 806964824763400192
PARAM_VALUE 3 buf 4096-ptr_max
PARAM_VALUE 4 bufsz 136
BUF_SIZE 0 bp->b_ops (-1)-0,40
BUF_SIZE 2 name 25
BUF_SIZE 3 buf s32min-(-1),1-s32max
DATA_SOURCE 0 bp $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_format_count
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_formats
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_item.li_lv_shadow
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
UNITS 4 bufsz unit_byte
HALF_LOCKED2 0 &bp->b_sema

fs/xfs/libxfs/xfs_inode_buf.c xfs_inode_buf_verify() -> xfs_buf_verifier_error()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_maps 4096-ptr_max
PARAM_VALUE 0 bp->b_mount 4096-ptr_max
PARAM_VALUE 0 bp->b_mount->m_super 0,4096-ptr_max
PARAM_VALUE 0 bp->b_ops 4096-ptr_max
PARAM_VALUE 0 bp->b_ops->name 4096-ptr_max
PARAM_VALUE 0 bp->b_ops->verify_read 4096-ptr_max
PARAM_VALUE 0 bp->b_ops->verify_struct 0,4096-ptr_max
PARAM_VALUE 0 bp->b_ops->verify_write 4096-ptr_max
PARAM_VALUE 0 bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 1 error (-117)
PARAM_VALUE 2 name 6690379268854525952
PARAM_VALUE 3 buf 4096-ptr_max
PARAM_VALUE 4 bufsz 176
PARAM_VALUE 5 failaddr 0
BUF_SIZE 0 bp->b_ops (-1)-0,40
BUF_SIZE 2 name 21
DATA_SOURCE 0 bp $0
DATA_SOURCE 3 buf r xfs_buf_offset
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_format_count
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_formats
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_item.li_lv_shadow
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
UNITS 4 bufsz unit_byte
HALF_LOCKED2 0 &bp->b_sema

fs/xfs/xfs_buf_item.c xfs_buf_item_precommit() -> xfs_buf_verifier_error()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_ops 4096-ptr_max
PARAM_VALUE 0 bp->b_ops->verify_struct 4096-ptr_max
PARAM_VALUE 1 error (-117)
PARAM_VALUE 4 bufsz 0,512-s32max,18446744071562067968-18446744073709551104
PARAM_VALUE 5 failaddr 1-u64max
BUF_SIZE 3 buf s32min-(-2),1-s32max
BIT_INFO 4 bufsz 0x0,0xfffffe00
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mp->m_growlock