| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | check_debug.c | 130 name = expr_to_str(arg); in match_print_known()
144 name = expr_to_str(arg); in match_print_implied()
158 name = expr_to_str(arg); in match_real_absolute()
170 name = expr_to_str(arg); in match_print_implied_min()
187 name = expr_to_str(arg); in match_print_implied_max()
208 name = expr_to_str(arg); in match_user_rl()
224 name = expr_to_str(arg); in match_capped()
236 name = expr_to_str(arg); in match_print_hard_max()
253 name = expr_to_str(arg); in match_print_fuzzy_max()
270 name = expr_to_str(arg); in match_print_absolute()
[all …]
|
| H A D | check_signed.c | 60 left_name = expr_to_str(expr->left); in match_assign()
61 right_name = expr_to_str(expr->right); in match_assign()
76 left_name = expr_to_str(expr->left); in match_assign()
115 name1 = expr_to_str(var); in cap_gt_zero_and_lt()
119 name2 = expr_to_str(right->left); in cap_gt_zero_and_lt()
163 name1 = expr_to_str(var); in cap_lt_zero_or_gt()
167 name2 = expr_to_str(right->left); in cap_lt_zero_or_gt()
224 name = expr_to_str(expr->left); in print_unsigned_never_less_than_zero()
287 char *name = expr_to_str(expr); in match_condition()
296 char *name = expr_to_str(expr); in match_condition()
|
| H A D | check_all_func_returns.c | 29 const char *func = expr_to_str(expr->fn); in check_func_return()
59 const char *arg0 = expr_to_str(get_argument_from_call_expr(expr->args, 0)); in check_func_return()
78 sm_error("unchecked function return '%s'", expr_to_str(expr->fn)); in check_func_return()
|
| H A D | check_signed_integer_overflow_check.c | 59 left_name = expr_to_str(left); in match_condition()
60 right_name = expr_to_str(right); in match_condition()
94 str = expr_to_str(expr); in match_binop()
|
| H A D | check_spectre_second_half.c | 36 name = expr_to_str(expr); in set_spectre_first_half()
57 name = expr_to_str(expr); in get_spectre_first_half()
99 name = expr_to_str(expr); in match_done()
|
| H A D | smatch_stored_conditions.c | 57 name = expr_to_str(tmp); in alloc_link_state()
134 name = expr_to_str(tmp); in match_link_modify()
204 name = expr_to_str(expr); in __stored_condition()
219 name = expr_to_str(expr); in get_stored_condition()
291 name = expr_to_str(expr); in stored_condition_implication_hook()
|
| H A D | check_off_by_one_relative.c | 53 array_str = expr_to_str(array); in array_check()
54 offset_str = expr_to_str(offset); in array_check()
124 char *array_name = expr_to_str(array); in array_check_data_info()
|
| H A D | check_strcpy_overflow.c | 45 dest_name = expr_to_str(dest); in match_strcpy()
46 data_name = expr_to_str(data); in match_strcpy()
|
| H A D | check_uninitialized.c | 162 name = expr_to_str(expr->unop); in match_dereferences()
182 name = expr_to_str(expr); in match_condition()
204 name = expr_to_str(arg); in match_call()
315 name = expr_to_str(expr); in match_symbol()
|
| H A D | smatch_mtag.c | 109 return expr_to_str(expr->fn); in get_allocator_info()
148 right_name = expr_to_str(right); in get_mtag_return()
275 name = expr_to_str(expr); in swap_mtag_seed()
300 str = expr_to_str(expr); in create_mtag_alias()
|
| H A D | check_macro_side_effects.c | 34 name = expr_to_str(expr); in alloc_my_state()
123 name = expr_to_str(raw_expr); in match_unop()
|
| H A D | check_sizeof.c | 33 name = expr_to_str(expr); in check_pointer()
51 ptr_name = expr_to_str(expr->left); in match_call_assignment()
|
| H A D | check_wait_for_common.c | 28 name = expr_to_str(expr->left); in match_wait_for_common()
|
| H A D | check_array_condition.c | 43 str = expr_to_str(expr); in match_condition()
|
| H A D | check_min_t.c | 45 name = expr_to_str(expr->right); in match_assign()
|
| H A D | check_type.c | 44 name = expr_to_str(arg_expr); in match_free()
|
| H A D | check_allocating_enough_data.c | 47 str = expr_to_str(expr->left); in db_returns_buf_size()
|
| H A D | check_assign_vs_compare.c | 46 str = expr_to_str(right); in check_address()
|
| H A D | check_sprintf_overflow.c | 42 data_name = expr_to_str(data); in match_sprintf()
|
| H A D | check_snprintf_overflow.c | 48 data_name = expr_to_str(data); in match_snprintf()
|
| H A D | check_index_overflow.c | 110 name = expr_to_str(array); in common_false_positives()
307 name = expr_to_str(array_expr); in array_check()
|
| H A D | check_freeing_devm.c | 38 name = expr_to_str(arg_expr); in match_free_func()
|
| H A D | check_dma_on_stack.c | 35 name = expr_to_str(arg); in match_dma_func()
|
| H A D | check_access_ok_math.c | 62 name = expr_to_str(size_expr); in match_size()
|
| H A D | check_64bit_shift.c | 48 str = expr_to_str(expr->right); in match_shift_mask()
|