Searched refs:pre_stree (Results 1 – 3 of 3) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_implied.c | 588 struct stree *pre_stree, in filter_stack() argument
605 FOR_EACH_SM(pre_stree, tmp) { in filter_stack()
629 struct stree *pre_stree, in separate_and_filter() argument
653 *true_states = filter_stack(sm, pre_stree, false_stack, true_stack); in separate_and_filter()
655 *false_states = filter_stack(sm, pre_stree, true_stack, false_stack); in separate_and_filter()
826 struct stree *pre_stree; in handled_by_comparison_hook() local
832 pre_stree = clone_stree(__get_cur_stree()); in handled_by_comparison_hook()
834 *implied_true = filter_stack(sm, pre_stree, false_stack, true_stack); in handled_by_comparison_hook()
835 *implied_false = filter_stack(sm, pre_stree, true_stack, false_stack); in handled_by_comparison_hook()
844 free_stree(&pre_stree); in handled_by_comparison_hook()
[all …]
|
| H A D | smatch_comparison.c | 977 static int get_orig_comparison(struct stree *pre_stree, const char *left, const char *right) in get_orig_comparison() argument
993 state = get_state_stree(pre_stree, comparison_id, state_name, NULL); in get_orig_comparison()
1024 static void update_tf_links(struct stree *pre_stree, in update_tf_links() argument
1046 state = get_state_stree(pre_stree, comparison_id, tmp, NULL); in update_tf_links()
1063 orig_comparison = get_orig_comparison(pre_stree, left_var, right_var); in update_tf_links()
1119 static void update_tf_data(struct stree *pre_stree, in update_tf_data() argument
1128 state = get_state_stree(pre_stree, link_id, right_name, vsl_to_sym(right_vsl)); in update_tf_data()
1130 …update_tf_links(pre_stree, left_expr, left_name, left_vsl, true_comparison, false_comparison, righ… in update_tf_data()
1132 state = get_state_stree(pre_stree, link_id, left_name, vsl_to_sym(left_vsl)); in update_tf_data()
1134 …update_tf_links(pre_stree, right_expr, right_name, right_vsl, flip_comparison(true_comparison), fl… in update_tf_data()
[all …]
|
| H A D | smatch_slist.c | 1039 struct stree *pre_stree; in or_stree_stack() local
1046 pre_stree = pop_stree(pre_conds); in or_stree_stack()
1047 push_stree(pre_conds, clone_stree(pre_stree)); in or_stree_stack()
1049 res = clone_stree(pre_stree); in or_stree_stack()
1056 filter_stree(&res, pre_stree); in or_stree_stack()
1060 free_stree(&pre_stree); in or_stree_stack()
|