Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

fs/nfs/nfs3proc.c nfs3_proc_setattr() -> nfs_setattr_update_inode()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
PARAM_VALUE 1 attr 4096-ptr_max
PARAM_VALUE 2 fattr 4096-ptr_max
PARAM_VALUE 2 fattr->group_name 0
PARAM_VALUE 2 fattr->mdsthreshold 0
PARAM_VALUE 2 fattr->owner_name 0
PARAM_VALUE 2 fattr->valid 0
BUF_SIZE 1 attr->ia_file s32min,(-1),1-s32max
BUF_SIZE 2 fattr (-1),248
BUF_SIZE 2 fattr (-1),248
DATA_SOURCE 1 attr $2
DATA_SOURCE 2 fattr $1
NOSPEC 1 attr->ia_size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 inode->i_mode 0-u16max
USER_DATA 0 inode->i_size (-9223372036854775807)-(-4),0-s64max
USER_DATA 1 attr->ia_mode 0-u16max
USER_DATA 1 attr->ia_size (-9223372036854775807)-(-4096),0-s64max
HALF_LOCKED2 &dentry->d_lockref.lock

fs/nfs/nfs4proc.c _nfs4_do_open() -> nfs_setattr_update_inode()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_flctx->flc_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 inode->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
PARAM_VALUE 0 inode->i_sb->s_fs_info->caps 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->delegations_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 inode->i_sb->s_fs_info->nfs_client->cl_cons_state s32min-s32max
PARAM_VALUE 0 inode->i_sb->s_fs_info->nfs_client->cl_count.refs.counter s32min-s32max
PARAM_VALUE 0 inode->i_sb->s_fs_info->nfs_client->cl_exchange_flags 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->nfs_client->cl_net->ns.__ns_ref.refs.counter s32min-s32max
PARAM_VALUE 0 inode->i_sb->s_fs_info->nfs_client->cl_net->refcnt_tracker.dead 0-1
PARAM_VALUE 0 inode->i_sb->s_fs_info->nfs_client->cl_net->refcnt_tracker.quarantine_avail 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->nfs_client->cl_nfs_mod->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 inode->i_sb->s_fs_info->nfs_client->cl_ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->nfs_client->cl_ns_tracker->dead 0-1
PARAM_VALUE 0 inode->i_sb->s_fs_info->nfs_client->cl_ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->nfs_client->cl_rpcclient->cl_count.refs.counter s32min-s32max
PARAM_VALUE 0 inode->i_sb->s_fs_info->nfs_client->cl_rpcclient->cl_shutdown 0-1
PARAM_VALUE 0 inode->i_sb->s_fs_info->nfs_client->cl_rpcwaitq.nr 0-255
PARAM_VALUE 0 inode->i_sb->s_fs_info->nfs_client->cl_rpcwaitq.priority 0-255
PARAM_VALUE 0 inode->i_sb->s_fs_info->nfs_client->cl_session->bc_slot_table.max_slots 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->nfs_client->cl_session->fc_slot_table.max_slots 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->nfs_client->cl_slot_tbl->max_slots 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 0 inode->i_sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 0 inode->i_wb->dwork.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 inode->i_wb->dwork.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 inode->i_wb->dwork.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 *inode->i_sb->s_fs_info->nfs_client->cl_rpcclient->cl_cred->security (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 attr 1995897887453941760,7906127051868311552,8919364019177807872
PARAM_VALUE 2 fattr 4096-ptr_max
PARAM_VALUE 2 fattr->group_name 0
PARAM_VALUE 2 fattr->mdsthreshold 0
PARAM_VALUE 2 fattr->owner_name 0
PARAM_VALUE 2 fattr->valid 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfs/nfs4proc.c nfs4_proc_setattr() -> nfs_setattr_update_inode()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_flctx->flc_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 inode->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
PARAM_VALUE 0 inode->i_sb->s_fs_info->caps 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->delegations_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 inode->i_sb->s_fs_info->nfs_client->cl_cons_state s32min-s32max
PARAM_VALUE 0 inode->i_sb->s_fs_info->nfs_client->cl_count.refs.counter s32min-s32max
PARAM_VALUE 0 inode->i_sb->s_fs_info->nfs_client->cl_exchange_flags 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->nfs_client->cl_net->ns.__ns_ref.refs.counter s32min-s32max
PARAM_VALUE 0 inode->i_sb->s_fs_info->nfs_client->cl_net->refcnt_tracker.dead 0-1
PARAM_VALUE 0 inode->i_sb->s_fs_info->nfs_client->cl_net->refcnt_tracker.quarantine_avail 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->nfs_client->cl_nfs_mod->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 inode->i_sb->s_fs_info->nfs_client->cl_ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->nfs_client->cl_ns_tracker->dead 0-1
PARAM_VALUE 0 inode->i_sb->s_fs_info->nfs_client->cl_ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->nfs_client->cl_rpcclient->cl_count.refs.counter s32min-s32max
PARAM_VALUE 0 inode->i_sb->s_fs_info->nfs_client->cl_rpcclient->cl_shutdown 0-1
PARAM_VALUE 0 inode->i_sb->s_fs_info->nfs_client->cl_rpcwaitq.nr 0-255
PARAM_VALUE 0 inode->i_sb->s_fs_info->nfs_client->cl_rpcwaitq.priority 0-255
PARAM_VALUE 0 inode->i_sb->s_fs_info->nfs_client->cl_session->bc_slot_table.max_slots 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->nfs_client->cl_session->fc_slot_table.max_slots 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->nfs_client->cl_slot_tbl->max_slots 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 0 inode->i_sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 0 inode->i_wb->dwork.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 inode->i_wb->dwork.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 inode->i_wb->dwork.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 *inode->i_sb->s_fs_info->nfs_client->cl_rpcclient->cl_cred->security (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 attr 4096-ptr_max
PARAM_VALUE 2 fattr 4096-ptr_max
PARAM_VALUE 2 fattr->group_name 0
PARAM_VALUE 2 fattr->label 0,4096-ptr_max
PARAM_VALUE 2 fattr->label->label 4096-ptr_max
PARAM_VALUE 2 fattr->label->len 2048
PARAM_VALUE 2 fattr->mdsthreshold 0
PARAM_VALUE 2 fattr->owner_name 0
PARAM_VALUE 2 fattr->valid 0
BUF_SIZE 1 attr->ia_file s32min,(-1),1-s32max
BUF_SIZE 2 fattr 248
DATA_SOURCE 1 attr $2
DATA_SOURCE 2 fattr $1
NOSPEC 0 inode->i_mode
NOSPEC 1 attr->ia_size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 inode->i_mode 0-u16max
USER_DATA 0 inode->i_size (-9223372036854775807)-(-4),0-s64max
USER_DATA 1 attr->ia_mode 0-u16max
USER_DATA 1 attr->ia_size (-9223372036854775807)-(-4096),0-s64max
NO_OVERFLOW_SIMPLE 0 inode->i_bytes
HALF_LOCKED2 &dentry->d_inode->i_rwsem
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &inode->i_rwsem

fs/nfs/proc.c nfs_proc_setattr() -> nfs_setattr_update_inode()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
PARAM_VALUE 1 attr 4096-ptr_max
PARAM_VALUE 1 attr->ia_mode 0-4095
PARAM_VALUE 2 fattr 4096-ptr_max
PARAM_VALUE 2 fattr->group_name 0
PARAM_VALUE 2 fattr->label 0,4096-ptr_max
PARAM_VALUE 2 fattr->label->label 4096-ptr_max
PARAM_VALUE 2 fattr->label->len 2048
PARAM_VALUE 2 fattr->mdsthreshold 0
PARAM_VALUE 2 fattr->owner_name 0
PARAM_VALUE 2 fattr->valid 0
BUF_SIZE 1 attr->ia_file s32min,(-1),1-s32max
BUF_SIZE 2 fattr 248
DATA_SOURCE 1 attr $2
DATA_SOURCE 2 fattr $1
BIT_INFO 1 attr->ia_valid 0x0,0xffffffff
NOSPEC 1 attr->ia_size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 inode->i_mode 0-u16max
USER_DATA 0 inode->i_size (-9223372036854775807)-(-4),0-s64max
USER_DATA 1 attr->ia_mode 0-4095[c]
USER_DATA 1 attr->ia_size (-9223372036854775807)-(-4096),0-s64max
HALF_LOCKED2 &dentry->d_inode->i_rwsem
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &inode->i_rwsem