Searched refs:left_vsl (Results 1 – 5 of 5) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_comparison.c | 84 data->left_vsl = clone_var_sym_list(left_vsl); in alloc_compare_state() 1078 left_vsl = right_vsl; in update_tf_links() 1112 if (!vsl_to_sym(left_vsl)) in update_tf_links() 1319 left_vsl = right_vsl; in handle_comparison() 1334 left_expr, left, left_vsl, in handle_comparison() 1338 left_expr, left, left_vsl, in handle_comparison() 1436 left_vsl = right_vsl; in add_comparison_var_sym() 1450 FOR_EACH_PTR(left_vsl, vs) { in add_comparison_var_sym() 1485 left_vsl = right_vsl; in add_comparison() 1626 vsl = data->left_vsl; in copy_comparisons() [all …]
|
H A D | smatch_param_compare_limit.c | 92 struct var_sym_list *left_vsl, in add_comparison_var_sym() argument 102 struct var_sym_list *tmp_vsl = left_vsl; in add_comparison_var_sym() 105 left_vsl = right_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() 115 FOR_EACH_PTR(left_vsl, vs) { in add_comparison_var_sym() 197 if (ptr_list_size((struct ptr_list *)data->left_vsl) != 1 || in print_return_comparison() 200 left = first_ptr_list((struct ptr_list *)data->left_vsl); in print_return_comparison() 316 struct var_sym_list *left_vsl = NULL, *right_vsl = NULL; in db_return_comparison() local 346 add_var_sym(&left_vsl, left_name, left_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 | 116 if (db_var_is_array_limit(array, comp->left_var, comp->left_vsl)) { in array_check_data_info()
|
H A D | smatch.h | 1105 struct var_sym_list *left_vsl; member 1114 const char *left_var, struct var_sym_list *left_vsl,
|
H A D | smatch_buf_comparison.c | 452 if (db_var_is_array_limit(array, comp->left_var, comp->left_vsl)) { in array_check_data_info()
|