Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/btrfs/backref.c iterate_inode_extrefs() -> inode_to_path()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | name_len | 0-u16max |
| PARAM_VALUE | 2 | name_off | 4096-18446744073709547520 |
| PARAM_VALUE | 3 | eb | 4096-ptr_max |
| PARAM_VALUE | 3 | eb->fs_info->allocated_ebs.next | 4096-ptr_max |
| PARAM_VALUE | 3 | eb->fs_info->allocated_ebs.next->next | 4096-ptr_max |
| PARAM_VALUE | 3 | eb->fs_info->allocated_ebs.next->prev | 4096-ptr_max |
| PARAM_VALUE | 3 | eb->fs_info->eb_leak_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 3 | eb->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 3 | eb->lock.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 3 | eb->lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 4 | ipath | 4096-ptr_max |
| PARAM_VALUE | 4 | ipath->btrfs_path | 4096-ptr_max |
| PARAM_VALUE | 4 | ipath->btrfs_path->nodes | 4096-ptr_max |
| PARAM_VALUE | 4 | ipath->btrfs_path->slots | 4096-ptr_max |
| PARAM_VALUE | 4 | ipath->fs_root->fs_info->commit_root_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 4 | ipath->fs_root->fs_info->commit_root_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 4 | ipath->fs_root->node->lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 4 | ipath->fs_root->node->lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 4 | ipath->fspath | 4096-ptr_max |
| PARAM_VALUE | 4 | *ipath->btrfs_path->locks | 0-255 |
| PARAM_VALUE | 4 | *ipath->btrfs_path->slots | s32min-s32max |
| BUF_SIZE | 4 | ipath | 24 |
| BUF_SIZE | 4 | ipath->btrfs_path | (-1),120 |
| BUF_SIZE | 4 | ipath->fs_root | (-1),2888 |
| CAPPED_DATA | 3 | eb | 1 |
| DATA_SOURCE | 0 | inum | r btrfs_inode_extref_parent |
| DATA_SOURCE | 1 | name_len | r btrfs_inode_extref_name_len |
| DATA_SOURCE | 3 | eb | r btrfs_clone_extent_buffer |
| DATA_SOURCE | 4 | ipath | $1 |
| NOSPEC | 4 | ipath->fspath->bytes_missing | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 4 | ipath->fspath->bytes_left | 0-4079[c] |
| USER_DATA | 4 | ipath->fspath->bytes_missing | 1-16[c] |
| NO_OVERFLOW_SIMPLE | 3 | eb->start |
fs/btrfs/backref.c iterate_inode_refs() -> inode_to_path()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | name_len | 0-u16max |
| PARAM_VALUE | 2 | name_off | 4096-18446744073709547520 |
| PARAM_VALUE | 3 | eb | 4096-ptr_max |
| PARAM_VALUE | 3 | eb->fs_info->allocated_ebs.next | 4096-ptr_max |
| PARAM_VALUE | 3 | eb->fs_info->allocated_ebs.next->next | 4096-ptr_max |
| PARAM_VALUE | 3 | eb->fs_info->allocated_ebs.next->prev | 4096-ptr_max |
| PARAM_VALUE | 3 | eb->fs_info->eb_leak_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 3 | eb->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 3 | eb->lock.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 3 | eb->lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 4 | ipath | 4096-ptr_max |
| PARAM_VALUE | 4 | ipath->btrfs_path | 1-u64max |
| PARAM_VALUE | 4 | ipath->btrfs_path->nodes | 4096-ptr_max |
| PARAM_VALUE | 4 | ipath->btrfs_path->slots | 4096-ptr_max |
| PARAM_VALUE | 4 | ipath->fs_root->fs_info->commit_root_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 4 | ipath->fs_root->fs_info->commit_root_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 4 | ipath->fs_root->node->lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 4 | ipath->fs_root->node->lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 4 | ipath->fspath | 4096-ptr_max |
| PARAM_VALUE | 4 | *ipath->btrfs_path->locks | 0-255 |
| PARAM_VALUE | 4 | *ipath->btrfs_path->slots | s32min-s32max |
| BUF_SIZE | 4 | ipath | 24 |
| BUF_SIZE | 4 | ipath->btrfs_path | (-1),120 |
| BUF_SIZE | 4 | ipath->fs_root | (-1),2888 |
| CAPPED_DATA | 3 | eb | 1 |
| DATA_SOURCE | 1 | name_len | r btrfs_inode_ref_name_len |
| DATA_SOURCE | 3 | eb | r btrfs_clone_extent_buffer |
| DATA_SOURCE | 4 | ipath | $1 |
| NOSPEC | 4 | ipath->fspath->bytes_missing | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 4 | ipath->fspath->bytes_left | 0-4079[c] |
| USER_DATA | 4 | ipath->fspath->bytes_missing | 1-16[c] |
| NO_OVERFLOW_SIMPLE | 3 | eb->start | |
| UNITS | 0 | inum | unit_byte |
| UNITS | 1 | name_len | unit_byte |
| UNITS | 2 | name_off | unit_byte |