Home
last modified time | relevance | path

Searched refs:left_var (Results 1 – 4 of 4) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_comparison.c71 const char *left_var, struct var_sym_list *left_vsl, in alloc_compare_state() argument
83 data->left_var = alloc_sname(left_var); in alloc_compare_state()
247 if (strstr(data->left_var, " orig")) in unmatched_comparison()
249 else if (!get_implied_rl_var_sym(data->left_var, vsl_to_sym(data->left_vsl), &left_rl)) in unmatched_comparison()
260 return alloc_compare_state(data->left, data->left_var, data->left_vsl, in unmatched_comparison()
562 alloc_compare_state(data->left, data->left_var, data->left_vsl, in pre_merge_hook()
577 data->left, data->left_var, data->left_vsl, in merge_compare_states()
703 data->left, data->left_var, data->left_vsl, in match_inc()
711 data->left, data->left_var, data->left_vsl, in match_inc()
718 data->left, data->left_var, data->left_vsl, in match_inc()
[all …]
H A Dcheck_off_by_one_relative.c110 if (strcmp(comp->left_var, offset_name) == 0) { in array_check_data_info()
116 if (db_var_is_array_limit(array, comp->left_var, comp->left_vsl)) { in array_check_data_info()
117 equal_name = comp->left_var; in array_check_data_info()
H A Dsmatch_buf_comparison.c446 if (strcmp(comp->left_var, offset_name) == 0) { in array_check_data_info()
452 if (db_var_is_array_limit(array, comp->left_var, comp->left_vsl)) { in array_check_data_info()
453 equal_name = comp->left_var; in array_check_data_info()
H A Dsmatch.h1104 const char *left_var; member
1114 const char *left_var, struct var_sym_list *left_vsl,