Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 8 files:

Smatch caller information:

fs/udf/inode.c udf_setsize() -> block_truncate_page()

Type Parameter Key Value
PARAM_VALUE 0 mapping->host->i_sb->s_export_op->encode_fh 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max
PARAM_VALUE 0 mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 mapping->invalidate_lock.first_waiter->type 0-1
PARAM_VALUE 2 get_block 8262945910968238080
CAPPED_DATA 1 from 1
CAPPED_DATA 1 from 1
DATA_SOURCE 1 from $1
CONSTRAINT 1 from <=3994
NOSPEC 1 from
NOSPEC 1 from
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 from (-9223372036854775807)-(-4096),0-s64max
UNITS 1 from unit_byte
HALF_LOCKED2 0 &mapping->invalidate_lock

fs/minix/itree_v1.c truncate() -> block_truncate_page()

Type Parameter Key Value
PARAM_VALUE 0 mapping->host->i_sb->s_cop->empty_dir 0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144
PARAM_VALUE 0 mapping->host->i_sb->s_cop->get_context 0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416
PARAM_VALUE 0 mapping->host->i_sb->s_cop->set_context 0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112
PARAM_VALUE 0 mapping->host->i_sb->s_export_op->encode_fh 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max
PARAM_VALUE 0 mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 2 get_block 4752866279039770624
CAPPED_DATA 1 from 1
CAPPED_DATA 1 from 1
NOSPEC 1 from
NOSPEC 1 from
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 from 0-s64max[c]
NO_OVERFLOW_SIMPLE 0 mapping->host->i_bytes
UNITS 1 from unit_byte

fs/ext2/inode.c ext2_setsize() -> block_truncate_page()

Type Parameter Key Value
PARAM_VALUE 2 get_block 8066540092139032576
DATA_SOURCE 1 from $1
NOSPEC 1 from
NOSPEC 1 from
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 from (-9223372036854775807)-(-4096),0-s64max
UNITS 1 from unit_byte
HALF_LOCKED2 &dentry->d_inode->i_rwsem
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock

fs/jfs/inode.c jfs_truncate() -> block_truncate_page()

Type Parameter Key Value
PARAM_VALUE 0 mapping 4096-ptr_max
PARAM_VALUE 0 mapping->host->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mapping->host->i_sb->s_cop->empty_dir 0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144
PARAM_VALUE 0 mapping->host->i_sb->s_cop->get_context 0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416
PARAM_VALUE 0 mapping->host->i_sb->s_cop->set_context 0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112
PARAM_VALUE 0 mapping->i_mmap_rwsem.dep_map->name 0-255
PARAM_VALUE 0 mapping->i_mmap_rwsem.first_waiter->handoff_set 1
PARAM_VALUE 0 mapping->i_mmap_rwsem.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 mapping->i_mmap_rwsem.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 0 mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 2 get_block 7555308925345234944
CAPPED_DATA 0 mapping 1
CAPPED_DATA 1 from 1
CAPPED_DATA 1 from 1
NOSPEC 1 from
NOSPEC 1 from
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 from 0-s64max[c]
HALF_LOCKED2 &inode->i_rwsem

fs/fat/inode.c fat_block_truncate_page() -> block_truncate_page()

Type Parameter Key Value
PARAM_VALUE 0 mapping->host->i_sb->s_export_op->encode_fh 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max
PARAM_VALUE 0 mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 2 get_block 1003031488258764800
CAPPED_DATA 1 from 1
CAPPED_DATA 1 from 1
DATA_SOURCE 1 from $1
NOSPEC 1 from
NOSPEC 1 from
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 from (-9223372036854775807)-(-4096),0-s64max[c]
UNITS 1 from unit_byte
HALF_LOCKED2 &inode->i_rwsem

fs/ufs/inode.c ufs_truncate() -> block_truncate_page()

Type Parameter Key Value
PARAM_VALUE 2 get_block 4360198866185601024
DATA_SOURCE 1 from $1
NOSPEC 1 from
NOSPEC 1 from
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 from (-9223372036854775807)-(-4096),0-s64max
UNITS 1 from unit_byte
HALF_LOCKED2 &dentry->d_inode->i_rwsem
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock

fs/minix/itree_v2.c truncate() -> block_truncate_page()

Type Parameter Key Value
PARAM_VALUE 0 mapping->host->i_sb->s_cop->empty_dir 0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144
PARAM_VALUE 0 mapping->host->i_sb->s_cop->get_context 0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416
PARAM_VALUE 0 mapping->host->i_sb->s_cop->set_context 0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112
PARAM_VALUE 0 mapping->host->i_sb->s_export_op->encode_fh 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max
PARAM_VALUE 0 mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 2 get_block 8748094200611479552
CAPPED_DATA 1 from 1
CAPPED_DATA 1 from 1
NOSPEC 1 from
NOSPEC 1 from
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 from 0-s64max[c]
NO_OVERFLOW_SIMPLE 0 mapping->host->i_bytes
UNITS 1 from unit_byte

fs/nilfs2/inode.c nilfs_truncate() -> block_truncate_page()

Type Parameter Key Value
PARAM_VALUE 0 mapping 4096-ptr_max
PARAM_VALUE 0 mapping->host->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mapping->host->i_sb->s_cop->empty_dir 0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144
PARAM_VALUE 0 mapping->host->i_sb->s_cop->get_context 0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416
PARAM_VALUE 0 mapping->host->i_sb->s_cop->set_context 0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112
PARAM_VALUE 0 mapping->i_mmap_rwsem.dep_map->name 0-255
PARAM_VALUE 0 mapping->i_mmap_rwsem.first_waiter->handoff_set 1
PARAM_VALUE 0 mapping->i_mmap_rwsem.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 mapping->i_mmap_rwsem.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 0 mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 2 get_block 5026467373008199680
CAPPED_DATA 0 mapping 1
NOSPEC 1 from
NOSPEC 1 from
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 from s64min-s64max
UNITS 1 from unit_byte
HALF_LOCKED2 &sb->s_fs_info->ns_segctor_sem