Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_comparison.c48 static struct symbol *vsl_to_sym(struct var_sym_list *vsl) in vsl_to_sym() function
226 sym = vsl_to_sym(vsl); in get_orig_rl()
249 else if (!get_implied_rl_var_sym(data->left_var, vsl_to_sym(data->left_vsl), &left_rl)) in unmatched_comparison()
254 else if (!get_implied_rl_var_sym(data->right_var, vsl_to_sym(data->right_vsl), &right_rl)) in unmatched_comparison()
1112 if (!vsl_to_sym(left_vsl)) in update_tf_links()
1114 if (!vsl_to_sym(right_vsl)) in update_tf_links()
1128 state = get_state_stree(pre_stree, link_id, right_name, vsl_to_sym(right_vsl)); in update_tf_data()
1132 state = get_state_stree(pre_stree, link_id, left_name, vsl_to_sym(left_vsl)); in update_tf_data()