Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/fat/fatent.c fat_ent_access_init() -> __fat_fs_error()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->__s_d_op->d_automount 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE 0 sb->__s_d_op->d_compare 0,4096-ptr_max
PARAM_VALUE 0 sb->__s_d_op->d_delete 0,4096-ptr_max
PARAM_VALUE 0 sb->__s_d_op->d_dname 0,4096-ptr_max
PARAM_VALUE 0 sb->__s_d_op->d_hash 0,4096-ptr_max
PARAM_VALUE 0 sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 sb->__s_d_op->d_release 0,4096-ptr_max
PARAM_VALUE 0 sb->__s_d_op->d_revalidate 0,4096-ptr_max
PARAM_VALUE 0 sb->__s_d_op->d_unalias_trylock 0,6635409759016140800
PARAM_VALUE 0 sb->__s_d_op->d_unalias_unlock 0,6336447517789900800
PARAM_VALUE 0 sb->__s_d_op->d_weak_revalidate 0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE 0 sb->s_bdev 4096-ptr_max
PARAM_VALUE 0 sb->s_bdev->bd_disk->part0->bd_mapping->host->i_sb->s_export_op->encode_fh 0,2,1398972869330624512,1616549510479982592,2037984473558433792
PARAM_VALUE 0 sb->s_bdev->bd_mapping 4096-ptr_max
PARAM_VALUE 0 sb->s_bdev->bd_mapping->i_private_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sb->s_bdev_file->f_mapping->host->i_blkbits 9-73
PARAM_VALUE 0 sb->s_bdev_file->f_mapping->host->i_mapping->invalidate_lock.first_waiter->type 0-1
PARAM_VALUE 0 sb->s_bdev_file->f_mapping->host->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 sb->s_bdev_file->f_mapping->host->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 sb->s_bdev_file->private_data 1-u64max
PARAM_VALUE 0 sb->s_blocksize 512-u16max
PARAM_VALUE 0 sb->s_blocksize_bits 9-73
PARAM_VALUE 0 sb->s_export_op 1200282475609747456,2992774192373559296
PARAM_VALUE 0 sb->s_export_op->encode_fh 0,2,1398972869330624512,1616549510479982592,2037984473558433792
PARAM_VALUE 0 sb->s_export_op->fh_to_dentry 0,8684,447817974243774464,687732489194512384,742201802719268864
PARAM_VALUE 0 sb->s_export_op->fh_to_parent 0,5297,148606482432692224,436469935444291584,467281172929331200
PARAM_VALUE 0 sb->s_export_op->get_parent 0,8931,264940071972966400,291591359766798336,565128213429456896
PARAM_VALUE 0 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 0 sb->s_magic 19780
PARAM_VALUE 0 sb->s_maxbytes 4294967295
PARAM_VALUE 0 sb->s_op 2426554258020704256
PARAM_VALUE 0 sb->s_root 0
PARAM_VALUE 0 sb->s_time_gran 1
PARAM_VALUE 0 sb->s_time_max (-1832037248)-6502504691
PARAM_VALUE 0 sb->s_time_min (-1832037248)-6502504691
PARAM_VALUE 0 sb->s_uuid_len 4
PARAM_VALUE 1 report 1
PARAM_VALUE 2 fmt 1310790882328539136
PARAM_VALUE 3 $ 0-11,13-15,17-31,33-255
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb->s_fs_info 5024
BUF_SIZE 0 sb->s_op 224
BUF_SIZE 2 fmt 29
DATA_SOURCE 0 sb $0
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
STR_LEN 1 report 28
BIT_INFO 0 sb->s_export_op 0x88400504407000,0xffffffffffffffff
TERMINATED 2 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 sb->s_flags 2048-2147489792[c]
HALF_LOCKED2 &fc->uapi_mutex

fs/fat/fatent.c fat_ent_read() -> __fat_fs_error()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 1 report 0-1
PARAM_VALUE 2 fmt 939143454537486336
BUF_SIZE 0 sb (-1),2816
BUF_SIZE 0 sb (-1),2816
BUF_SIZE 2 fmt 37
DATA_SOURCE 3 $ $2
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
STR_LEN 1 report 36
TERMINATED 2 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize_bits
UNITS 0 sb unit_byte
HALF_LOCKED2 &sbi->fat_lock

