Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/test_objagg.c test_hints_case() -> test_hints_case2()

Type Parameter Key Value
PARAM_VALUE 0 hints_case 1301862691308404736
PARAM_VALUE 0 hints_case->key_ids 4096-ptr_max
PARAM_VALUE 0 hints_case->key_ids_count 12
PARAM_VALUE 1 hints 4096-ptr_max
PARAM_VALUE 1 hints->ht_params.head_offset 0
PARAM_VALUE 1 hints->ht_params.key_len 4,97
PARAM_VALUE 1 hints->ht_params.key_offset 64
PARAM_VALUE 1 hints->node_count 0-s32max
PARAM_VALUE 1 hints->node_ht.key_len 0-u16max
PARAM_VALUE 1 hints->node_ht.max_elems 0-2147483646,2147483648
PARAM_VALUE 1 hints->node_ht.p.insecure_elasticity 0
PARAM_VALUE 1 hints->node_ht.p.min_size 4-u16max
PARAM_VALUE 1 hints->node_ht.rhlist 0
PARAM_VALUE 1 hints->node_ht.run_work.func 0
PARAM_VALUE 1 hints->ops->delta_check 3477336857498935296,4706346761564774400,6532610917181788160
PARAM_VALUE 1 hints->ops->delta_create 899933538010402816,4067561479529713664,7749549450181455872
PARAM_VALUE 1 hints->ops->delta_destroy 2097361578409140224,6756229003579912192,7703451181295489024
PARAM_VALUE 1 hints->ops->root_create 2646101948062932992,5355764697004888064
PARAM_VALUE 1 hints->ops->root_destroy 4401887648083247104,6486793509058199552
PARAM_VALUE 1 hints->refcount 1
PARAM_VALUE 2 objagg 4096-ptr_max
PARAM_VALUE 2 objagg->hints->node_ht.tbl->hash_rnd 0-4294967295
PARAM_VALUE 2 objagg->hints->node_ht.tbl->nest 0-4294967295
PARAM_VALUE 2 objagg->hints->node_ht.tbl->size 0-4294967295
PARAM_VALUE 2 objagg->ht_params.head_offset 0
PARAM_VALUE 2 objagg->ht_params.key_len 4
PARAM_VALUE 2 objagg->ht_params.key_offset 56
PARAM_VALUE 2 objagg->obj_count 0-s32max
PARAM_VALUE 2 objagg->obj_ht.key_len 0-u16max
PARAM_VALUE 2 objagg->obj_ht.max_elems 0-2147483646,2147483648
PARAM_VALUE 2 objagg->obj_ht.nelems.counter s32min-s32max
PARAM_VALUE 2 objagg->obj_ht.p.insecure_elasticity 0
PARAM_VALUE 2 objagg->obj_ht.p.min_size 4-u16max
PARAM_VALUE 2 objagg->obj_ht.rhlist 0
PARAM_VALUE 2 objagg->obj_ht.run_irq_work.node.a_flags.counter s32min-s32max
PARAM_VALUE 2 objagg->obj_ht.run_irq_work.node.u_flags 0-4294967295
PARAM_VALUE 2 objagg->obj_ht.run_work.func 0
PARAM_VALUE 2 objagg->obj_ht.tbl->hash_rnd 0-4294967295
PARAM_VALUE 2 objagg->obj_ht.tbl->nest 0-4294967295
PARAM_VALUE 2 objagg->obj_ht.tbl->size 0-4294967295
PARAM_VALUE 2 objagg->ops 513021901943496704
PARAM_VALUE 2 objagg->ops->delta_check 6532610917181788160
PARAM_VALUE 2 objagg->ops->delta_create 899933538010402816
PARAM_VALUE 2 objagg->ops->delta_destroy 7703451181295489024
PARAM_VALUE 2 objagg->ops->obj_size 4,97
PARAM_VALUE 2 objagg->ops->root_create 5355764697004888064
PARAM_VALUE 2 objagg->ops->root_destroy 6486793509058199552
PARAM_VALUE 2 objagg->priv 2307638881720102912
PARAM_VALUE 2 objagg->priv->delta_count 0-4294967295
PARAM_VALUE 2 objagg->priv->erp_table->erp_core->bf->lock.first_waiter->list.next 5159360019465732096
PARAM_VALUE 2 objagg->priv->erp_table->erp_core->bf->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 2 objagg->priv->erp_table->erp_core->bf->lock.first_waiter->list.prev->prev 0,5159360019465732096
PARAM_VALUE 2 objagg->priv->erp_table->erp_core->bf->lock.first_waiter->magic 5159360019465732096
PARAM_VALUE 2 objagg->priv->erp_table->erp_core->bf->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 2 objagg->priv->erp_table->erp_core->bf->lock.first_waiter->task->blocked_on 0
PARAM_VALUE 2 objagg->priv->erp_table->erp_core->bf->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 2 objagg->priv->erp_table->erp_core->bf->lock.osq.tail.counter 0-s32max
PARAM_VALUE 2 objagg->priv->erp_table->num_max_atcam_erps 0-4294967295
PARAM_VALUE 2 objagg->priv->erp_table->ops->erp_create 903527341939081216,5503620461547425792,9058474647357362176
PARAM_VALUE 2 objagg->priv->erp_table->ops->erp_destroy 765168036540801024,1826839957231652864,4065485671434936320,6447157295124811776
PARAM_VALUE 2 objagg->root_ida.xa.xa_flags 33554437
PARAM_VALUE 2 objagg->root_ida.xa.xa_head 0
PARAM_VALUE 2 *objagg->priv->erp_table->erp_core->bf->lock.first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
BUF_SIZE 1 hints 488
BUF_SIZE 1 hints 488
BUF_SIZE 2 objagg 584
BUF_SIZE 2 objagg 584
CAPPED_DATA 0 hints_case->expect_stats.info_count 1
CAPPED_DATA 1 hints->node_count 1
CAPPED_DATA 1 hints->node_ht.tbl 1
CAPPED_DATA 2 objagg->obj_count 1
DATA_SOURCE 0 hints_case $0
DATA_SOURCE 1 hints r objagg_hints_get
DATA_SOURCE 2 objagg r objagg_create
NO_OVERFLOW_SIMPLE 1 hints->node_ht.tbl->size
NO_OVERFLOW_SIMPLE 2 objagg->obj_ht.tbl->size