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/ubifs/xattr.c create_xattr() -> ubifs_set_inode_flags()

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
BUF_SIZE 0 inode->i_fop (-1),272
BUF_SIZE 0 inode->i_link (-1),1-255
BUF_SIZE 0 inode->i_mapping->a_ops (-1),152
BUF_SIZE 0 inode->i_op (-1),256
BUF_SIZE 0 inode->i_sb (-1),2816
CAPPED_DATA 0 inode->i_sb->s_time_max 1
DATA_SOURCE 0 inode $1
STR_LEN 0 inode (-1),1,9
STR_LEN 0 inode (-1),1,9
STR_LEN 0 inode->i_sb (-1),8
PARAM_COMPARE 0 inode->i_sb->s_time_max >= $0->i_sb->s_time_min
NOSPEC 0 inode->i_bytes
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 inode->__i_nlink 1-u32max
USER_DATA 0 inode->i_bytes 0-65023[c]
USER_DATA 0 inode->i_mode 0-u16max
USER_DATA 0 inode->i_sb->s_flags 0-2147553280[c]
USER_DATA 0 inode->i_size (-9223372036854775807)-(-4),0-s64max
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 inode->i_ino
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize_bits
LOCK2 &host_ui->ui_mutex
HALF_LOCKED2 0 &inode->i_rwsem
TYPE_LOCK (struct ubifs_inode)->ui_mutex

fs/ubifs/ioctl.c setflags() -> ubifs_set_inode_flags()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ui->ui_mutex
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem
TYPE_LOCK (struct ubifs_inode)->ui_mutex

fs/ubifs/dir.c ubifs_new_inode() -> ubifs_set_inode_flags()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_flags 128
PARAM_VALUE 0 inode->i_mapping->a_ops 3539775828919410688,8032838596130566144
PARAM_VALUE 0 inode->i_op 2044325260783435776,3378979520613322752,6108080959419940864
BUF_SIZE 0 inode->i_fop (-1),272
BUF_SIZE 0 inode->i_mapping->a_ops (-1),144
BUF_SIZE 0 inode->i_op 256
CAPPED_DATA 0 inode->i_sb->s_time_max 1
DATA_SOURCE 0 inode r new_inode
PARAM_COMPARE 0 inode->i_sb->s_time_max >= $0->i_sb->s_time_min
BIT_INFO 0 inode->i_fop 0x802024081000,0x7efbfaefbe7cf000
BIT_INFO 0 inode->i_mapping->a_ops 0x211a4004a0406000,0x7f7fef7cb769f000
BIT_INFO 0 inode->i_op 0x444024004080000,0x7efeefffefffd000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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

fs/ubifs/super.c ubifs_iget() -> ubifs_set_inode_flags()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_flags 0,128-u32max
PARAM_VALUE 0 inode->i_op 2044325260783435776,3378979520613322752,6108080959419940864
BUF_SIZE 0 inode->i_fop (-1),272
BUF_SIZE 0 inode->i_mapping->a_ops (-1),144
BUF_SIZE 0 inode->i_op 256
BUF_SIZE 0 inode->i_sb (-1),2880
CAPPED_DATA 0 inode->i_size 1
DATA_SOURCE 0 inode r iget_locked
STR_LEN 0 inode->i_sb (-1),8
BIT_INFO 0 inode->i_flags 0x80,0xffffffffffffffff
BIT_INFO 0 inode->i_op 0x444024004080000,0x7efeefffefffd000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 inode->__i_nlink 1-u32max
USER_DATA 0 inode->i_ino 0-u32max
USER_DATA 0 inode->i_sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 inode->i_bytes
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize_bits
HALF_LOCKED2 &c->umount_mutex