Searched refs:false_sm (Results 1 – 3 of 3) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_implied.c | 144 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 D | smatch_states.c | 602 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 D | smatch_comparison.c | 2671 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()
|