Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

fs/btrfs/tests/extent-buffer-tests.c test_btrfs_split_item() -> btrfs_setup_item_for_insert()

Type Parameter Key Value
PARAM_VALUE 0 trans 0
PARAM_VALUE 1 root 4096-ptr_max
PARAM_VALUE 1 root->alloc_bytenr 0
PARAM_VALUE 1 root->block_rsv 0,4096-ptr_max
PARAM_VALUE 1 root->delalloc_inodes.next 4096-ptr_max
PARAM_VALUE 1 root->delalloc_inodes.next->next 4096-ptr_max
PARAM_VALUE 1 root->delalloc_inodes.prev 4096-ptr_max
PARAM_VALUE 1 root->delalloc_inodes.prev->next 4096-ptr_max
PARAM_VALUE 1 root->delalloc_inodes.prev->prev 4096-ptr_max
PARAM_VALUE 1 root->delalloc_mutex.dep_map->name 0-255
PARAM_VALUE 1 root->delalloc_mutex.first_waiter 0
PARAM_VALUE 1 root->delalloc_mutex.magic 4096-ptr_max
PARAM_VALUE 1 root->delalloc_mutex.osq.tail.counter 0
PARAM_VALUE 1 root->delalloc_mutex.owner.counter 0
PARAM_VALUE 1 root->delalloc_root.next 4096-ptr_max
PARAM_VALUE 1 root->delalloc_root.next->next 4096-ptr_max
PARAM_VALUE 1 root->delalloc_root.prev 4096-ptr_max
PARAM_VALUE 1 root->delalloc_root.prev->next 4096-ptr_max
PARAM_VALUE 1 root->delalloc_root.prev->prev 4096-ptr_max
PARAM_VALUE 1 root->delayed_nodes.xa_flags 0
PARAM_VALUE 1 root->delayed_nodes.xa_head 0
PARAM_VALUE 1 root->dirty_list.next 4096-ptr_max
PARAM_VALUE 1 root->dirty_list.next->next 4096-ptr_max
PARAM_VALUE 1 root->dirty_list.prev 4096-ptr_max
PARAM_VALUE 1 root->dirty_list.prev->next 4096-ptr_max
PARAM_VALUE 1 root->dirty_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 root->fs_info 4096-ptr_max
PARAM_VALUE 1 root->inodes.xa_flags 0
PARAM_VALUE 1 root->inodes.xa_head 0
PARAM_VALUE 1 root->leak_list.next 4096-ptr_max
PARAM_VALUE 1 root->leak_list.next->next 4096-ptr_max
PARAM_VALUE 1 root->leak_list.prev->next 4096-ptr_max
PARAM_VALUE 1 root->leak_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 root->log_commit_wait 4096-ptr_max
PARAM_VALUE 1 root->log_ctxs 4096-ptr_max
PARAM_VALUE 1 root->log_mutex.dep_map->name 0-255
PARAM_VALUE 1 root->log_mutex.first_waiter 0
PARAM_VALUE 1 root->log_mutex.magic 4096-ptr_max
PARAM_VALUE 1 root->log_mutex.osq.tail.counter 0
PARAM_VALUE 1 root->log_mutex.owner.counter 0
PARAM_VALUE 1 root->log_transid_committed (-1)
PARAM_VALUE 1 root->log_writer_wait.head.next 4096-ptr_max
PARAM_VALUE 1 root->log_writer_wait.head.next->next 4096-ptr_max
PARAM_VALUE 1 root->log_writer_wait.head.prev 4096-ptr_max
PARAM_VALUE 1 root->log_writer_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 1 root->log_writer_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 1 root->log_writers.counter 0
PARAM_VALUE 1 root->nr_swapfiles.counter 0
PARAM_VALUE 1 root->objectid_mutex.dep_map->name 0-255
PARAM_VALUE 1 root->objectid_mutex.first_waiter 0
PARAM_VALUE 1 root->objectid_mutex.magic 4096-ptr_max
PARAM_VALUE 1 root->objectid_mutex.osq.tail.counter 0
PARAM_VALUE 1 root->objectid_mutex.owner.counter 0
PARAM_VALUE 1 root->ordered_extent_mutex.dep_map->name 0-255
PARAM_VALUE 1 root->ordered_extent_mutex.first_waiter 0
PARAM_VALUE 1 root->ordered_extent_mutex.magic 4096-ptr_max
PARAM_VALUE 1 root->ordered_extents.next 4096-ptr_max
PARAM_VALUE 1 root->ordered_extents.next->next 4096-ptr_max
PARAM_VALUE 1 root->ordered_extents.prev 4096-ptr_max
PARAM_VALUE 1 root->ordered_extents.prev->next 4096-ptr_max
PARAM_VALUE 1 root->ordered_extents.prev->prev 4096-ptr_max
PARAM_VALUE 1 root->ordered_root.next 4096-ptr_max
PARAM_VALUE 1 root->ordered_root.next->next 4096-ptr_max
PARAM_VALUE 1 root->ordered_root.prev 4096-ptr_max
PARAM_VALUE 1 root->ordered_root.prev->next 4096-ptr_max
PARAM_VALUE 1 root->ordered_root.prev->prev 4096-ptr_max
PARAM_VALUE 1 root->qgroup_flush_wait.head.next 4096-ptr_max
PARAM_VALUE 1 root->qgroup_flush_wait.head.next->next 4096-ptr_max
PARAM_VALUE 1 root->qgroup_flush_wait.head.prev 4096-ptr_max
PARAM_VALUE 1 root->qgroup_flush_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 1 root->qgroup_flush_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 1 root->refs.refs.counter 1
PARAM_VALUE 1 root->reloc_dirty_list.next 4096-ptr_max
PARAM_VALUE 1 root->reloc_dirty_list.next->next 4096-ptr_max
PARAM_VALUE 1 root->reloc_dirty_list.prev 4096-ptr_max
PARAM_VALUE 1 root->reloc_dirty_list.prev->next 4096-ptr_max
PARAM_VALUE 1 root->reloc_dirty_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 root->root_key.objectid 1
PARAM_VALUE 1 root->root_list.next 4096-ptr_max
PARAM_VALUE 1 root->root_list.next->next 4096-ptr_max
PARAM_VALUE 1 root->root_list.prev 4096-ptr_max
PARAM_VALUE 1 root->root_list.prev->next 4096-ptr_max
PARAM_VALUE 1 root->root_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 root->snapshot_force_cow.counter 0
PARAM_VALUE 1 root->swapped_blocks->blocks 4096-ptr_max
PARAM_VALUE 1 root->swapped_blocks.swapped 0
PARAM_VALUE 2 path 4096-ptr_max
PARAM_VALUE 2 path->nodes 4096-ptr_max
PARAM_VALUE 2 path->slots 4096-ptr_max
PARAM_VALUE 3 key 1145262653013671936
PARAM_VALUE 3 key->objectid 0
PARAM_VALUE 3 key->offset 0
PARAM_VALUE 3 key->type 128
PARAM_VALUE 4 data_size 22
BUF_SIZE 1 root 2880
BUF_SIZE 1 root->fs_info 11312
DATA_SOURCE 1 root r btrfs_alloc_dummy_root
DATA_SOURCE 2 path r btrfs_alloc_path
DATA_SOURCE 4 data_size r __fortify_strlen
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 root->dirty_log_pages.fs_info->nodesize
NO_OVERFLOW_SIMPLE 1 root->dirty_log_pages.fs_info->sectorsize
NO_OVERFLOW_SIMPLE 1 root->fs_info->nodesize
NO_OVERFLOW_SIMPLE 1 root->fs_info->sectorsize
NO_OVERFLOW_SIMPLE 1 root->log_csum_range.fs_info->nodesize
NO_OVERFLOW_SIMPLE 1 root->log_csum_range.fs_info->sectorsize

