Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/gfs2/inode.c gfs2_create_inode() -> munge_mode_uid_gid()

Type Parameter Key Value
PARAM_VALUE 0 dip 4096-ptr_max
PARAM_VALUE 0 dip->i_inode.i_sb 4096-ptr_max
PARAM_VALUE 0 dip->i_inode.i_sb->s_fs_info 4096-ptr_max
PARAM_VALUE 1 inode 4096-ptr_max
CAPPED_DATA 1 inode->i_sb->s_time_max 1
DATA_SOURCE 0 dip r GFS2_I
DATA_SOURCE 1 inode r new_inode
PARAM_COMPARE 1 inode->i_sb->s_time_max >= $1->i_sb->s_time_min
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 inode->__i_nlink 1-u32max
USER_DATA 1 inode->i_mode 0-u16max[c]
USER_DATA 1 inode->i_rdev 0-u32max[c]
NO_OVERFLOW_SIMPLE 1 inode->i_blkbits
NO_OVERFLOW_SIMPLE 1 inode->i_mapping->host->i_bytes
NO_OVERFLOW_SIMPLE 1 inode->i_sb->s_blocksize
NO_OVERFLOW_SIMPLE 1 inode->i_sb->s_blocksize_bits