Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

fs/f2fs/inode.c f2fs_delete_inode() -> F2FS_HAS_BLOCKS()

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

fs/f2fs/data.c f2fs_disable_compressed_file() -> F2FS_HAS_BLOCKS()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
DATA_SOURCE 0 inode $0
CAPABLE 0 21
LOCK2 &fi->i_sem.internal_rwsem
LOCK2 &inode->i_rwsem
TYPE_LOCK (struct f2fs_rwsem)->internal_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/f2fs/inline.c inode_has_blocks() -> F2FS_HAS_BLOCKS()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_blocks 0,8-18446744073709551608
BUF_SIZE 0 inode (-1),1-s32max
BUF_SIZE 0 inode (-1),1-s32max
BUF_SIZE 0 inode->i_sb (-1),2816
CAPPED_DATA 0 inode->i_ino 1
DATA_SOURCE 0 inode $0
STR_LEN 0 inode->i_sb (-1),8
BIT_INFO 0 inode->i_blocks 0x0,0xfffffffffffffff8
NOSPEC 0 inode->i_ino
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 inode->__i_nlink 1-u32max
USER_DATA 0 inode->i_ino 0-4294967294[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_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
HALF_LOCKED2 &sbi->gc_lock.internal_rwsem

fs/f2fs/file.c f2fs_disable_compressed_file() -> F2FS_HAS_BLOCKS()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &fi->i_sem.internal_rwsem
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 0 &inode->i_rwsem
TYPE_LOCK (struct f2fs_rwsem)->internal_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/f2fs/file.c f2fs_ioc_get_dev_alias_status() -> F2FS_HAS_BLOCKS()

Type Parameter Key Value

fs/f2fs/file.c f2fs_ioc_release_dev_alias() -> F2FS_HAS_BLOCKS()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
CAPABLE 0 21
LOCK2 0 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/f2fs/file.c f2fs_ioc_reserve_dev_alias() -> F2FS_HAS_BLOCKS()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
CAPABLE 0 21
LOCK2 0 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/f2fs/file.c f2fs_ioc_set_compress_option() -> F2FS_HAS_BLOCKS()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
LOCK2 0 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/f2fs/file.c f2fs_setflags_common() -> F2FS_HAS_BLOCKS()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
CAPPED_DATA 0 inode->i_sb->s_fs_info->s_ndevs 1
DATA_SOURCE 0 inode $0
BIT_INFO 0 inode->i_flags 0x0,0xffffffdf
RX_PATH
TASK_NOT_RUNNING
LOCK2 &fi->i_sem.internal_rwsem
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct f2fs_rwsem)->internal_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/f2fs/super.c f2fs_drop_inode() -> F2FS_HAS_BLOCKS()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
CAPPED_DATA 0 inode 1
CAPPED_DATA 0 inode->i_mapping 1
CAPPED_DATA 0 inode->i_mapping->i_pages.xa_head 1
DATA_SOURCE 0 inode $0
NO_OVERFLOW_SIMPLE 0 inode->i_bytes