Defined in 1 files as a function:

Referenced in 14 files:

Smatch caller information:

fs/nfs/inode.c nfs_check_inode_attributes() -> inode_wrong_type()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
BUF_SIZE 0 inode (-1),1-s32max
BUF_SIZE 0 inode (-1),1-s32max
DATA_SOURCE 0 inode $0
STR_LEN 0 inode (-1),1-24,26-27,29,31-34,63,99,115,254-255
STR_LEN 0 inode (-1),1-24,26-27,29,31-34,63,99,115,254-255
NOSPEC 0 inode->i_bytes
NOSPEC 0 inode->i_mode
NOSPEC 0 inode->i_size
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 inode->__i_nlink 1-u32max
USER_DATA 0 inode->i_blocks 0-18014398509481983,18428729675200069632-u64max
USER_DATA 0 inode->i_bytes 0-511[c]
USER_DATA 0 inode->i_ino 0-u64max
USER_DATA 0 inode->i_mode 0-u16max
USER_DATA 0 inode->i_rdev 0-u32max[c]
USER_DATA 0 inode->i_sb->s_flags 0-2147553280[c]
USER_DATA 0 inode->i_size (-9223372036854775807)-(-4),0-s64max
USER_DATA 1 mode 0-u16max
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 inode->i_data.host->i_size
NO_OVERFLOW_SIMPLE 0 inode->i_linklen
NO_OVERFLOW_SIMPLE 0 inode->i_mapping->host->i_size
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize_bits
LOCK2 0 &inode->i_lock
HALF_LOCKED2 0 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_lock

fs/nfs/inode.c nfs_find_actor() -> inode_wrong_type()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
CAPPED_DATA 0 inode->i_ino 1
CAPPED_DATA 0 inode->i_sb 1
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 global &inode_hash_lock

fs/nfs/inode.c nfs_update_inode() -> inode_wrong_type()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
BUF_SIZE 0 inode (-1),1-s32max
BUF_SIZE 0 inode (-1),1-s32max
DATA_SOURCE 0 inode $0
STR_LEN 0 inode (-1),1-24,26-27,29,31-34,63,99,115,254-255
STR_LEN 0 inode (-1),1-24,26-27,29,31-34,63,99,115,254-255
NOSPEC 0 inode->i_bytes
NOSPEC 0 inode->i_mode
NOSPEC 0 inode->i_size
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 inode->__i_nlink 1-u32max
USER_DATA 0 inode->i_blocks 0-18014398509481983,18428729675200069632-u64max
USER_DATA 0 inode->i_bytes 0-511[c]
USER_DATA 0 inode->i_ino 0-u64max
USER_DATA 0 inode->i_mode 0-u16max
USER_DATA 0 inode->i_rdev 0-u32max[c]
USER_DATA 0 inode->i_sb->s_flags 0-2147553280[c]
USER_DATA 0 inode->i_size (-9223372036854775807)-(-4),0-s64max
USER_DATA 1 mode 0-u16max
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 inode->i_data.host->i_size
NO_OVERFLOW_SIMPLE 0 inode->i_linklen
NO_OVERFLOW_SIMPLE 0 inode->i_mapping->host->i_size
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize_bits
LOCK2 0 &inode->i_lock
HALF_LOCKED2 0 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_lock

fs/nfsd/nfsproc.c nfsd_proc_create() -> inode_wrong_type()

Type Parameter Key Value
PARAM_VALUE 0 inode 1-u64max
PARAM_VALUE 1 mode 0,4096-s16max,32769-61440
BIT_INFO 1 mode 0x0,0xf000

fs/fuse/dir.c fuse_do_getattr() -> inode_wrong_type()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 mode 0
DATA_SOURCE 0 inode $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 inode->i_mode 0-u16max
USER_DATA 0 inode->i_size (-9223372036854775807)-(-4),0-s64max
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize_bits
HALF_LOCKED2 0 &inode->i_rwsem

fs/fuse/dir.c fuse_do_setattr() -> inode_wrong_type()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 mode 0
NOSPEC 0 inode->i_mode
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 inode->i_mode 0-u16max
USER_DATA 0 inode->i_size (-9223372036854775807)-(-4),0-s64max
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &mapping->invalidate_lock
HALF_LOCKED2 &pool->lock

fs/fuse/dir.c fuse_do_statx() -> inode_wrong_type()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
DATA_SOURCE 0 inode $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 0 &inode->i_rwsem

fs/fuse/dir.c fuse_stale_inode() -> inode_wrong_type()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 mode 0
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING

fs/fuse/readdir.c fuse_stale_inode() -> inode_wrong_type()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
CAPPED_DATA 0 inode->i_generation 1
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &inode->i_rwsem
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &dir_fp->readdir_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem

fs/ceph/caps.c handle_cap_grant() -> inode_wrong_type()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
DATA_SOURCE 0 inode $0
BIT_INFO 0 inode->i_flags 0x0,0xffffffff

fs/9p/vfs_inode_dotl.c v9fs_refresh_inode_dotl() -> inode_wrong_type()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
DATA_SOURCE 0 inode $1
RX_PATH
TASK_NOT_RUNNING

fs/9p/vfs_inode_dotl.c v9fs_test_inode_dotl() -> inode_wrong_type()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
CAPPED_DATA 0 inode->i_sb 1
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 mode 0-u16max[u]
LOCK2 rcu_read
HALF_LOCKED2 global &inode_hash_lock

