Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
fs/btrfs/tests/extent-buffer-tests.c test_btrfs_split_item() -> btrfs_split_item()
| 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 | 2 | *path->locks | 0 |
| PARAM_VALUE | 3 | new_key | 1145262653013671936 |
| PARAM_VALUE | 3 | new_key->objectid | 0 |
| PARAM_VALUE | 3 | new_key->offset | 3 |
| PARAM_VALUE | 3 | new_key->type | 128 |
| PARAM_VALUE | 4 | split_offset | 17 |
| 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 |
| 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/extent-buffer-tests.c test_btrfs_split_item() -> btrfs_split_item()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | trans | 0 |
| PARAM_VALUE | 1 | root | 4096-ptr_max |
| PARAM_VALUE | 1 | root->delalloc_inodes.next->next | 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_root.next->next | 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->dirty_list.next->next | 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->btree_inode->i_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 1 | root->fs_info->dirty_cowonly_roots.next | 4096-ptr_max |
| PARAM_VALUE | 1 | root->fs_info->dirty_cowonly_roots.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | root->fs_info->dirty_cowonly_roots.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | root->fs_info->global_block_rsv.full | 1 |
| PARAM_VALUE | 1 | root->fs_info->global_block_rsv.reserved | 0-536870912 |
| PARAM_VALUE | 1 | root->fs_info->qgroup_flags | 0,4-u64max |
| PARAM_VALUE | 1 | root->fs_info->reloc_ctl->refs.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | root->fs_info->sb->s_cop->inode_info_offs | 1632,1720,2632,2648 |
| 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_writer_wait.head.next->next | 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->objectid_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | root->ordered_extent_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | root->ordered_extents.next->next | 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->next | 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->next | 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->reloc_dirty_list.next->next | 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_list.next->next | 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->swapped_blocks->blocks | 4096-ptr_max |
| PARAM_VALUE | 1 | *root->dirty_log_pages.inode->root->fs_info->delalloc_bytes.counters | s32min-s32max |
| PARAM_VALUE | 2 | path | 4096-ptr_max |
| PARAM_VALUE | 2 | path->keep_locks | 0 |
| PARAM_VALUE | 2 | path->nodes | 4096-ptr_max |
| PARAM_VALUE | 2 | path->slots | 4096-ptr_max |
| PARAM_VALUE | 2 | *path->locks | 0-255 |
| PARAM_VALUE | 2 | *path->nodes | 0 |
| PARAM_VALUE | 2 | *path->slots | s32min-s32max |
| PARAM_VALUE | 3 | new_key | 1145262653013671936 |
| PARAM_VALUE | 3 | new_key->objectid | 0 |
| PARAM_VALUE | 3 | new_key->offset | 1 |
| PARAM_VALUE | 3 | new_key->type | 128 |
| PARAM_VALUE | 4 | split_offset | 4 |
| BUF_SIZE | 1 | root | 2880 |
| DATA_SOURCE | 1 | root | r btrfs_alloc_dummy_root |
| DATA_SOURCE | 2 | path | r btrfs_alloc_path |
| 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/file-item.c btrfs_del_csums() -> btrfs_split_item()
| 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->btree_inode->i_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| 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 | 4096-ptr_max |
| PARAM_VALUE | 1 | root->fs_info->btree_inode->i_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 1 | root->fs_info->commit_root_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | root->fs_info->commit_root_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | root->fs_info->sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 1 | root->node->lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | root->node->lock.first_waiter->type | 0-1 |
| 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 | new_key | 5518257780840751104 |
| PARAM_VALUE | 3 | new_key->objectid | 18446744073709551606 |
| PARAM_VALUE | 3 | new_key->offset | 1-18446744073709551614 |
| PARAM_VALUE | 3 | new_key->type | 128 |
| BUF_SIZE | 0 | trans | (-1)-s32max |
| BUF_SIZE | 0 | trans | (-1)-s32max |
| DATA_SOURCE | 0 | trans | $0 |
| DATA_SOURCE | 1 | root | $1 |
| DATA_SOURCE | 2 | path | r btrfs_alloc_path |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | trans->fs_info->chunk_root->dirty_log_pages.inode->disk_i_size | |
| NO_OVERFLOW_SIMPLE | 0 | trans->fs_info->chunk_root->dirty_log_pages.inode->vfs_inode.i_size | |
| 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_bytes | |
| 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 | 1 | root->dirty_log_pages.inode->vfs_inode.i_bytes | |
| USER_PTR | 0 | trans->pending_snapshot->inherit |