Home
last modified time | relevance | path

Searched refs:left_name (Results 1 – 17 of 17) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_param_compare_limit.c100 if (strcmp(left_name, right_name) > 0) { in add_comparison_var_sym()
101 const char *tmp_name = left_name; in add_comparison_var_sym()
104 left_name = right_name; in add_comparison_var_sym()
131 char *left_name = NULL; in __compare_param_limit_hook() local
137 if (!left_name || !left_sym) in __compare_param_limit_hook()
149 free_string(left_name); in __compare_param_limit_hook()
150 left_name = tmp_name; in __compare_param_limit_hook()
170 free_string(left_name); in __compare_param_limit_hook()
309 char *left_name = NULL; in db_return_comparison() local
335 if (!left_name || !left_sym) in db_return_comparison()
[all …]
H A Dsmatch_return_to_param.c144 static void store_mapping_helper(char *left_name, struct symbol *left_sym, struct expression *call,… in store_mapping_helper() argument
181 set_state(my_id, left_name, left_sym, alloc_my_state(right_name, right_sym)); in store_mapping_helper()
182 store_link(link_id, right_name, right_sym, left_name, left_sym); in store_mapping_helper()
191 char *left_name = NULL; in __add_return_to_param_mapping() local
195 left_name = expr_to_var_sym(expr->left, &left_sym); in __add_return_to_param_mapping()
196 if (!left_name || !left_sym) in __add_return_to_param_mapping()
203 store_mapping_helper(left_name, left_sym, call, return_string); in __add_return_to_param_mapping()
214 left_name = expr_to_str(call); in __add_return_to_param_mapping()
215 if (!left_name) in __add_return_to_param_mapping()
218 store_mapping_helper(left_name, left_sym, call, return_string); in __add_return_to_param_mapping()
[all …]
H A Dcheck_allocation_funcs.c43 char *left_name; in match_allocation() local
46 left_name = expr_to_var_sym(expr->left, &left_sym); in match_allocation()
47 if (!left_name || !left_sym) in match_allocation()
52 add_tracker(&allocated, my_id, left_name, left_sym); in match_allocation()
54 free_string(left_name); in match_allocation()
H A Dsmatch_assigned_expr.c64 char *left_name = NULL; in match_assignment() local
86 left_name = expr_to_var_sym(expr->left, &left_sym); in match_assignment()
87 if (!left_name || !left_sym) in match_assignment()
89 set_state(my_id, left_name, left_sym, alloc_state_expr(strip_expr(expr->right))); in match_assignment()
95 store_link(link_id, right_name, right_sym, left_name, left_sym); in match_assignment()
98 free_string(left_name); in match_assignment()
H A Dcheck_wine_filehandles.c56 char *left_name = NULL; in match_returns_handle() local
59 left_name = expr_to_var_sym(expr->left, &left_sym); in match_returns_handle()
60 if (!left_name || !left_sym) in match_returns_handle()
64 free_string(left_name); in match_returns_handle()
H A Dsmatch_equiv.c200 char *left_name; in set_equiv() local
206 left_name = expr_to_var_sym(left, &left_sym); in set_equiv()
207 if (!left_name || !left_sym) in set_equiv()
210 other_name = get_other_name_sym(left_name, left_sym, &other_sym); in set_equiv()
225 left_sm->name = alloc_string(left_name); in set_equiv()
229 set_extra_mod_helper(left_name, left_sym, left, left_sm->state); in set_equiv()
243 add_related(&rlist, left_name, left_sym); in set_equiv()
259 free_string(left_name); in set_equiv()
H A Dcheck_signed.c40 char *left_name, *right_name; in match_assign() local
60 left_name = expr_to_str(expr->left); in match_assign()
63 right_name, sval_to_numstr(sval), sval_to_numstr(max), left_name); in match_assign()
64 free_string(left_name); in match_assign()
76 left_name = expr_to_str(expr->left); in match_assign()
79 sval_to_str(sval), left_name); in match_assign()
82 sval_to_str(sval), sval_to_str(min), left_name); in match_assign()
84 free_string(left_name); in match_assign()
H A Dcheck_signed_integer_overflow_check.c34 char *left_name; in match_condition() local
59 left_name = expr_to_str(left); in match_condition()
61 …sm_warning("signed overflow undefined. '%s %s %s'", left_name, show_special(expr->op), right_name); in match_condition()
62 free_string(left_name); in match_condition()
H A Dcheck_arm64_tagged.c30 char *left_name; in match_assign() local
33 left_name = expr_to_var_sym(expr->left, &left_sym); in match_assign()
34 if (!left_name || !left_sym) in match_assign()
44 insert_symbol(symbols, left_name, left_name); in match_assign()
H A Dsmatch_mtag.c113 const char *left_name, const char *tag_info, in update_mtag_info() argument
118 sql_insert_mtag_about(tag, left_name, tag_info); in update_mtag_info()
128 char *left_name, *right_name; in get_mtag_return() local
145 left_name = expr_to_str_sym(left, &left_sym); in get_mtag_return()
146 if (!left_name || !left_sym) in get_mtag_return()
151 left_name, right_name); in get_mtag_return()
160 update_mtag_info(expr, tag, left_name, buf, state); in get_mtag_return()
162 free_string(left_name); in get_mtag_return()
H A Dsmatch_param_set.c50 char *left_name; in parent_is_set() local
74 left_name = expr_to_var(faked->left); in parent_is_set()
75 if (!left_name) in parent_is_set()
78 len = strlen(left_name); in parent_is_set()
79 if (strncmp(name, left_name, len) == 0 && name[len] == '-') in parent_is_set()
81 free_string(left_name); in parent_is_set()
H A Dsmatch_comparison.c1435 left_name = right_name; in add_comparison_var_sym()
1460 char *left_name = NULL; in add_comparison() local
1468 if (!left_name) in add_comparison()
1479 char *tmp_name = left_name; in add_comparison()
1483 left_name = right_name; in add_comparison()
1494 left, left_name, left_vsl, in add_comparison()
1503 free_string(left_name); in add_comparison()
2456 char *left_name = NULL; in db_return_comparison() local
2506 free_string(left_name); in db_return_comparison()
2513 char *left_name = NULL; in param_compare_limit_is_impossible() local
[all …]
H A Dsmatch_struct_assignment.c328 char *left_name = NULL, *right_name = NULL; in copy_containter_states() local
339 left_name = expr_to_var_sym(left, &left_sym); in copy_containter_states()
340 if (!left_name || !left_sym) in copy_containter_states()
352 snprintf(new_name, sizeof(new_name), "%s%s", left_name, sm->name + len); in copy_containter_states()
360 free_string(left_name); in copy_containter_states()
H A Dsmatch_implied.c1021 char *left_name = NULL; in param_limit_implications() local
1063 left_name = expr_to_var_sym(orig_expr->left, &left_sym); in param_limit_implications()
1073 (!left_name || strcmp(left_name, name) != 0)) { in param_limit_implications()
H A Dsmatch_db.c395 void sql_insert_mtag_about(mtag_t tag, const char *left_name, const char *right_name) in sql_insert_mtag_about() argument
399 left_name, right_name); in sql_insert_mtag_about()
H A Dsmatch.h1015 void sql_insert_mtag_about(mtag_t tag, const char *left_name, const char *right_name);
/illumos-gate/usr/src/tools/smatch/src/smatch_data/db/
H A Dmtag_about.schema6 left_name varchar(80),
9 CONSTRAINT mtag_about_row UNIQUE (tag, file, function, line, left_name, right_name)