usr/src/tools/smatch/src/avl.h

139

int get_stree_id(struct stree *stree);

usr/src/tools/smatch/src/check_debug.c

616

sm_printf("(%d: %s->'%s')", get_stree_id(sm->left->pool), sm->left->name, sm->left->state->name);

usr/src/tools/smatch/src/check_debug.c

624

sm_printf("(%d: %s->'%s')", get_stree_id(sm->right->pool), sm->right->name, sm->right->state->name);

usr/src/tools/smatch/src/smatch_implied.c

113

get_stree_id(sm->pool));

usr/src/tools/smatch/src/smatch_implied.c

118

get_stree_id(sm->pool));

usr/src/tools/smatch/src/smatch_implied.c

123

get_stree_id(sm->pool));

usr/src/tools/smatch/src/smatch_implied.c

404

sm_msg("TRUE %s [stree %d]", show_sm(sm), get_stree_id(sm->pool));

usr/src/tools/smatch/src/smatch_implied.c

409

show_sm(sm), sm->merged ? "(merged) ": "", get_stree_id(sm->pool));

usr/src/tools/smatch/src/smatch_implied.c

413

sm_msg("FALSE %s [stree %d]", show_sm(sm), get_stree_id(sm->pool));

usr/src/tools/smatch/src/smatch_implied.c

474

get_stree_id(sm->pool), sm->line);

usr/src/tools/smatch/src/smatch_implied.c

482

sm->left ? get_stree_id(sm->left->pool) : -1);

usr/src/tools/smatch/src/smatch_implied.c

487

sm->right ? get_stree_id(sm->right->pool) : -1);