fs/btrfs/tests/inode-tests.c insert_extent() -> btrfs_setup_item_for_insert()

Type Parameter Key Value
PARAM_VALUE 0 trans 0
PARAM_VALUE 1 root 4096-ptr_max
PARAM_VALUE 2 path 2912405759613308928
PARAM_VALUE 3 key 5936641787985788928
PARAM_VALUE 3 key->objectid 256
PARAM_VALUE 3 key->type 108
PARAM_VALUE 4 data_size 53,59
BUF_SIZE 1 root (-1),2888
BUF_SIZE 1 root (-1),2888
BUF_SIZE 1 root->fs_info (-1),11312
DATA_SOURCE 1 root $0
FUZZY_MAX 4 data_size 53
MEM_ZERO 2 path
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 root->fs_info->nodesize
NO_OVERFLOW_SIMPLE 1 root->fs_info->sectorsize
UNITS 4 data_size unit_byte

fs/btrfs/tests/inode-tests.c insert_inode_item_key() -> btrfs_setup_item_for_insert()

Type Parameter Key Value
PARAM_VALUE 0 trans 0
PARAM_VALUE 1 root 4096-ptr_max
PARAM_VALUE 1 root->alloc_bytenr 0
PARAM_VALUE 1 root->block_rsv 0,4096-ptr_max
PARAM_VALUE 1 root->delalloc_inodes.next 4096-ptr_max
PARAM_VALUE 1 root->delalloc_inodes.next->next 4096-ptr_max
PARAM_VALUE 1 root->delalloc_inodes.prev 4096-ptr_max
PARAM_VALUE 1 root->delalloc_inodes.prev->next 4096-ptr_max
PARAM_VALUE 1 root->delalloc_inodes.prev->prev 4096-ptr_max
PARAM_VALUE 1 root->delalloc_mutex.dep_map->name 0-255
PARAM_VALUE 1 root->delalloc_mutex.first_waiter 0
PARAM_VALUE 1 root->delalloc_mutex.magic 4096-ptr_max
PARAM_VALUE 1 root->delalloc_mutex.osq.tail.counter 0
PARAM_VALUE 1 root->delalloc_mutex.owner.counter 0
PARAM_VALUE 1 root->delalloc_root.next 4096-ptr_max
PARAM_VALUE 1 root->delalloc_root.next->next 4096-ptr_max
PARAM_VALUE 1 root->delalloc_root.prev 4096-ptr_max
PARAM_VALUE 1 root->delalloc_root.prev->next 4096-ptr_max
PARAM_VALUE 1 root->delalloc_root.prev->prev 4096-ptr_max
PARAM_VALUE 1 root->delayed_nodes.xa_flags 0
PARAM_VALUE 1 root->delayed_nodes.xa_head 0
PARAM_VALUE 1 root->dirty_list.next 4096-ptr_max
PARAM_VALUE 1 root->dirty_list.next->next 4096-ptr_max
PARAM_VALUE 1 root->dirty_list.prev 4096-ptr_max
PARAM_VALUE 1 root->dirty_list.prev->next 4096-ptr_max
PARAM_VALUE 1 root->dirty_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 root->fs_info 4096-ptr_max
PARAM_VALUE 1 root->inodes.xa_flags 0
PARAM_VALUE 1 root->inodes.xa_head 0
PARAM_VALUE 1 root->leak_list.next 4096-ptr_max
PARAM_VALUE 1 root->leak_list.next->next 4096-ptr_max
PARAM_VALUE 1 root->leak_list.prev->next 4096-ptr_max
PARAM_VALUE 1 root->leak_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 root->log_batch.counter 0
PARAM_VALUE 1 root->log_commit 4096-ptr_max
PARAM_VALUE 1 root->log_commit_wait 4096-ptr_max
PARAM_VALUE 1 root->log_ctxs 4096-ptr_max
PARAM_VALUE 1 root->log_mutex.dep_map->name 0-255
PARAM_VALUE 1 root->log_mutex.first_waiter 0
PARAM_VALUE 1 root->log_mutex.magic 4096-ptr_max
PARAM_VALUE 1 root->log_mutex.osq.tail.counter 0
PARAM_VALUE 1 root->log_mutex.owner.counter 0
PARAM_VALUE 1 root->log_transid_committed (-1)
PARAM_VALUE 1 root->log_writer_wait.head.next 4096-ptr_max
PARAM_VALUE 1 root->log_writer_wait.head.next->next 4096-ptr_max
PARAM_VALUE 1 root->log_writer_wait.head.prev 4096-ptr_max
PARAM_VALUE 1 root->log_writer_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 1 root->log_writer_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 1 root->log_writers.counter 0
PARAM_VALUE 1 root->node 4096-ptr_max
PARAM_VALUE 1 root->node->folio_shift 12
PARAM_VALUE 1 root->node->folio_size 4096
PARAM_VALUE 1 root->nr_swapfiles.counter 0
PARAM_VALUE 1 root->objectid_mutex.dep_map->name 0-255
PARAM_VALUE 1 root->objectid_mutex.first_waiter 0
PARAM_VALUE 1 root->objectid_mutex.magic 4096-ptr_max
PARAM_VALUE 1 root->objectid_mutex.osq.tail.counter 0
PARAM_VALUE 1 root->objectid_mutex.owner.counter 0
PARAM_VALUE 1 root->ordered_extent_mutex.dep_map->name 0-255
PARAM_VALUE 1 root->ordered_extent_mutex.first_waiter 0
PARAM_VALUE 1 root->ordered_extent_mutex.magic 4096-ptr_max
PARAM_VALUE 1 root->ordered_extents.next 4096-ptr_max
PARAM_VALUE 1 root->ordered_extents.next->next 4096-ptr_max
PARAM_VALUE 1 root->ordered_extents.prev 4096-ptr_max
PARAM_VALUE 1 root->ordered_extents.prev->next 4096-ptr_max
PARAM_VALUE 1 root->ordered_extents.prev->prev 4096-ptr_max
PARAM_VALUE 1 root->ordered_root.next 4096-ptr_max
PARAM_VALUE 1 root->ordered_root.next->next 4096-ptr_max
PARAM_VALUE 1 root->ordered_root.prev 4096-ptr_max
PARAM_VALUE 1 root->ordered_root.prev->next 4096-ptr_max
PARAM_VALUE 1 root->ordered_root.prev->prev 4096-ptr_max
PARAM_VALUE 1 root->qgroup_flush_wait.head.next 4096-ptr_max
PARAM_VALUE 1 root->qgroup_flush_wait.head.next->next 4096-ptr_max
PARAM_VALUE 1 root->qgroup_flush_wait.head.prev 4096-ptr_max
PARAM_VALUE 1 root->qgroup_flush_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 1 root->qgroup_flush_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 1 root->refs.refs.counter 1
PARAM_VALUE 1 root->reloc_dirty_list.next 4096-ptr_max
PARAM_VALUE 1 root->reloc_dirty_list.next->next 4096-ptr_max
PARAM_VALUE 1 root->reloc_dirty_list.prev 4096-ptr_max
PARAM_VALUE 1 root->reloc_dirty_list.prev->next 4096-ptr_max
PARAM_VALUE 1 root->reloc_dirty_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 root->root_key.objectid 1
PARAM_VALUE 1 root->root_list.next 4096-ptr_max
PARAM_VALUE 1 root->root_list.next->next 4096-ptr_max
PARAM_VALUE 1 root->root_list.prev 4096-ptr_max
PARAM_VALUE 1 root->root_list.prev->next 4096-ptr_max
PARAM_VALUE 1 root->root_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 root->snapshot_force_cow.counter 0
PARAM_VALUE 1 root->swapped_blocks->blocks 4096-ptr_max
PARAM_VALUE 1 root->swapped_blocks.swapped 0
PARAM_VALUE 2 path 1907437881361838080
PARAM_VALUE 3 key 2105623681331044352
PARAM_VALUE 3 key->objectid 1
PARAM_VALUE 3 key->offset 0
PARAM_VALUE 3 key->type 1
PARAM_VALUE 4 data_size 0
BUF_SIZE 1 root 2888
BUF_SIZE 1 root 2888
BUF_SIZE 1 root->fs_info 11312
CAPPED_DATA 1 root->node 1
DATA_SOURCE 1 root $0
MEM_ZERO 2 path
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 root->fs_info->nodesize
NO_OVERFLOW_SIMPLE 1 root->fs_info->sectorsize