fs/fat/fatent.c fat_free_clusters() -> __fat_fs_error()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 1 report 1
PARAM_VALUE 2 fmt 5769587266623520768
BUF_SIZE 2 fmt 34
BUF_SIZE 3 $ 18
STR_LEN 0 sb 33
TERMINATED 2 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 sb->s_flags 0-u64max[c]
UNITS 0 sb unit_byte
LOCK2 &sbi->fat_lock
TYPE_LOCK (struct msdos_sb_info)->fat_lock

fs/fat/file.c fat_free() -> __fat_fs_error()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 1 report 1
PARAM_VALUE 2 fmt 9071544774697279488
BUF_SIZE 2 fmt 39
BUF_SIZE 3 $ 9
STR_LEN 0 sb 38
TERMINATED 2 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sb unit_byte

fs/fat/dir.c fat_add_entries() -> __fat_fs_error()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 1 report 0-1
PARAM_VALUE 2 fmt 6655829148986675200
BUF_SIZE 2 fmt 69
STR_LEN 0 sb 68
BIT_INFO 1 report 0x0,0x1
TERMINATED 2 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sb unit_byte

fs/fat/dir.c fat_add_entries() -> __fat_fs_error()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 1 report 1
PARAM_VALUE 2 fmt 4889904130656157696
BUF_SIZE 2 fmt 19
STR_LEN 0 sb 18
TERMINATED 2 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sb unit_byte

fs/fat/inode.c __fat_get_block() -> __fat_fs_error()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 1 report 1
PARAM_VALUE 2 fmt 2149574512214310912
BUF_SIZE 2 fmt 39
STR_LEN 0 sb 38
TERMINATED 2 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sb unit_byte
UNITS 4 $ unit_byte

fs/fat/inode.c __fat_get_block() -> __fat_fs_error()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 1 report 1
PARAM_VALUE 2 fmt 2113623302491250688
BUF_SIZE 2 fmt 48
STR_LEN 0 sb 47
TERMINATED 2 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 4 $ 0-u64max[c]
UNITS 0 sb unit_byte

fs/fat/inode.c fat_validate_dir() -> __fat_fs_error()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_inodes.next 4096-ptr_max
PARAM_VALUE 1 report 1
PARAM_VALUE 2 fmt 1050653767082233856
BUF_SIZE 2 fmt 38
STR_LEN 0 sb 37
TERMINATED 2 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize_bits
UNITS 0 sb unit_byte

fs/fat/inode.c fat_validate_dir() -> __fat_fs_error()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_inodes.next 4096-ptr_max
PARAM_VALUE 1 report 1
PARAM_VALUE 2 fmt 3648433596936634368
BUF_SIZE 2 fmt 38
STR_LEN 0 sb 37
TERMINATED 2 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize_bits
UNITS 0 sb unit_byte

fs/fat/cache.c fat_bmap_cluster() -> __fat_fs_error()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 1 report 1
PARAM_VALUE 2 fmt 4470692016488374272
BUF_SIZE 0 sb (-1),80,2816
BUF_SIZE 0 sb (-1),80,2816
BUF_SIZE 2 fmt 36
BUF_SIZE 3 $ 17
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
STR_LEN 1 report 35
TERMINATED 2 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize_bits
UNITS 0 sb unit_byte
HALF_LOCKED2 &inode->i_rwsem

fs/fat/cache.c fat_get_cluster() -> __fat_fs_error()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 1 report 0-1
PARAM_VALUE 2 fmt 1532588868608737280
PARAM_VALUE 3 $ 4744473988875599872
BUF_SIZE 0 sb (-1),80,2816
BUF_SIZE 0 sb (-1),80,2816
BUF_SIZE 2 fmt 51
BUF_SIZE 3 $ 16
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
STR_LEN 1 report 50
BIT_INFO 1 report 0x0,0x1
TERMINATED 2 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize_bits
UNITS 0 sb unit_byte

fs/fat/cache.c fat_get_cluster() -> __fat_fs_error()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 1 report 0-1
PARAM_VALUE 2 fmt 9172949531747749888
PARAM_VALUE 3 $ 4744473988875599872
BUF_SIZE 0 sb (-1),80,2816
BUF_SIZE 0 sb (-1),80,2816
BUF_SIZE 2 fmt 49
BUF_SIZE 3 $ 16
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
STR_LEN 1 report 48
BIT_INFO 1 report 0x0,0x1
TERMINATED 2 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize_bits
UNITS 0 sb unit_byte

