Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfs/nfs42proc.c nfs42_proc_copy() -> _nfs42_proc_copy()

Type Parameter Key Value
PARAM_VALUE 0 src 4096-ptr_max
PARAM_VALUE 0 src->f_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 src->f_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 src->f_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 src->f_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 src->f_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 src->f_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 src->f_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 src->f_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 src->f_inode 4096-ptr_max
PARAM_VALUE 0 src->f_inode->i_sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 0 src->f_inode->i_sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 0 src->f_mapping->host->i_sb->s_export_op->get_parent 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max
PARAM_VALUE 0 src->f_op 5060575438722711552
PARAM_VALUE 0 src->f_path.dentry->d_inode->i_sb->s_cop->inode_info_offs 1632,1640,1808,1816,2632,2640,2648,2704,2712
PARAM_VALUE 1 src_lock 4096-ptr_max
PARAM_VALUE 1 src_lock->count.refs.counter (-1073741824),0-s32max
PARAM_VALUE 1 src_lock->open_context 4096-ptr_max
PARAM_VALUE 2 dst 4096-ptr_max
PARAM_VALUE 2 dst->f_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 2 dst->f_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 2 dst->f_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 2 dst->f_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 2 dst->f_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 2 dst->f_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 2 dst->f_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 2 dst->f_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 2 dst->f_inode->i_sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 2 dst->f_inode->i_sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 2 dst->f_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 2 dst->f_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 2 dst->f_op 4096-ptr_max
PARAM_VALUE 2 dst->f_op->copy_file_range 1-u64max
PARAM_VALUE 2 dst->f_path.dentry->d_inode->i_sb->s_cop->inode_info_offs 1632,1808,2632,2648
PARAM_VALUE 3 dst_lock 4096-ptr_max
PARAM_VALUE 3 dst_lock->count.refs.counter (-1073741824),0-s32max
PARAM_VALUE 3 dst_lock->open_context 4096-ptr_max
PARAM_VALUE 4 args 7826413353105403904
PARAM_VALUE 4 args->count 1-1000000000
PARAM_VALUE 4 args->cp_src 0,4096-ptr_max
PARAM_VALUE 4 args->dst_fh 4096-ptr_max
PARAM_VALUE 4 args->dst_pos 0-1000000000
PARAM_VALUE 4 args->seq_args.sa_privileged 0
PARAM_VALUE 4 args->seq_args.sa_slot 0
PARAM_VALUE 4 args->src_fh 4096-ptr_max
PARAM_VALUE 4 args->src_pos 0-1000000000
PARAM_VALUE 5 res 1969574805143318528
PARAM_VALUE 6 nss 0,4096-ptr_max
PARAM_VALUE 7 cnr_stateid 0,4096-ptr_max
PARAM_VALUE 8 restart 2646525862263074816
BUF_SIZE 0 src s32min,(-1),1-s32max
BUF_SIZE 0 src s32min,(-1),1-s32max
BUF_SIZE 2 dst s32min,(-1),1-s32max
BUF_SIZE 2 dst s32min,(-1),1-s32max
BUF_SIZE 6 nss 0,1036
BUF_SIZE 6 nss 0,1036
BUF_SIZE 7 cnr_stateid 0,20
BUF_SIZE 7 cnr_stateid 0,20
CAPPED_DATA 0 src->f_inode 1
CAPPED_DATA 0 src->f_inode->i_size 1
CAPPED_DATA 1 src_lock->lockowner 1
CAPPED_DATA 2 dst->f_inode 1
CAPPED_DATA 2 dst->f_op->copy_file_range 1
CAPPED_DATA 3 dst_lock->lockowner 1
DATA_SOURCE 0 src $0
DATA_SOURCE 1 src_lock r nfs_get_lock_context
DATA_SOURCE 2 dst $2
DATA_SOURCE 3 dst_lock r nfs_get_lock_context
DATA_SOURCE 6 nss $5
DATA_SOURCE 7 cnr_stateid $6
NOSPEC 4 args->count
NOSPEC 4 args->dst_pos
NOSPEC 4 args->src_pos
RX_PATH
USER_DATA 4 args->count 1-1000000000[c]
USER_DATA 4 args->dst_pos 0-1000000000[c]
USER_DATA 4 args->src_pos 0-1000000000[c]
NO_OVERFLOW_SIMPLE 0 src->f_mapping->host->i_bytes
NO_OVERFLOW_SIMPLE 0 src->f_path.dentry->d_inode->i_size
NO_OVERFLOW_SIMPLE 0 src->f_path.moved->d_inode->i_size
NO_OVERFLOW_SIMPLE 2 dst->f_path.dentry->d_inode->i_size
NO_OVERFLOW_SIMPLE 2 dst->f_path.moved->d_inode->i_size
NO_OVERFLOW_SIMPLE 4 args->count
NO_OVERFLOW_SIMPLE 4 args->src_pos
HALF_LOCKED2 &pool->lock