Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/nilfs2/btree.c nilfs_btree_carry_left() -> nilfs_btree_do_insert()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | btree | 4096-ptr_max |
| PARAM_VALUE | 0 | btree->b_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | btree->b_ops->bop_assign | 791789435776786432,4732101867544551424,4788106980719075328 |
| PARAM_VALUE | 0 | btree->b_ops->bop_check_delete | 0,4808421001589497856 |
| PARAM_VALUE | 0 | btree->b_ops->bop_check_insert | 0,8182361455286562816 |
| PARAM_VALUE | 0 | btree->b_ops->bop_clear | 0 |
| PARAM_VALUE | 0 | btree->b_ops->bop_delete | 0,4574408115434098688,9075530915980382208 |
| PARAM_VALUE | 0 | btree->b_ops->bop_gather_data | 0,1115325138324008960,4622402160704188416 |
| PARAM_VALUE | 0 | btree->b_ops->bop_insert | 0,1991865134375956480,8573000960434597888 |
| PARAM_VALUE | 0 | btree->b_ops->bop_last_key | 0,4096-ptr_max |
| PARAM_VALUE | 0 | btree->b_ops->bop_lookup | 0,6375107677254025216,9031427338390204416 |
| PARAM_VALUE | 0 | btree->b_ops->bop_lookup_contig | 0,4096-ptr_max |
| PARAM_VALUE | 0 | btree->b_ops->bop_lookup_dirty_buffers | 0,4013520371987763200 |
| PARAM_VALUE | 0 | btree->b_ops->bop_mark | 0,3877101679213461504 |
| PARAM_VALUE | 0 | btree->b_ops->bop_propagate | 2041737880490721280,3216141150996443136,4230641165560369152 |
| PARAM_VALUE | 0 | btree->b_ops->bop_seek_key | 0,4681050067922006016,7581793648701485056 |
| PARAM_VALUE | 0 | btree->b_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | btree->b_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | btree->b_sem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | btree->b_sem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | btree->b_sem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | btree->b_u.u_data | 4096-ptr_max |
| PARAM_VALUE | 0 | btree->b_u.u_data->bn_level | 0-255 |
| PARAM_VALUE | 1 | path | 4096-ptr_max |
| PARAM_VALUE | 2 | level | 1-s32max |
| CAPPED_DATA | 0 | btree->b_nchildren_per_block | 1 |
| CAPPED_DATA | 2 | level | 1 |
| DATA_SOURCE | 0 | btree | $0 |
| DATA_SOURCE | 1 | path | $1 |
| DATA_SOURCE | 2 | level | $2 |
| DATA_SOURCE | 3 | keyp | $3 |
| DATA_SOURCE | 4 | ptrp | $4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | btree->b_last_allocated_key | 0-6442451454[c] |
| USER_DATA | 3 | *keyp | 0-6442451454[c] |
| USER_PTR | 3 | keyp | |
| LOCK2 | 0 | &btree->b_sem | |
| TYPE_LOCK | (struct nilfs_bmap)->b_sem |
fs/nilfs2/btree.c nilfs_btree_carry_right() -> nilfs_btree_do_insert()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | btree | 4096-ptr_max |
| PARAM_VALUE | 0 | btree->b_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | btree->b_ops->bop_assign | 791789435776786432,4732101867544551424,4788106980719075328 |
| PARAM_VALUE | 0 | btree->b_ops->bop_check_delete | 0,4808421001589497856 |
| PARAM_VALUE | 0 | btree->b_ops->bop_check_insert | 0,8182361455286562816 |
| PARAM_VALUE | 0 | btree->b_ops->bop_clear | 0 |
| PARAM_VALUE | 0 | btree->b_ops->bop_delete | 0,4574408115434098688,9075530915980382208 |
| PARAM_VALUE | 0 | btree->b_ops->bop_gather_data | 0,1115325138324008960,4622402160704188416 |
| PARAM_VALUE | 0 | btree->b_ops->bop_insert | 0,1991865134375956480,8573000960434597888 |
| PARAM_VALUE | 0 | btree->b_ops->bop_last_key | 0,4096-ptr_max |
| PARAM_VALUE | 0 | btree->b_ops->bop_lookup | 0,6375107677254025216,9031427338390204416 |
| PARAM_VALUE | 0 | btree->b_ops->bop_lookup_contig | 0,4096-ptr_max |
| PARAM_VALUE | 0 | btree->b_ops->bop_lookup_dirty_buffers | 0,4013520371987763200 |
| PARAM_VALUE | 0 | btree->b_ops->bop_mark | 0,3877101679213461504 |
| PARAM_VALUE | 0 | btree->b_ops->bop_propagate | 2041737880490721280,3216141150996443136,4230641165560369152 |
| PARAM_VALUE | 0 | btree->b_ops->bop_seek_key | 0,4681050067922006016,7581793648701485056 |
| PARAM_VALUE | 0 | btree->b_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | btree->b_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | btree->b_sem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | btree->b_sem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | btree->b_sem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | btree->b_u.u_data | 4096-ptr_max |
| PARAM_VALUE | 0 | btree->b_u.u_data->bn_level | 0-255 |
| PARAM_VALUE | 1 | path | 4096-ptr_max |
| PARAM_VALUE | 2 | level | 1-s32max |
| CAPPED_DATA | 0 | btree->b_nchildren_per_block | 1 |
| CAPPED_DATA | 2 | level | 1 |
| DATA_SOURCE | 0 | btree | $0 |
| DATA_SOURCE | 1 | path | $1 |
| DATA_SOURCE | 2 | level | $2 |
| DATA_SOURCE | 3 | keyp | $3 |
| DATA_SOURCE | 4 | ptrp | $4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | btree->b_last_allocated_key | 0-6442451454[c] |
| USER_DATA | 3 | *keyp | 0-6442451454[c] |
| USER_PTR | 3 | keyp | |
| LOCK2 | 0 | &btree->b_sem | |
| TYPE_LOCK | (struct nilfs_bmap)->b_sem |
fs/nilfs2/btree.c nilfs_btree_grow() -> nilfs_btree_do_insert()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | btree | 4096-ptr_max |
| PARAM_VALUE | 0 | btree->b_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | btree->b_ops->bop_assign | 791789435776786432,4732101867544551424,4788106980719075328 |
| PARAM_VALUE | 0 | btree->b_ops->bop_check_delete | 0,4808421001589497856 |
| PARAM_VALUE | 0 | btree->b_ops->bop_check_insert | 0,8182361455286562816 |
| PARAM_VALUE | 0 | btree->b_ops->bop_clear | 0 |
| PARAM_VALUE | 0 | btree->b_ops->bop_delete | 0,4574408115434098688,9075530915980382208 |
| PARAM_VALUE | 0 | btree->b_ops->bop_gather_data | 0,1115325138324008960,4622402160704188416 |
| PARAM_VALUE | 0 | btree->b_ops->bop_insert | 0,1991865134375956480,8573000960434597888 |
| PARAM_VALUE | 0 | btree->b_ops->bop_last_key | 0,4096-ptr_max |
| PARAM_VALUE | 0 | btree->b_ops->bop_lookup | 0,6375107677254025216,9031427338390204416 |
| PARAM_VALUE | 0 | btree->b_ops->bop_lookup_contig | 0,4096-ptr_max |
| PARAM_VALUE | 0 | btree->b_ops->bop_lookup_dirty_buffers | 0,4013520371987763200 |
| PARAM_VALUE | 0 | btree->b_ops->bop_mark | 0,3877101679213461504 |
| PARAM_VALUE | 0 | btree->b_ops->bop_propagate | 2041737880490721280,3216141150996443136,4230641165560369152 |
| PARAM_VALUE | 0 | btree->b_ops->bop_seek_key | 0,4681050067922006016,7581793648701485056 |
| PARAM_VALUE | 0 | btree->b_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | btree->b_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | btree->b_sem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | btree->b_sem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | btree->b_sem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | btree->b_u.u_data | 4096-ptr_max |
| PARAM_VALUE | 1 | path | 4096-ptr_max |
| PARAM_VALUE | 2 | level | 1-s32max |
| CAPPED_DATA | 0 | btree->b_nchildren_per_block | 1 |
| CAPPED_DATA | 2 | level | 1 |
| DATA_SOURCE | 0 | btree | $0 |
| DATA_SOURCE | 1 | path | $1 |
| DATA_SOURCE | 2 | level | $2 |
| DATA_SOURCE | 3 | keyp | $3 |
| DATA_SOURCE | 4 | ptrp | $4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | btree->b_last_allocated_key | 0-6442451454[c] |
| USER_DATA | 3 | *keyp | 0-6442451454[c] |
| USER_PTR | 3 | keyp | |
| LOCK2 | 0 | &btree->b_sem | |
| TYPE_LOCK | (struct nilfs_bmap)->b_sem |
fs/nilfs2/btree.c nilfs_btree_split() -> nilfs_btree_do_insert()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | btree | 4096-ptr_max |
| PARAM_VALUE | 0 | btree->b_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | btree->b_ops->bop_assign | 791789435776786432,4732101867544551424,4788106980719075328 |
| PARAM_VALUE | 0 | btree->b_ops->bop_check_delete | 0,4808421001589497856 |
| PARAM_VALUE | 0 | btree->b_ops->bop_check_insert | 0,8182361455286562816 |
| PARAM_VALUE | 0 | btree->b_ops->bop_clear | 0 |
| PARAM_VALUE | 0 | btree->b_ops->bop_delete | 0,4574408115434098688,9075530915980382208 |
| PARAM_VALUE | 0 | btree->b_ops->bop_gather_data | 0,1115325138324008960,4622402160704188416 |
| PARAM_VALUE | 0 | btree->b_ops->bop_insert | 0,1991865134375956480,8573000960434597888 |
| PARAM_VALUE | 0 | btree->b_ops->bop_last_key | 0,4096-ptr_max |
| PARAM_VALUE | 0 | btree->b_ops->bop_lookup | 0,6375107677254025216,9031427338390204416 |
| PARAM_VALUE | 0 | btree->b_ops->bop_lookup_contig | 0,4096-ptr_max |
| PARAM_VALUE | 0 | btree->b_ops->bop_lookup_dirty_buffers | 0,4013520371987763200 |
| PARAM_VALUE | 0 | btree->b_ops->bop_mark | 0,3877101679213461504 |
| PARAM_VALUE | 0 | btree->b_ops->bop_propagate | 2041737880490721280,3216141150996443136,4230641165560369152 |
| PARAM_VALUE | 0 | btree->b_ops->bop_seek_key | 0,4681050067922006016,7581793648701485056 |
| PARAM_VALUE | 0 | btree->b_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | btree->b_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | btree->b_sem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | btree->b_sem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | btree->b_sem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | btree->b_u.u_data | 4096-ptr_max |
| PARAM_VALUE | 0 | btree->b_u.u_data->bn_level | 0-255 |
| PARAM_VALUE | 1 | path | 4096-ptr_max |
| PARAM_VALUE | 2 | level | 1-s32max |
| CAPPED_DATA | 0 | btree->b_nchildren_per_block | 1 |
| CAPPED_DATA | 2 | level | 1 |
| DATA_SOURCE | 0 | btree | $0 |
| DATA_SOURCE | 1 | path | $1 |
| DATA_SOURCE | 2 | level | $2 |
| DATA_SOURCE | 3 | keyp | $3 |
| DATA_SOURCE | 4 | ptrp | $4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | btree->b_last_allocated_key | 0-6442451454[c] |
| USER_DATA | 3 | *keyp | 0-6442451454[c] |
| USER_PTR | 3 | keyp | |
| LOCK2 | 0 | &btree->b_sem | |
| TYPE_LOCK | (struct nilfs_bmap)->b_sem |
fs/nilfs2/btree.c nilfs_btree_commit_delete() -> (struct nilfs_btree_path)->bp_op()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | btree | 4096-ptr_max |
| PARAM_VALUE | 0 | btree->b_inode | 4096-ptr_max |
| PARAM_VALUE | 0 | btree->b_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | btree->b_ops->bop_assign | 791789435776786432,4732101867544551424,4788106980719075328 |
| PARAM_VALUE | 0 | btree->b_ops->bop_check_delete | 0,4808421001589497856 |
| PARAM_VALUE | 0 | btree->b_ops->bop_check_insert | 0,8182361455286562816 |
| PARAM_VALUE | 0 | btree->b_ops->bop_clear | 0 |
| PARAM_VALUE | 0 | btree->b_ops->bop_delete | 0,4574408115434098688,9075530915980382208 |
| PARAM_VALUE | 0 | btree->b_ops->bop_gather_data | 0,1115325138324008960,4622402160704188416 |
| PARAM_VALUE | 0 | btree->b_ops->bop_insert | 0,1991865134375956480,8573000960434597888 |
| PARAM_VALUE | 0 | btree->b_ops->bop_last_key | 0,4096-ptr_max |
| PARAM_VALUE | 0 | btree->b_ops->bop_lookup | 0,6375107677254025216,9031427338390204416 |
| PARAM_VALUE | 0 | btree->b_ops->bop_lookup_contig | 0,1593219384897691648,1892578043826368512 |
| PARAM_VALUE | 0 | btree->b_ops->bop_lookup_dirty_buffers | 0,4013520371987763200 |
| PARAM_VALUE | 0 | btree->b_ops->bop_mark | 0,3877101679213461504 |
| PARAM_VALUE | 0 | btree->b_ops->bop_propagate | 2041737880490721280,3216141150996443136,4230641165560369152 |
| PARAM_VALUE | 0 | btree->b_ops->bop_seek_key | 0,4681050067922006016,7581793648701485056 |
| PARAM_VALUE | 0 | btree->b_sem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | btree->b_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | btree->b_sem.first_waiter->list.next | 2212933610777083904,2624917664208203776 |
| PARAM_VALUE | 0 | btree->b_sem.first_waiter->list.prev | 2212933610777083904,2624917664208203776 |
| PARAM_VALUE | 0 | btree->b_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | btree->b_sem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | btree->b_sem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | btree->b_u.u_data | 4096-ptr_max |
| PARAM_VALUE | 0 | btree->b_u.u_data->bn_flags | 0-255 |
| PARAM_VALUE | 0 | btree->b_u.u_data->bn_level | 0-255 |
| PARAM_VALUE | 0 | btree->b_u.u_data->bn_nchildren | 0-u16max |
| PARAM_VALUE | 0 | btree->b_u.u_data->bn_pad | 0-4294967295 |
| PARAM_VALUE | 1 | path | 4096-ptr_max |
| PARAM_VALUE | 2 | level | 1-s32max |
| PARAM_VALUE | 3 | keyp | 0 |
| PARAM_VALUE | 4 | ptrp | 0 |
| CAPPED_DATA | 0 | btree->b_nchildren_per_block | 1 |
| CAPPED_DATA | 2 | level | 1 |
| DATA_SOURCE | 0 | btree | $0 |
| DATA_SOURCE | 1 | path | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &btree->b_sem | |
| TYPE_LOCK | (struct nilfs_bmap)->b_sem |
fs/nilfs2/btree.c nilfs_btree_commit_insert() -> (struct nilfs_btree_path)->bp_op()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | btree | 4096-ptr_max |
| PARAM_VALUE | 0 | btree->b_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | btree->b_ops->bop_check_insert | 0,8182361455286562816 |
| PARAM_VALUE | 0 | btree->b_ops->bop_lookup_contig | 0,4096-ptr_max |
| PARAM_VALUE | 0 | btree->b_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | btree->b_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | btree->b_sem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | btree->b_sem.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | btree->b_sem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | btree->b_sem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | btree->b_u.u_data | 4096-ptr_max |
| PARAM_VALUE | 0 | btree->b_u.u_data->bn_level | 0-255 |
| PARAM_VALUE | 1 | path | 4096-ptr_max |
| PARAM_VALUE | 2 | level | 1-s32max |
| CAPPED_DATA | 0 | btree->b_nchildren_per_block | 1 |
| CAPPED_DATA | 2 | level | 1 |
| DATA_SOURCE | 0 | btree | $0 |
| DATA_SOURCE | 1 | path | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | btree->b_last_allocated_key | 0-6442451454[c] |
| USER_DATA | 3 | *keyp | 0-6442451454[c] |
| USER_PTR | 3 | keyp | |
| LOCK2 | 0 | &btree->b_sem | |
| TYPE_LOCK | (struct nilfs_bmap)->b_sem |