Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ocfs2/xattr.c ocfs2_xa_prepare_entry() -> ocfs2_xa_value_truncate()

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_sb 4096-ptr_max
PARAM_VALUE 0 loc->xl_ops 4348709329558278144,7485802551873527808
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_journal_access 4096-ptr_max
PARAM_VALUE 0 loc->xl_storage 4096-ptr_max
PARAM_VALUE 0 loc->xl_storage->b_count.counter s32min-s32max
PARAM_VALUE 0 loc->xl_storage->b_private->b_jcount s32min-s32max
PARAM_VALUE 0 *loc->xl_storage->b_private (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 bytes 0
PARAM_VALUE 2 ctxt 7856686698109157376,7935369984065007616
PARAM_VALUE 2 ctxt->dealloc.c_global_allocator->free_bg 0-s64max
PARAM_VALUE 2 ctxt->dealloc.c_global_allocator->free_bit 0-4294967295
PARAM_VALUE 2 ctxt->dealloc.c_global_allocator->free_blk 0-s64max
PARAM_VALUE 2 ctxt->dealloc.c_global_allocator->free_next 0-s64max
PARAM_VALUE 2 ctxt->handle 1-u64max
PARAM_VALUE 2 ctxt->handle->h_transaction->t_journal->j_superblock->s_errno 0-4294967187,4294967189-u32max
PARAM_VALUE 2 ctxt->set_abort 0-1
BUF_SIZE 2 ctxt->handle (-1),1-s32max
CAPPED_DATA 0 loc->xl_storage 1
DATA_SOURCE 0 loc $0
DATA_SOURCE 2 ctxt $3
STR_LEN 2 ctxt->handle (-1)-0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 2 ctxt->meta_ac->ac_inode->i_size
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &oi->ip_alloc_sem

fs/ocfs2/xattr.c ocfs2_xa_prepare_entry() -> ocfs2_xa_value_truncate()

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_entry->xe_type 0-5,128-133
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 1-s32max
PARAM_VALUE 0 loc->xl_storage 4096-ptr_max
PARAM_VALUE 0 loc->xl_storage->b_private->b_jcount s32min-s32max
PARAM_VALUE 0 *loc->xl_storage->b_private (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 bytes 81-u64max
PARAM_VALUE 2 ctxt 7856686698109157376,7935369984065007616
PARAM_VALUE 2 ctxt->dealloc.c_global_allocator->free_bg 0-s64max
PARAM_VALUE 2 ctxt->dealloc.c_global_allocator->free_bit 0-4294967295
PARAM_VALUE 2 ctxt->dealloc.c_global_allocator->free_blk 0-s64max
PARAM_VALUE 2 ctxt->dealloc.c_global_allocator->free_next 0-s64max
PARAM_VALUE 2 ctxt->handle 1-u64max
PARAM_VALUE 2 ctxt->handle->h_transaction->t_journal->j_superblock->s_errno 0-4294967187,4294967189-u32max
PARAM_VALUE 2 ctxt->set_abort 0-1
BUF_SIZE 2 ctxt->handle (-1),1-s32max
CAPPED_DATA 0 loc->xl_entry->xe_name_offset 1
CAPPED_DATA 0 loc->xl_storage 1
CAPPED_DATA 2 ctxt->handle 1
DATA_SOURCE 0 loc $0
DATA_SOURCE 2 ctxt $3
FUZZY_MAX 1 bytes 81
STR_LEN 2 ctxt->handle (-1)-0
PARAM_COMPARE 0 loc->xl_entry->xe_name_offset < $0->xl_size
NOSPEC 2 ctxt->dealloc.c_global_allocator->free_bit
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-65536
USER_DATA 0 loc->xl_header->xh_name_value_len 0-u16max[c]
USER_DATA 1 bytes 81-65536
USER_DATA 2 ctxt->dealloc.c_global_allocator->free_bit 1-s32max[c]
NO_OVERFLOW_SIMPLE 2 ctxt->meta_ac->ac_inode->i_size
UNITS 1 bytes unit_byte
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &oi->ip_alloc_sem

fs/ocfs2/xattr.c ocfs2_xa_remove() -> ocfs2_xa_value_truncate()

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_sb 4096-ptr_max
PARAM_VALUE 0 loc->xl_ops 4348709329558278144,7485802551873527808
PARAM_VALUE 0 loc->xl_ops->xlo_journal_access 4096-ptr_max
PARAM_VALUE 0 loc->xl_storage 4096-ptr_max
PARAM_VALUE 0 loc->xl_storage->b_count.counter s32min-s32max
PARAM_VALUE 0 loc->xl_storage->b_private->b_jcount s32min-s32max
PARAM_VALUE 0 *loc->xl_storage->b_private (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 bytes 0
PARAM_VALUE 2 ctxt 7856686698109157376,7935369984065007616
PARAM_VALUE 2 ctxt->dealloc.c_global_allocator->free_bg 0-s64max
PARAM_VALUE 2 ctxt->dealloc.c_global_allocator->free_bit 0-4294967295
PARAM_VALUE 2 ctxt->dealloc.c_global_allocator->free_blk 0-s64max
PARAM_VALUE 2 ctxt->dealloc.c_global_allocator->free_next 0-s64max
PARAM_VALUE 2 ctxt->handle 1-u64max
PARAM_VALUE 2 ctxt->handle->h_transaction->t_journal->j_superblock->s_errno 0-4294967187,4294967189-u32max
PARAM_VALUE 2 ctxt->set_abort 0-1
BUF_SIZE 2 ctxt->handle (-1),1-s32max
CAPPED_DATA 0 loc->xl_storage 1
DATA_SOURCE 0 loc $0
DATA_SOURCE 2 ctxt $1
STR_LEN 2 ctxt->handle (-1)-0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 2 ctxt->meta_ac->ac_inode->i_size
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &oi->ip_alloc_sem

fs/ocfs2/xattr.c ocfs2_xa_reuse_entry() -> ocfs2_xa_value_truncate()

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_sb 4096-ptr_max
PARAM_VALUE 0 loc->xl_ops 4348709329558278144,7485802551873527808
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_journal_access 4096-ptr_max
PARAM_VALUE 0 loc->xl_ops->xlo_offset_pointer 4096-ptr_max
PARAM_VALUE 0 loc->xl_size 1-s32max
PARAM_VALUE 0 loc->xl_storage 4096-ptr_max
PARAM_VALUE 0 loc->xl_storage->b_count.counter s32min-s32max
PARAM_VALUE 0 loc->xl_storage->b_private->b_jcount s32min-s32max
PARAM_VALUE 0 *loc->xl_storage->b_private (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 bytes 0
PARAM_VALUE 2 ctxt 7856686698109157376,7935369984065007616
PARAM_VALUE 2 ctxt->dealloc.c_global_allocator->free_bg 0-s64max
PARAM_VALUE 2 ctxt->dealloc.c_global_allocator->free_bit 0-4294967295
PARAM_VALUE 2 ctxt->dealloc.c_global_allocator->free_blk 0-s64max
PARAM_VALUE 2 ctxt->dealloc.c_global_allocator->free_next 0-s64max
PARAM_VALUE 2 ctxt->handle 1-u64max
PARAM_VALUE 2 ctxt->handle->h_transaction->t_journal->j_abort_mutex.first_waiter->list.next 5159360019465732096
PARAM_VALUE 2 ctxt->handle->h_transaction->t_journal->j_superblock->s_errno 0-4294967187,4294967189-u32max
PARAM_VALUE 2 ctxt->set_abort 0-1
BUF_SIZE 2 ctxt->handle (-1),1-s32max
CAPPED_DATA 0 loc->xl_entry->xe_name_offset 1
CAPPED_DATA 0 loc->xl_storage 1
DATA_SOURCE 0 loc $0
DATA_SOURCE 2 ctxt $2
STR_LEN 0 loc->xl_inode (-1)
STR_LEN 0 loc->xl_inode->i_sb (-1)
STR_LEN 2 ctxt->handle (-1)-0
PARAM_COMPARE 0 loc->xl_entry->xe_name_offset < $0->xl_size
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 2 ctxt->data_ac->ac_inode->i_bytes
NO_OVERFLOW_SIMPLE 2 ctxt->data_ac->ac_inode->i_mapping->host->i_size
NO_OVERFLOW_SIMPLE 2 ctxt->data_ac->ac_inode->i_size
NO_OVERFLOW_SIMPLE 2 ctxt->meta_ac->ac_inode->i_size
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &oi->ip_alloc_sem

fs/ocfs2/xattr.c ocfs2_xa_reuse_entry() -> ocfs2_xa_value_truncate()

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_entry->xe_value_size 82-u64max
PARAM_VALUE 0 loc->xl_inode 4096-ptr_max
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_can_reuse 4096-ptr_max
PARAM_VALUE 0 loc->xl_ops->xlo_check_space 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_size 1-s32max
PARAM_VALUE 0 loc->xl_storage 4096-ptr_max
PARAM_VALUE 0 loc->xl_storage->b_count.counter s32min-s32max
PARAM_VALUE 0 loc->xl_storage->b_private->b_jcount s32min-s32max
PARAM_VALUE 0 *loc->xl_storage->b_private (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 bytes 81-18446744073709551614
PARAM_VALUE 2 ctxt 7856686698109157376,7935369984065007616
PARAM_VALUE 2 ctxt->dealloc.c_global_allocator->free_bg 0-s64max
PARAM_VALUE 2 ctxt->dealloc.c_global_allocator->free_bit 0-4294967295
PARAM_VALUE 2 ctxt->dealloc.c_global_allocator->free_blk 0-s64max
PARAM_VALUE 2 ctxt->dealloc.c_global_allocator->free_next 0-s64max
PARAM_VALUE 2 ctxt->handle 1-u64max
PARAM_VALUE 2 ctxt->handle->h_transaction->t_journal->j_abort_mutex.first_waiter->list.next 5159360019465732096
PARAM_VALUE 2 ctxt->handle->h_transaction->t_journal->j_superblock->s_errno 0-4294967187,4294967189-u32max
PARAM_VALUE 2 ctxt->set_abort 0-1
BUF_SIZE 2 ctxt->handle (-1),1-s32max
CAPPED_DATA 0 loc->xl_entry->xe_name_offset 1
CAPPED_DATA 0 loc->xl_storage 1
CAPPED_DATA 1 bytes 1
CAPPED_DATA 1 bytes 1
DATA_SOURCE 0 loc $0
DATA_SOURCE 2 ctxt $2
STR_LEN 0 loc->xl_inode (-1)
STR_LEN 0 loc->xl_inode->i_sb (-1)
STR_LEN 2 ctxt->handle (-1)-0
PARAM_COMPARE 0 loc->xl_entry->xe_name_offset < $0->xl_size
PARAM_COMPARE 0 loc->xl_entry->xe_value_size > $1
PARAM_COMPARE 1 bytes < $0->xl_entry->xe_value_size
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 bytes 81-65536[c]
NO_OVERFLOW_SIMPLE 2 ctxt->data_ac->ac_inode->i_bytes
NO_OVERFLOW_SIMPLE 2 ctxt->data_ac->ac_inode->i_mapping->host->i_size
NO_OVERFLOW_SIMPLE 2 ctxt->data_ac->ac_inode->i_size
NO_OVERFLOW_SIMPLE 2 ctxt->meta_ac->ac_inode->i_size
UNITS 1 bytes unit_byte
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &oi->ip_alloc_sem