Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_slist.c813 struct stree *implied_two = NULL; in __merge_stree() local
833 implied_two = clone_stree(stree); in __merge_stree()
835 match_states_stree(&implied_one, &implied_two); in __merge_stree()
836 call_pre_merge_hooks(&implied_one, &implied_two); in __merge_stree()
840 clone_pool_havers_stree(&implied_two); in __merge_stree()
843 set_stree_id(&implied_two, ++__stree_id); in __merge_stree()
846 if (implied_two->base_stree) in __merge_stree()
847 set_stree_id(&implied_two->base_stree, ++__stree_id); in __merge_stree()
851 push_stree(&all_pools, implied_two); in __merge_stree()
854 avl_iter_begin(&two_iter, implied_two, FORWARD); in __merge_stree()
[all …]