Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/objagg.c objagg_tmp_graph_edge_set() -> objagg_tmp_graph_edge_index()

Type Parameter Key Value
PARAM_VALUE 0 graph 4096-ptr_max
PARAM_VALUE 0 graph->nodes_count 0-u32max
PARAM_VALUE 1 parent_index 0-s32max
PARAM_VALUE 2 index 0-s32max
BUF_SIZE 0 graph 24
BUF_SIZE 0 graph->nodes 0-s32max
CAPPED_DATA 1 parent_index 1
CAPPED_DATA 2 index 1
DATA_SOURCE 0 graph $0
DATA_SOURCE 1 parent_index $2
DATA_SOURCE 2 index $1
FUZZY_MAX 1 parent_index 0
FUZZY_MAX 2 index 0
MEM_ZERO 0 graph->edges
NO_OVERFLOW_SIMPLE 0 graph->nodes_count
NO_OVERFLOW_SIMPLE 1 parent_index
NO_OVERFLOW_SIMPLE 2 index
UNITS 1 parent_index unit_array_size
UNITS 2 index unit_array_size
HALF_LOCKED2 &erp_table->objagg_lock
HALF_LOCKED2 &vregion->lock

lib/objagg.c objagg_tmp_graph_is_edge() -> objagg_tmp_graph_edge_index()

Type Parameter Key Value
PARAM_VALUE 0 graph 4096-ptr_max
PARAM_VALUE 0 graph->nodes_count 1-u32max
BUF_SIZE 0 graph (-1),24
BUF_SIZE 0 graph (-1),24
CAPPED_DATA 0 graph->nodes_count 1
CAPPED_DATA 1 parent_index 1
CAPPED_DATA 2 index 1
DATA_SOURCE 0 graph $0
DATA_SOURCE 1 parent_index $2
DATA_SOURCE 2 index $1
NO_OVERFLOW_SIMPLE 0 graph->nodes_count
NO_OVERFLOW_SIMPLE 1 parent_index
NO_OVERFLOW_SIMPLE 2 index
UNITS 1 parent_index unit_array_size
UNITS 2 index unit_array_size
HALF_LOCKED2 &erp_table->objagg_lock
HALF_LOCKED2 &vregion->lock