fs/fat/cache.c fat_get_cluster() -> __fat_fs_error()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 1 report 0-1
PARAM_VALUE 2 fmt 9071544774697279488
PARAM_VALUE 3 $ 4744473988875599872
BUF_SIZE 0 sb (-1),80,2816
BUF_SIZE 0 sb (-1),80,2816
BUF_SIZE 2 fmt 39
BUF_SIZE 3 $ 16
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
STR_LEN 1 report 38
BIT_INFO 1 report 0x0,0x1
TERMINATED 2 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize_bits
UNITS 0 sb unit_byte

fs/fat/namei_vfat.c vfat_rename() -> __fat_fs_error()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_bdev->bd_mapping->host->i_sb->s_export_op->encode_fh 0,2,1398972869330624512,1616549510479982592,2037984473558433792
PARAM_VALUE 0 sb->s_fs_info->fat_lock.osq.tail.counter s32min-s32max
PARAM_VALUE 0 sb->s_fs_info->free_clus_valid 1
PARAM_VALUE 1 report 1
PARAM_VALUE 2 fmt 4225718500003442688
BUF_SIZE 2 fmt 38
BUF_SIZE 3 $ 12
STR_LEN 0 sb 37
TERMINATED 2 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sb unit_byte
HALF_LOCKED2 &source->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/fat/namei_vfat.c vfat_rename_exchange() -> __fat_fs_error()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 1 report 1
PARAM_VALUE 2 fmt 8659347267394691072
BUF_SIZE 2 fmt 44
BUF_SIZE 3 $ 21
STR_LEN 0 sb 43
TERMINATED 2 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sb unit_byte
HALF_LOCKED2 &source->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/fat/namei_vfat.c vfat_rmdir() -> __fat_fs_error()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 1 report 1
PARAM_VALUE 2 fmt 2362715429928009728
PARAM_VALUE 3 $ 0-2
BUF_SIZE 2 fmt 35
STR_LEN 0 sb 34
TERMINATED 2 fmt 1
HARD_MAX 3 $ 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sb unit_byte
LOCK2 &dentry->d_inode->i_rwsem
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &dentry->d_sb->s_vfs_rename_mutex
HALF_LOCKED2 &dir->d_inode->i_rwsem
HALF_LOCKED2 &dir->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/fat/namei_msdos.c do_msdos_rename() -> __fat_fs_error()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_bdev->bd_mapping->host->i_sb->s_export_op->encode_fh 0,2,1398972869330624512,1616549510479982592,2037984473558433792
PARAM_VALUE 0 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info->fat_lock.osq.tail.counter s32min-s32max
PARAM_VALUE 0 sb->s_fs_info->free_clus_valid 1
PARAM_VALUE 1 report 1
PARAM_VALUE 2 fmt 4225718500003442688
PARAM_VALUE 4 $ 0-s64max
BUF_SIZE 2 fmt 38
BUF_SIZE 3 $ 16
STR_LEN 0 sb 37
TERMINATED 2 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sb unit_byte
HALF_LOCKED2 &source->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/fat/namei_msdos.c msdos_rmdir() -> __fat_fs_error()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 1 report 1
PARAM_VALUE 2 fmt 2362715429928009728
PARAM_VALUE 3 $ 0-2
BUF_SIZE 2 fmt 35
STR_LEN 0 sb 34
TERMINATED 2 fmt 1
HARD_MAX 3 $ 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sb unit_byte
LOCK2 &dentry->d_inode->i_rwsem
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &dentry->d_sb->s_vfs_rename_mutex
HALF_LOCKED2 &dir->d_inode->i_rwsem
HALF_LOCKED2 &dir->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/fat/misc.c fat_chain_add() -> __fat_fs_error()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 1 report 0-1
PARAM_VALUE 2 fmt 7262704332496384000
BUF_SIZE 2 fmt 37
STR_LEN 0 sb 36
TERMINATED 2 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 sb->s_flags 0-u64max[c]
UNITS 0 sb unit_byte