Searched refs:right_vsl (Results 1 – 5 of 5) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_comparison.c | 88 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 D | smatch_param_compare_limit.c | 94 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 D | check_off_by_one_relative.c | 111 if (db_var_is_array_limit(array, comp->right_var, comp->right_vsl)) { in array_check_data_info()
|
H A D | smatch.h | 1109 struct var_sym_list *right_vsl; member 1117 const char *right_var, struct var_sym_list *right_vsl);
|
H A D | smatch_buf_comparison.c | 447 if (db_var_is_array_limit(array, comp->right_var, comp->right_vsl)) { in array_check_data_info()
|