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.c88 data->right_vsl = clone_var_sym_list(right_vsl); in alloc_compare_state()
1053 right_vsl = data->right_vsl; in update_tf_links()
1081 right_vsl = tmp_vsl; in update_tf_links()
1319 left_vsl = right_vsl; in handle_comparison()
1322 right_vsl = tmp_vsl; in handle_comparison()
1436 left_vsl = right_vsl; in add_comparison_var_sym()
1439 right_vsl = tmp_vsl; in add_comparison_var_sym()
1489 right_vsl = tmp_vsl; in add_comparison()
2191 right_vsl = NULL; in match_call_info()
2195 right_vsl = data->right_vsl; in match_call_info()
[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()