| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_param_compare_limit.c | 94 const char *right_name, struct var_sym_list *right_vsl) in add_comparison_var_sym() argument
100 if (strcmp(left_name, right_name) > 0) { in add_comparison_var_sym()
104 left_name = right_name; in add_comparison_var_sym()
106 right_name = tmp_name; in add_comparison_var_sym()
110 snprintf(state_name, sizeof(state_name), "%s vs %s", left_name, right_name); in add_comparison_var_sym()
111 state = alloc_compare_state(NULL, left_name, left_vsl, comparison, NULL, right_name, right_vsl); in add_comparison_var_sym()
132 char *right_name = NULL; in __compare_param_limit_hook() local
139 right_name = expr_to_var_sym(right_expr, &right_sym); in __compare_param_limit_hook()
140 if (!right_name || !right_sym) in __compare_param_limit_hook()
154 tmp_name = get_other_name_sym(right_name, right_sym, &tmp_sym); in __compare_param_limit_hook()
[all …]
|
| H A D | smatch_assigned_expr.c | 65 char *right_name = NULL; in match_assignment() local
91 right_name = expr_to_var_sym(expr->right, &right_sym); in match_assignment()
92 if (!right_name || !right_sym) in match_assignment()
95 store_link(link_id, right_name, right_sym, left_name, left_sym); in match_assignment()
99 free_string(right_name); in match_assignment()
|
| H A D | check_signed_integer_overflow_check.c | 33 char *right_name; in match_condition() local
60 right_name = expr_to_str(right); in match_condition()
61 …sm_warning("signed overflow undefined. '%s %s %s'", left_name, show_special(expr->op), right_name); in match_condition()
63 free_string(right_name); in match_condition()
|
| H A D | smatch_return_to_param.c | 150 char *right_name; in store_mapping_helper() local
177 right_name = expr_to_var_sym(new, &right_sym); in store_mapping_helper()
178 if (!right_name || !right_sym) in store_mapping_helper()
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()
185 free_string(right_name); in store_mapping_helper()
|
| H A D | smatch_comparison.c | 1123 const char *right_name, struct var_sym_list *right_vsl, in update_tf_data() argument
1128 state = get_state_stree(pre_stree, link_id, right_name, vsl_to_sym(right_vsl)); in update_tf_data()
1130 …ee, left_expr, left_name, left_vsl, true_comparison, false_comparison, right_name, right_vsl, stat… in update_tf_data()
1134 …update_tf_links(pre_stree, right_expr, right_name, right_vsl, flip_comparison(true_comparison), fl… in update_tf_data()
1423 const char *right_name, struct var_sym_list *right_vsl) in add_comparison_var_sym() argument
1429 if (strcmp(left_name, right_name) > 0) { in add_comparison_var_sym()
1435 left_name = right_name; in add_comparison_var_sym()
1438 right_name = tmp_name; in add_comparison_var_sym()
1442 snprintf(state_name, sizeof(state_name), "%s vs %s", left_name, right_name); in add_comparison_var_sym()
1446 right_expr, right_name, right_vsl); in add_comparison_var_sym()
[all …]
|
| H A D | smatch_mtag.c | 128 char *left_name, *right_name; in get_mtag_return() local
148 right_name = expr_to_str(right); in get_mtag_return()
151 left_name, right_name); in get_mtag_return()
163 free_string(right_name); in get_mtag_return()
|
| H A D | smatch_struct_assignment.c | 328 char *left_name = NULL, *right_name = NULL; in copy_containter_states() local
336 right_name = expr_to_var_sym(right, &right_sym); in copy_containter_states()
337 if (!right_name || !right_sym) in copy_containter_states()
343 len = snprintf(buf, sizeof(buf), "%s(-%d)", right_name, offset); in copy_containter_states()
361 free_string(right_name); in copy_containter_states()
|
| H A D | check_signed.c | 40 char *left_name, *right_name; in match_assign() local
61 right_name = expr_to_str(expr->right); in match_assign()
63 right_name, sval_to_numstr(sval), sval_to_numstr(max), left_name); in match_assign()
|
| H A D | smatch_extra.c | 1076 char *right_name = NULL; in match_vanilla_assign() local
1098 right_name = expr_to_var_sym(right, &right_sym); in match_vanilla_assign()
1102 right_name && right_sym && in match_vanilla_assign()
1124 right_state = get_state(SMATCH_EXTRA, right_name, right_sym); in match_vanilla_assign()
1161 free_string(right_name); in match_vanilla_assign()
|
| H A D | smatch_db.c | 395 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 D | smatch.h | 1015 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 D | mtag_about.schema | 7 right_name varchar(80),
9 CONSTRAINT mtag_about_row UNIQUE (tag, file, function, line, left_name, right_name)
|