Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ocfs2/xattr.c ocfs2_xa_offset_pointer() -> (struct ocfs2_xa_loc_operations)->xlo_offset_pointer()

Type Parameter Key Value
PARAM_VALUE 0 loc 7029339398122737664,8438615930799898624,8924910415115821056
PARAM_VALUE 0 loc->xl_entry 4096-ptr_max
PARAM_VALUE 0 loc->xl_inode 4096-ptr_max
PARAM_VALUE 0 loc->xl_inode->i_op->readlink 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256
PARAM_VALUE 0 loc->xl_inode->i_sb 4096-ptr_max
PARAM_VALUE 0 loc->xl_ops 4348709329558278144,7485802551873527808
PARAM_VALUE 0 loc->xl_ops->xlo_add_entry 4096-ptr_max
PARAM_VALUE 0 loc->xl_ops->xlo_add_namevalue 4096-ptr_max
PARAM_VALUE 0 loc->xl_ops->xlo_can_reuse 4096-ptr_max
PARAM_VALUE 0 loc->xl_ops->xlo_check_space 4096-ptr_max
PARAM_VALUE 0 loc->xl_ops->xlo_fill_value_buf 4096-ptr_max
PARAM_VALUE 0 loc->xl_ops->xlo_journal_access 4096-ptr_max
PARAM_VALUE 0 loc->xl_ops->xlo_offset_pointer 4096-ptr_max
PARAM_VALUE 0 loc->xl_ops->xlo_wipe_namevalue 4096-ptr_max
PARAM_VALUE 0 loc->xl_size (-2147483647)-s32max
PARAM_VALUE 0 loc->xl_storage 4096-ptr_max
PARAM_VALUE 0 loc->xl_storage->b_private->b_jcount s32min-s32max
PARAM_VALUE 1 offset s32min-2147483646
CAPPED_DATA 0 loc->xl_storage 1
CAPPED_DATA 1 offset 1
DATA_SOURCE 0 loc $0
DATA_SOURCE 1 offset $1
STR_LEN 0 loc (-1),7-8,11
STR_LEN 0 loc (-1),7-8,11
STR_LEN 0 loc->xl_inode (-1)
STR_LEN 0 loc->xl_inode->i_sb (-1)
CONTAINER 0 -16-40+0 $(-1)
PARAM_COMPARE 0 loc->xl_size > $1
PARAM_COMPARE 1 offset < $0->xl_size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 loc->xl_entry->xe_name_offset 0-u16max[c][u]
USER_DATA 0 loc->xl_entry->xe_value_size 0-17179869176
USER_DATA 0 loc->xl_header->xh_name_value_len 0-u16max[c]
USER_DATA 1 offset 1-65791[c]
NO_OVERFLOW_SIMPLE 0 loc->xl_inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 loc->xl_inode->i_bytes
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &oi->ip_alloc_sem