Searched refs:right_var (Results 1 – 4 of 4) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_comparison.c | 74 const char *right_var, struct var_sym_list *right_vsl) in alloc_compare_state() argument 87 data->right_var = alloc_sname(right_var); in alloc_compare_state() 252 if (strstr(data->right_var, " orig")) 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() 705 data->right, data->right_var, data->right_vsl); in match_inc() 713 data->right, data->right_var, data->right_vsl); in match_inc() 720 data->right, data->right_var, data->right_vsl); in match_inc() [all …]
|
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() 112 equal_name = comp->right_var; in array_check_data_info() 115 } else if (strcmp(comp->right_var, offset_name) == 0) { in array_check_data_info()
|
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() 448 equal_name = comp->right_var; in array_check_data_info() 451 } else if (strcmp(comp->right_var, offset_name) == 0) { in array_check_data_info()
|
H A D | smatch.h | 1108 const char *right_var; member 1117 const char *right_var, struct var_sym_list *right_vsl);
|