| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_integer_overflow.c | 36 static char *save_links(struct expression *expr, struct symbol **sym, struct var_sym_list **vsl) in save_links() argument
41 name = expr_to_chunk_sym_vsl(expr, sym, vsl); in save_links()
42 if (!name || !*vsl) { in save_links()
47 FOR_EACH_PTR(*vsl, vs) { in save_links()
60 struct var_sym_list *vsl; in match_divide() local
89 name = save_links(binop, &sym, &vsl); in match_divide()
102 struct var_sym_list *vsl; in match_overflow_to_less_than() local
124 name = save_links(left, &sym, &vsl); in match_overflow_to_less_than()
225 struct var_sym_list *vsl = _vsl; in check_links() local
232 FOR_EACH_PTR(vsl, vs) { in check_links()
|
| H A D | smatch_helper.c | 561 char *expr_to_chunk_helper(struct expression *expr, struct symbol **sym, struct var_sym_list **vsl) in expr_to_chunk_helper() argument
568 if (vsl) in expr_to_chunk_helper()
569 *vsl = NULL; in expr_to_chunk_helper()
581 if (vsl) in expr_to_chunk_helper()
582 add_var_sym(vsl, name, tmp); in expr_to_chunk_helper()
592 if (vsl) { in expr_to_chunk_helper()
593 *vsl = tmp_vsl; in expr_to_chunk_helper()
594 if (!*vsl) in expr_to_chunk_helper()
616 char *expr_to_chunk_sym_vsl(struct expression *expr, struct symbol **sym, struct var_sym_list **vsl) in expr_to_chunk_sym_vsl() argument
618 return expr_to_chunk_helper(expr, sym, vsl); in expr_to_chunk_sym_vsl()
|
| H A D | smatch_extra.c | 393 struct var_sym_list *vsl; in set_extra_array_mod() local
400 name = expr_to_chunk_sym_vsl(expr, &sym, &vsl); in set_extra_array_mod()
401 if (!name || !vsl) { in set_extra_array_mod()
406 FOR_EACH_PTR(vsl, vs) { in set_extra_array_mod()
469 void set_extra_nomod_vsl(const char *name, struct symbol *sym, struct var_sym_list *vsl, struct exp… in set_extra_nomod_vsl() argument
473 FOR_EACH_PTR(vsl, vs) { in set_extra_nomod_vsl()
485 struct var_sym_list *vsl; in set_extra_expr_nomod() local
490 name = expr_to_chunk_sym_vsl(expr, &sym, &vsl); in set_extra_expr_nomod()
491 if (!name || !vsl) in set_extra_expr_nomod()
493 FOR_EACH_PTR(vsl, vs) { in set_extra_expr_nomod()
[all …]
|
| H A D | smatch_comparison.c | 48 static struct symbol *vsl_to_sym(struct var_sym_list *vsl) in vsl_to_sym() argument
52 if (!vsl) in vsl_to_sym()
54 if (ptr_list_size((struct ptr_list *)vsl) != 1) in vsl_to_sym()
56 vs = first_ptr_list((struct ptr_list *)vsl); in vsl_to_sym()
219 static struct range_list *get_orig_rl(struct var_sym_list *vsl) in get_orig_rl() argument
224 if (!vsl) in get_orig_rl()
226 sym = vsl_to_sym(vsl); in get_orig_rl()
1597 struct var_sym_list *vsl; in copy_comparisons() local
1622 vsl = data->right_vsl; in copy_comparisons()
1626 vsl = data->left_vsl; in copy_comparisons()
[all …]
|
| H A D | smatch_buf_comparison.c | 313 static char *vsl_to_data_info_name(const char *name, struct var_sym_list *vsl) in vsl_to_data_info_name() argument
320 if (ptr_list_size((struct ptr_list *)vsl) != 1) in vsl_to_data_info_name()
322 vs = first_ptr_list((struct ptr_list *)vsl); in vsl_to_data_info_name()
350 int db_var_is_array_limit(struct expression *array, const char *name, struct var_sym_list *vsl) in db_var_is_array_limit() argument
356 size_name = vsl_to_data_info_name(name, vsl); in db_var_is_array_limit()
|
| H A D | smatch_implied.c | 1095 struct var_sym_list *vsl; in __implied_case_stree() local
1102 name = expr_to_chunk_sym_vsl(switch_expr, &sym, &vsl); in __implied_case_stree()
1118 set_extra_nomod_vsl(name, sym, vsl, NULL, alloc_estate_rl(rl)); in __implied_case_stree()
|
| H A D | smatch_extra.h | 174 void set_extra_nomod_vsl(const char *name, struct symbol *sym, struct var_sym_list *vsl, struct exp…
|
| H A D | smatch.h | 402 char *expr_to_chunk_sym_vsl(struct expression *expr, struct symbol **sym, struct var_sym_list **vsl…
913 …_chunk_from_key(struct expression *arg, char *key, struct symbol **sym, struct var_sym_list **vsl);
1261 int db_var_is_array_limit(struct expression *array, const char *name, struct var_sym_list *vsl);
|
| H A D | smatch_db.c | 2683 …t_chunk_from_key(struct expression *arg, char *key, struct symbol **sym, struct var_sym_list **vsl) in get_chunk_from_key() argument
2685 *vsl = NULL; in get_chunk_from_key()
2688 return expr_to_chunk_sym_vsl(arg, sym, vsl); in get_chunk_from_key()
|