Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/xfs/libxfs/xfs_da_btree.c xfs_da3_node_split() -> xfs_da3_node_add()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->altpath.blk 4096-ptr_max
PARAM_VALUE 0 state->args 4096-ptr_max
PARAM_VALUE 0 state->args->dp 4096-ptr_max
PARAM_VALUE 0 state->args->geo 4096-ptr_max
PARAM_VALUE 0 state->extrablk.bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 state->mp 4096-ptr_max
PARAM_VALUE 0 state->mp->m_errortag 4096-ptr_max
PARAM_VALUE 0 state->path.blk 4096-ptr_max
PARAM_VALUE 1 oldblk 4096-ptr_max
PARAM_VALUE 1 oldblk->bp 4096-ptr_max
PARAM_VALUE 1 oldblk->index s32min-65536
PARAM_VALUE 1 oldblk->magic 65214
PARAM_VALUE 2 newblk 4096-ptr_max
CAPPED_DATA 0 state->args->geo->node_ents 1
DATA_SOURCE 0 state $0
DATA_SOURCE 1 oldblk $1
DATA_SOURCE 2 newblk $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 state->args->geo->fsbcount
NO_OVERFLOW_SIMPLE 0 state->args->rmtvaluelen
NO_OVERFLOW_SIMPLE 0 state->extrablk.bp->b_map_count

fs/xfs/libxfs/xfs_da_btree.c xfs_da3_node_split() -> xfs_da3_node_add()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->altpath.blk 4096-ptr_max
PARAM_VALUE 0 state->args 4096-ptr_max
PARAM_VALUE 0 state->args->dp 4096-ptr_max
PARAM_VALUE 0 state->args->geo 4096-ptr_max
PARAM_VALUE 0 state->args->trans 4096-ptr_max
PARAM_VALUE 0 state->args->whichfork 1
PARAM_VALUE 0 state->extrablk.bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 state->extravalid 1-255
PARAM_VALUE 0 state->mp 4096-ptr_max
PARAM_VALUE 0 state->mp->m_errortag 4096-ptr_max
PARAM_VALUE 0 state->path.blk 4096-ptr_max
PARAM_VALUE 1 oldblk 4096-ptr_max
PARAM_VALUE 1 oldblk->bp 4096-ptr_max
PARAM_VALUE 1 oldblk->bp->b_addr 4096-ptr_max
PARAM_VALUE 1 oldblk->bp->b_addr->hdr.__count 0-u16max
PARAM_VALUE 1 oldblk->bp->b_addr->hdr.__level 0-u16max
PARAM_VALUE 1 oldblk->bp->b_addr->hdr.info.back 0-4294967295
PARAM_VALUE 1 oldblk->bp->b_addr->hdr.info.forw 0-4294967295
PARAM_VALUE 1 oldblk->bp->b_addr->hdr.info.hdr.back 0-4294967295
PARAM_VALUE 1 oldblk->bp->b_addr->hdr.info.hdr.forw 0-4294967295
PARAM_VALUE 1 oldblk->bp->b_addr->hdr.info.hdr.magic 0-u16max
PARAM_VALUE 1 oldblk->bp->b_addr->hdr.info.magic 0-u16max
PARAM_VALUE 1 oldblk->bp->b_flags 0,32-u32max
PARAM_VALUE 1 oldblk->bp->b_log_item 4096-ptr_max
PARAM_VALUE 1 oldblk->bp->b_log_item->bli_flags 0,2-u32max
PARAM_VALUE 1 oldblk->index s32min-65537
PARAM_VALUE 1 oldblk->magic 65214
PARAM_VALUE 2 newblk 4096-ptr_max
CAPPED_DATA 0 state->args->geo->node_ents 1
CAPPED_DATA 1 oldblk->bp->b_log_item->bli_format_count 1
DATA_SOURCE 0 state $0
DATA_SOURCE 1 oldblk $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 state->args->geo->fsbcount
NO_OVERFLOW_SIMPLE 0 state->args->rmtvaluelen
NO_OVERFLOW_SIMPLE 0 state->extrablk.bp->b_map_count

