Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_comparison.c74 const char *right_var, struct var_sym_list *right_vsl) in alloc_compare_state() argument
88 data->right_vsl = clone_var_sym_list(right_vsl); in alloc_compare_state()
253 right_rl = get_orig_rl(data->right_vsl); 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()
262 data->right, data->right_var, data->right_vsl); in unmatched_comparison()
564 data->right, data->right_var, data->right_vsl)); in pre_merge_hook()
579 data->right, data->right_var, data->right_vsl); in merge_compare_states()
617 struct var_sym_list *right_vsl = NULL; in save_start_states() local
624 add_var_sym(&right_vsl, orig, param); in save_start_states()
628 NULL, alloc_sname(orig), right_vsl); in save_start_states()
[all …]
H A Dsmatch_param_compare_limit.c94 const char *right_name, struct var_sym_list *right_vsl) in add_comparison_var_sym() argument
105 left_vsl = right_vsl; in add_comparison_var_sym()
107 right_vsl = tmp_vsl; in add_comparison_var_sym()
111 state = alloc_compare_state(NULL, left_name, left_vsl, comparison, NULL, right_name, right_vsl); in add_comparison_var_sym()
118 FOR_EACH_PTR(right_vsl, vs) { in add_comparison_var_sym()
198 ptr_list_size((struct ptr_list *)data->right_vsl) != 1) in print_return_comparison()
201 right = first_ptr_list((struct ptr_list *)data->right_vsl); in print_return_comparison()
316 struct var_sym_list *left_vsl = NULL, *right_vsl = NULL; in db_return_comparison() local
347 add_var_sym(&right_vsl, right_name, right_sym); in db_return_comparison()
349 add_comparison_var_sym(left_name, left_vsl, op, right_name, right_vsl); in db_return_comparison()
H A Dcheck_off_by_one_relative.c111 if (db_var_is_array_limit(array, comp->right_var, comp->right_vsl)) { in array_check_data_info()
H A Dsmatch.h1109 struct var_sym_list *right_vsl; member
1117 const char *right_var, struct var_sym_list *right_vsl);
H A Dsmatch_buf_comparison.c447 if (db_var_is_array_limit(array, comp->right_var, comp->right_vsl)) { in array_check_data_info()