fs/ceph/inode.c ceph_fill_inode() -> inode_wrong_type()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
BUF_SIZE 0 inode (-1)-s32max
BUF_SIZE 0 inode (-1)-s32max
CAPPED_DATA 0 inode 1
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 inode->__i_nlink 1-u32max
USER_DATA 0 inode->i_blocks 0-18014398509481983,18428729675200069632-u64max
USER_DATA 0 inode->i_bytes 0-511[c]
USER_DATA 0 inode->i_ino 0-u64max
USER_DATA 0 inode->i_mode 0-u16max[c]
USER_DATA 0 inode->i_rdev 0-u32max[c]
USER_DATA 0 inode->i_sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 inode->i_mapping->host->i_bytes
NO_OVERFLOW_SIMPLE 0 inode->i_mapping->host->i_size
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize_bits
NO_OVERFLOW_SIMPLE 0 inode->i_size
LOCK2 &mdsc->snap_rwsem
HALF_LOCKED2 &req->r_fill_mutex
HALF_LOCKED2 &session->s_mutex
TYPE_LOCK (struct ceph_mds_client)->snap_rwsem

fs/orangefs/orangefs-utils.c orangefs_inode_is_stale() -> inode_wrong_type()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 mode 16384,32768,40960
BUF_SIZE 0 inode (-1),1-s32max
BUF_SIZE 0 inode (-1),1-s32max
DATA_SOURCE 0 inode $0
DATA_SOURCE 1 mode r orangefs_inode_type
NOSPEC 0 inode->i_bytes
NOSPEC 0 inode->i_mode
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 inode->__i_nlink 1-u32max
USER_DATA 0 inode->i_blocks 0-18014398509481983,18428729675200069632-u64max
USER_DATA 0 inode->i_bytes 0-511[c]
USER_DATA 0 inode->i_ino 0-u64max
USER_DATA 0 inode->i_mode 0-u16max
USER_DATA 0 inode->i_rdev 0-u32max[c]
USER_DATA 0 inode->i_sb->s_flags 0-u64max[c]
USER_DATA 0 inode->i_size (-9223372036854775807)-(-4),0-s64max
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 inode->i_mapping->host->i_bytes
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize_bits
HALF_LOCKED2 0 &inode->i_lock
HALF_LOCKED2 0 &inode->i_rwsem

fs/gfs2/glops.c gfs2_dinode_in() -> inode_wrong_type()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
BUF_SIZE 0 inode 1160
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &rgd->rd_mutex
HALF_LOCKED2 &rs->rs_rgd->rd_mutex

fs/9p/vfs_inode.c v9fs_refresh_inode() -> inode_wrong_type()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 mode 0-12287,16384-20479,24576-28671,32768-36863,40960-45055,49152-53247
DATA_SOURCE 0 inode $1
DATA_SOURCE 1 mode r p9mode2unixmode
RX_PATH
TASK_NOT_RUNNING

fs/9p/vfs_inode.c v9fs_test_inode() -> inode_wrong_type()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 mode 0-12287,16384-20479,24576-28671,32768-36863,40960-45055,49152-53247
CAPPED_DATA 0 inode->i_sb 1
DATA_SOURCE 0 inode $0
DATA_SOURCE 1 mode r p9mode2unixmode
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 global &inode_hash_lock

fs/overlayfs/namei.c ovl_check_origin_fh() -> inode_wrong_type()

Type Parameter Key Value
PARAM_VALUE 0 inode 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 inode->i_mode 0-u16max
USER_DATA 0 inode->i_size (-9223372036854775807)-(-4),0-s64max

fs/overlayfs/namei.c ovl_lookup_index() -> inode_wrong_type()

Type Parameter Key Value
PARAM_VALUE 0 inode 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &origin->d_lockref.lock

fs/smb/client/inode.c cifs_fattr_to_inode() -> inode_wrong_type()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
BUF_SIZE 0 inode (-1)-s32max
BUF_SIZE 0 inode (-1)-s32max
CAPPED_DATA 0 inode 1
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 inode->__i_nlink 1-u32max
USER_DATA 0 inode->i_blocks 0-18014398509481983,18428729675200069632-u64max
USER_DATA 0 inode->i_bytes 0-511[c]
USER_DATA 0 inode->i_ino 0-u64max
USER_DATA 0 inode->i_mode 0-u16max[c]
USER_DATA 0 inode->i_sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 inode->i_mapping->host->i_bytes

fs/smb/client/inode.c cifs_find_inode() -> inode_wrong_type()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
CAPPED_DATA 0 inode->i_sb 1
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 mode 0-u16max[u]
LOCK2 rcu_read
HALF_LOCKED2 global &inode_hash_lock

fs/fuse/inode.c fuse_stale_inode() -> inode_wrong_type()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
BUF_SIZE 0 inode (-1)-s32max
BUF_SIZE 0 inode (-1)-s32max
CAPPED_DATA 0 inode 1
CAPPED_DATA 0 inode->i_generation 1
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 inode->__i_nlink 1-u32max
USER_DATA 0 inode->i_blocks 0-18014398509481983,18428729675200069632-u64max
USER_DATA 0 inode->i_bytes 0-511[c]
USER_DATA 0 inode->i_ino 0-u64max
USER_DATA 0 inode->i_mode 0-u16max[c]
USER_DATA 0 inode->i_sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 inode->i_mapping->host->i_bytes

fs/xfs/xfs_icache.c xfs_trans_metafile_iget() -> inode_wrong_type()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 mode 16384,32768
FUZZY_MAX 1 mode 32768
BIT_INFO 1 mode 0x0,0xc000
HARD_MAX 1 mode 32768
RX_PATH
TASK_NOT_RUNNING

fs/ocfs2/dlmglue.c ocfs2_inode_lock_update() -> inode_wrong_type()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
DATA_SOURCE 0 inode $0

fs/ocfs2/dlmglue.c ocfs2_refresh_inode_from_lvb() -> inode_wrong_type()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
CAPPED_DATA 0 inode->i_generation 1
DATA_SOURCE 0 inode $0