fs/btrfs/ctree.c btrfs_duplicate_item() -> btrfs_setup_item_for_insert()

Type Parameter Key Value
PARAM_VALUE 0 trans 4096-ptr_max
PARAM_VALUE 0 trans->fs_info->block_group_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->block_group_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->chunk_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->chunk_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->commit_root_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->commit_root_sem.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->dev_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->dev_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->quota_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->quota_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->remap_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->remap_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->stripe_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->stripe_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->tree_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->tree_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->uuid_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->uuid_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 1 root 1-u64max
PARAM_VALUE 2 path 4096-ptr_max
PARAM_VALUE 2 path->nodes 4096-ptr_max
PARAM_VALUE 2 path->slots 4096-ptr_max
PARAM_VALUE 3 key 4438016948263522304,5963057335917146112
PARAM_VALUE 3 key->type 108,230
CAPPED_DATA 0 trans 1
CAPPED_DATA 1 root 1
DATA_SOURCE 0 trans $0
DATA_SOURCE 1 root $1
DATA_SOURCE 2 path $2
DATA_SOURCE 3 key $3
DATA_SOURCE 4 data_size r btrfs_item_size
HARD_MAX 3 key->type 230
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 trans->fs_info->tree_root->dirty_log_pages.inode->disk_i_size
NO_OVERFLOW_SIMPLE 0 trans->fs_info->tree_root->dirty_log_pages.inode->vfs_inode.i_size
NO_OVERFLOW_SIMPLE 0 trans->transaction->dirty_pages.inode->disk_i_size
NO_OVERFLOW_SIMPLE 0 trans->transaction->dirty_pages.inode->vfs_inode.i_size
NO_OVERFLOW_SIMPLE 0 trans->transaction->pinned_extents.inode->vfs_inode.i_bytes
NO_OVERFLOW_SIMPLE 3 key->offset
UNITS 4 data_size unit_byte
USER_PTR 0 trans->pending_snapshot->inherit