Home
last modified time | relevance | path

Searched refs:left_sym (Results 1 – 12 of 12) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
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()
192 struct symbol *left_sym; 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()
211 left_sym = expr_to_sym(call->fn); in __add_return_to_param_mapping()
212 if (!left_sym) in __add_return_to_param_mapping()
218 store_mapping_helper(left_name, left_sym, call, return_string); in __add_return_to_param_mapping()
H A Dsmatch_param_compare_limit.c134 struct symbol *left_sym, *right_sym, *tmp_sym; in __compare_param_limit_hook() local
136 left_name = expr_to_var_sym(left_expr, &left_sym); in __compare_param_limit_hook()
137 if (!left_name || !left_sym) in __compare_param_limit_hook()
143 if (get_param_num_from_sym(left_sym) < 0 || in __compare_param_limit_hook()
147 tmp_name = get_other_name_sym(left_name, left_sym, &tmp_sym); in __compare_param_limit_hook()
151 left_sym = tmp_sym; in __compare_param_limit_hook()
161 if (param_was_set_var_sym(left_name, left_sym)) in __compare_param_limit_hook()
167 save_link_var_sym(left_name, left_sym, state_name); in __compare_param_limit_hook()
310 struct symbol *left_sym; in db_return_comparison() local
334 left_name = get_variable_from_key(left_arg, key, &left_sym); in db_return_comparison()
[all …]
H A Dcheck_allocation_funcs.c44 struct symbol *left_sym; 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()
49 if (left_sym->ctype.modifiers & in match_allocation()
52 add_tracker(&allocated, my_id, left_name, left_sym); in match_allocation()
H A Dsmatch_assigned_expr.c63 struct symbol *left_sym, *right_sym; 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()
H A Dsmatch_equiv.c201 struct symbol *left_sym; 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()
226 left_sm->sym = left_sym; 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()
H A Dcheck_wine_filehandles.c57 struct symbol *left_sym; 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()
H A Dcheck_arm64_tagged.c31 struct symbol *left_sym; 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()
H A Dsmatch_comparison.c1263 struct symbol *left_sym, *right_sym; in handle_comparison() local
1298 left = chunk_to_var_sym(left_expr, &left_sym); in handle_comparison()
1301 if (left_sym) in handle_comparison()
1302 add_var_sym(&left_vsl, left, left_sym); in handle_comparison()
1462 struct symbol *left_sym, *right_sym; in add_comparison() local
1467 left_name = chunk_to_var_sym(left, &left_sym); in add_comparison()
1478 struct symbol *tmp_sym = left_sym; in add_comparison()
1484 left_sym = right_sym; in add_comparison()
1591 struct symbol *left_sym, *right_sym; in copy_comparisons() local
1601 left_var = chunk_to_var_sym(left, &left_sym); in copy_comparisons()
[all …]
H A Dsmatch_struct_assignment.c329 struct symbol *left_sym, *right_sym; 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()
355 new_sm->sym = left_sym; in copy_containter_states()
H A Dsmatch_mtag.c129 struct symbol *left_sym; 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()
H A Dsmatch_math.c300 struct symbol *left_sym, *right_sym; in handle_offset_subtraction() local
318 left_sym = expr_to_sym(left); in handle_offset_subtraction()
320 if (!left_sym || left_sym != right_sym) in handle_offset_subtraction()
H A Dsmatch_implied.c1022 struct symbol *left_sym = NULL; in param_limit_implications() local
1063 left_name = expr_to_var_sym(orig_expr->left, &left_sym); in param_limit_implications()