Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_slist.c812 struct stree *implied_one = NULL; in __merge_stree() local
832 implied_one = clone_stree(*to); 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()
839 clone_pool_havers_stree(&implied_one); in __merge_stree()
842 set_stree_id(&implied_one, ++__stree_id); in __merge_stree()
844 if (implied_one->base_stree) in __merge_stree()
845 set_stree_id(&implied_one->base_stree, ++__stree_id); in __merge_stree()
850 push_stree(&all_pools, implied_one); in __merge_stree()
853 avl_iter_begin(&one_iter, implied_one, FORWARD); in __merge_stree()
[all …]