Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_implied.c147 if (is_merged(sm) || sm->left || sm->right) in create_fake_history()
314 if (mixed && !*mixed && !is_merged(sm) && !istrue && !isfalse) { in do_compare()
434 if (is_merged(tmp)) in sm_in_keep_leafs()
534 if (!is_merged(sm) || pool_in_pools(sm->pool, keep_stack) || sm_in_keep_leafs(sm, keep_stack)) { in filter_pools()
536 is_merged(sm) ? "merged" : "not merged", in filter_pools()
645 if (!is_merged(sm)) { in separate_and_filter()
707 if (is_merged(sm)) in is_merged_expr()
H A Dsmatch_slist.h31 int is_merged(struct sm_state *sm);
H A Dsmatch_slist.c399 int is_merged(struct sm_state *sm) in is_merged() function
H A Dsmatch_comparison.c2678 if (is_merged(sm) || sm->left || sm->right) in create_fake_history()
2724 if (!is_true && !is_false && !is_merged(sm)) { in filter_by_sm()
H A Dsmatch_db.c1975 if (is_merged(tmp)) in find_bool_param()