Searched refs:overwrite_sm_state_stree (Results 1 – 6 of 6) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_implied.c | 194 overwrite_sm_state_stree(&true_stree, true_sm); in create_fake_history()
195 overwrite_sm_state_stree(&false_stree, false_sm); in create_fake_history()
931 overwrite_sm_state_stree(&extra_saved_implied_true, sm); in separate_implication_states()
939 overwrite_sm_state_stree(&extra_saved_implied_false, sm); in separate_implication_states()
1074 overwrite_sm_state_stree(implied, tmp); in param_limit_implications()
|
| H A D | smatch_slist.h | 46 void overwrite_sm_state_stree(struct stree **stree, struct sm_state *sm);
|
| H A D | smatch_slist.c | 549 void overwrite_sm_state_stree(struct stree **stree, struct sm_state *new) in overwrite_sm_state_stree() function
560 overwrite_sm_state_stree(&stree, sm); in overwrite_sm_state_stree_stack()
586 overwrite_sm_state_stree(stree, sm); in set_state_stree_perm()
1088 overwrite_sm_state_stree(to, tmp); in overwrite_stree()
|
| H A D | smatch_conditions.c | 582 overwrite_sm_state_stree(&true_stree, sm); in __handle_condition_assigns()
597 overwrite_sm_state_stree(&false_stree, sm); in __handle_condition_assigns()
|
| H A D | smatch_states.c | 288 overwrite_sm_state_stree(&cur_stree, sm); in __set_sm()
311 overwrite_sm_state_stree(&cur_stree, sm); in __set_sm_cur_stree()
995 overwrite_sm_state_stree(stree, sm); in update_stree_with_merged()
|
| H A D | smatch_comparison.c | 2661 overwrite_sm_state_stree(&stree, clone); in clone_partial_sm()
|