Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_states.c602 void __set_true_false_sm(struct sm_state *true_sm, struct sm_state *false_sm) in __set_true_false_sm() argument
608 if (!true_sm && !false_sm) in __set_true_false_sm()
614 owner = true_sm ? true_sm->owner : false_sm->owner; in __set_true_false_sm()
615 name = true_sm ? true_sm->name : false_sm->name; in __set_true_false_sm()
616 sym = true_sm ? true_sm->sym : false_sm->sym; in __set_true_false_sm()
623 show_state(true_sm ? true_sm->state : NULL), in __set_true_false_sm()
632 if (true_sm) in __set_true_false_sm()
633 overwrite_sm_state_stree_stack(&cond_true_stack, true_sm); in __set_true_false_sm()
H A Dsmatch_implied.c144 struct sm_state *true_sm, *false_sm; in create_fake_history() local
181 true_sm = clone_sm(sm); in create_fake_history()
184 true_sm->state = clone_partial_estate(sm->state, true_rl); in create_fake_history()
185 free_slist(&true_sm->possible); in create_fake_history()
186 add_possible_sm(true_sm, true_sm); in create_fake_history()
194 overwrite_sm_state_stree(&true_stree, true_sm); in create_fake_history()
197 true_sm->pool = true_stree; in create_fake_history()
201 sm->left = true_sm; in create_fake_history()
823 struct sm_state *sm, *true_sm, *false_sm; in handled_by_comparison_hook() local
837 true_sm = get_sm_state_stree(*implied_true, sm->owner, sm->name, sm->sym); in handled_by_comparison_hook()
[all …]
H A Dsmatch_comparison.c2671 struct sm_state *true_sm, *false_sm; in create_fake_history() local
2684 true_sm = clone_partial_sm(sm, true_comparison); in create_fake_history()
2688 sm->left = true_sm; in create_fake_history()
2691 add_ptr_list(true_stack, true_sm); in create_fake_history()