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 |