Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/namei.c path_openat() -> do_tmpfile()

Type Parameter Key Value
PARAM_VALUE 0 nd 4342420360533635072,6489631671941296128
PARAM_VALUE 1 flags 0-3,8-11,128-131,136-139,256-259,264-267,512-385877259
PARAM_VALUE 2 op 2134857464242782208,3724445852645912576,7656506677973151744,8270601736902168576,9123697986640130048
PARAM_VALUE 3 file 4096-ptr_max
PARAM_VALUE 3 file->__f_path.dentry 0
PARAM_VALUE 3 file->__f_path.mnt 0
PARAM_VALUE 3 file->f_cred 0,4096-ptr_max
PARAM_VALUE 3 file->f_ep 0
PARAM_VALUE 3 file->f_inode 0
PARAM_VALUE 3 file->f_iocb_flags 0
PARAM_VALUE 3 file->f_mapping 0
PARAM_VALUE 3 file->f_mode 67108864-67108867
PARAM_VALUE 3 file->f_op 0
PARAM_VALUE 3 file->f_owner 0
PARAM_VALUE 3 file->f_pos 0
PARAM_VALUE 3 file->f_pos_lock.dep_map->name 0-255
PARAM_VALUE 3 file->f_pos_lock.first_waiter 0
PARAM_VALUE 3 file->f_pos_lock.magic 4096-ptr_max
PARAM_VALUE 3 file->f_pos_lock.osq.tail.counter 0
PARAM_VALUE 3 file->f_pos_lock.owner.counter 0
PARAM_VALUE 3 file->f_ra.async_size 0
PARAM_VALUE 3 file->f_ra.mmap_miss 0
PARAM_VALUE 3 file->f_ra.order 0
PARAM_VALUE 3 file->f_ra.prev_pos 0
PARAM_VALUE 3 file->f_ra.ra_pages 0
PARAM_VALUE 3 file->f_ra.size 0
PARAM_VALUE 3 file->f_ra.start 0
PARAM_VALUE 3 file->f_ref.refcnt.counter 0
PARAM_VALUE 3 file->f_sb_err 0
PARAM_VALUE 3 file->f_wb_err 0
PARAM_VALUE 3 file->private_data 0
CAPPED_DATA 3 file->f_cred 1
DATA_SOURCE 0 nd $0
DATA_SOURCE 1 flags $2
DATA_SOURCE 2 op $1
BIT_INFO 3 file->f_flags 0x400000,0xffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 nd->dfd s32min-s32max
USER_DATA 2 op->mode 32768-36862[c]
USER_DATA 2 op->open_flag 0-s32max[c]
USER_DATA 3 file->f_flags 0-u32max
USER_DATA 3 file->f_mode 67108864-67108867[c]