Home
last modified time | relevance | path

Searched refs:get_stree_id (Results 1 – 4 of 4) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_implied.c113 get_stree_id(sm->pool)); in print_debug_tf()
118 get_stree_id(sm->pool)); in print_debug_tf()
123 get_stree_id(sm->pool)); in print_debug_tf()
404 sm_msg("TRUE %s [stree %d]", show_sm(sm), get_stree_id(sm->pool)); in separate_pools()
409 show_sm(sm), sm->merged ? "(merged) ": "", get_stree_id(sm->pool)); in separate_pools()
413 sm_msg("FALSE %s [stree %d]", show_sm(sm), get_stree_id(sm->pool)); in separate_pools()
474 get_stree_id(sm->pool), sm->line); in sm_state_info()
482 sm->left ? get_stree_id(sm->left->pool) : -1); in sm_state_info()
487 sm->right ? get_stree_id(sm->right->pool) : -1); in sm_state_info()
H A Davl.h139 int get_stree_id(struct stree *stree);
H A Dcheck_debug.c616 sm_printf("(%d: %s->'%s')", get_stree_id(sm->left->pool), sm->left->name, sm->left->state->name); in print_left_right()
624 …sm_printf("(%d: %s->'%s')", get_stree_id(sm->right->pool), sm->right->name, sm->right->state->nam… in print_left_right()
H A Davl.c519 int get_stree_id(struct stree *stree) in get_stree_id() function