Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_implied.c144 struct sm_state *true_sm, *false_sm; in create_fake_history() local
182 false_sm = clone_sm(sm); in create_fake_history()
187 false_sm->state = clone_partial_estate(sm->state, false_rl); in create_fake_history()
188 free_slist(&false_sm->possible); in create_fake_history()
189 add_possible_sm(false_sm, false_sm); in create_fake_history()
195 overwrite_sm_state_stree(&false_stree, false_sm); in create_fake_history()
198 false_sm->pool = false_stree; in create_fake_history()
202 sm->right = false_sm; in create_fake_history()
823 struct sm_state *sm, *true_sm, *false_sm; in handled_by_comparison_hook() local
838 false_sm = get_sm_state_stree(*implied_false, sm->owner, sm->name, sm->sym); in handled_by_comparison_hook()
[all …]
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()
624 show_state(false_sm ? false_sm->state : NULL)); in __set_true_false_sm()
634 if (false_sm) in __set_true_false_sm()
635 overwrite_sm_state_stree_stack(&cond_false_stack, false_sm); in __set_true_false_sm()
H A Dsmatch_comparison.c2671 struct sm_state *true_sm, *false_sm; in create_fake_history() local
2685 false_sm = clone_partial_sm(sm, false_comparison); in create_fake_history()
2689 sm->right = false_sm; in create_fake_history()
2692 add_ptr_list(false_stack, false_sm); in create_fake_history()