Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_slist.c803 int __stree_id; variable
842 set_stree_id(&implied_one, ++__stree_id); in __merge_stree()
843 set_stree_id(&implied_two, ++__stree_id); in __merge_stree()
845 set_stree_id(&implied_one->base_stree, ++__stree_id); in __merge_stree()
847 set_stree_id(&implied_two->base_stree, ++__stree_id); in __merge_stree()
H A Dsmatch_slist.h18 extern int __stree_id;
H A Dcheck_debug.c657 sm_msg("stree_id %d", __stree_id); in match_print_stree_id()
H A Dsmatch_flow.c1582 __stree_id = 0; in split_function()