fs/xfs/libxfs/xfs_da_btree.c xfs_da3_node_split() -> xfs_da3_node_add()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->altpath.blk 4096-ptr_max
PARAM_VALUE 0 state->args 4096-ptr_max
PARAM_VALUE 0 state->args->dp 4096-ptr_max
PARAM_VALUE 0 state->args->geo 4096-ptr_max
PARAM_VALUE 0 state->extrablk.bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 state->mp 4096-ptr_max
PARAM_VALUE 0 state->mp->m_errortag 4096-ptr_max
PARAM_VALUE 0 state->path.blk 4096-ptr_max
PARAM_VALUE 1 oldblk 4096-ptr_max
PARAM_VALUE 2 newblk 4096-ptr_max
CAPPED_DATA 0 state->args->geo->node_ents 1
DATA_SOURCE 0 state $0
DATA_SOURCE 1 oldblk $2
DATA_SOURCE 2 newblk $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 state->args->geo->fsbcount
NO_OVERFLOW_SIMPLE 0 state->args->rmtvaluelen
NO_OVERFLOW_SIMPLE 0 state->extrablk.bp->b_map_count
NO_OVERFLOW_SIMPLE 1 oldblk->bp->b_map_count

fs/xfs/libxfs/xfs_da_btree.c xfs_da3_node_split() -> xfs_da3_node_add()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->altpath.blk 4096-ptr_max
PARAM_VALUE 0 state->args 4096-ptr_max
PARAM_VALUE 0 state->args->dp 4096-ptr_max
PARAM_VALUE 0 state->args->geo 4096-ptr_max
PARAM_VALUE 0 state->args->trans 4096-ptr_max
PARAM_VALUE 0 state->args->whichfork 1
PARAM_VALUE 0 state->extrablk.bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 state->extravalid 1-255
PARAM_VALUE 0 state->mp 4096-ptr_max
PARAM_VALUE 0 state->mp->m_errortag 4096-ptr_max
PARAM_VALUE 0 state->path.blk 4096-ptr_max
PARAM_VALUE 1 oldblk 4096-ptr_max
PARAM_VALUE 1 oldblk->bp 4096-ptr_max
PARAM_VALUE 1 oldblk->bp->b_addr 4096-ptr_max
PARAM_VALUE 1 oldblk->bp->b_addr->hdr.__count 0-u16max
PARAM_VALUE 1 oldblk->bp->b_addr->hdr.__level 0-u16max
PARAM_VALUE 1 oldblk->bp->b_addr->hdr.info.back 0-4294967295
PARAM_VALUE 1 oldblk->bp->b_addr->hdr.info.forw 0-4294967295
PARAM_VALUE 1 oldblk->bp->b_addr->hdr.info.hdr.back 0-4294967295
PARAM_VALUE 1 oldblk->bp->b_addr->hdr.info.hdr.forw 0-4294967295
PARAM_VALUE 1 oldblk->bp->b_addr->hdr.info.hdr.magic 0-u16max
PARAM_VALUE 1 oldblk->bp->b_addr->hdr.info.magic 0-u16max
PARAM_VALUE 1 oldblk->bp->b_flags 0,32-u32max
PARAM_VALUE 1 oldblk->bp->b_log_item 4096-ptr_max
PARAM_VALUE 1 oldblk->bp->b_log_item->bli_flags 0,2-u32max
PARAM_VALUE 2 newblk 4096-ptr_max
CAPPED_DATA 0 state->args->geo->node_ents 1
CAPPED_DATA 1 oldblk->bp->b_log_item->bli_format_count 1
DATA_SOURCE 0 state $0
DATA_SOURCE 1 oldblk $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 state->args->geo->fsbcount
NO_OVERFLOW_SIMPLE 0 state->args->rmtvaluelen
NO_OVERFLOW_SIMPLE 0 state->extrablk.bp->b_map_count
NO_OVERFLOW_SIMPLE 1 oldblk->bp->b_map_count