| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | check_min_t.c | 46 …sm_warning("min_t truncates here '%s' (%s vs %s)", name, sval_to_str(max_left), sval_to_str(max_ri… in match_assign()
|
| H A D | check_snprintf_overflow.c | 42 sval_to_str(limit_size), dest_size); in match_snprintf()
54 data_name, data_size, sval_to_str(limit_size)); in match_snprintf()
|
| H A D | check_capable.c | 35 snprintf(buf, sizeof(buf), "%s", sval_to_str(sval)); in match_capable()
51 snprintf(buf, sizeof(buf), "%s", sval_to_str(sval)); in match_ns_capable()
|
| H A D | check_err_ptr_deref.c | 183 sm_error("passing non negative %s to ERR_PTR", sval_to_str(sval)); in match_err_ptr_positive_const()
209 sm_error("%s too low for ERR_PTR", sval_to_str(min)); in match_err_ptr()
211 sm_error("passing non negative %s to ERR_PTR", sval_to_str(max)); in match_err_ptr()
|
| H A D | check_index_overflow.c | 319 name, array_size, sval_to_str(max)); in array_check()
322 name, array_size, sval_to_str(max), show_rl(user_rl), in array_check()
326 name, array_size, sval_to_str(max), in array_check()
|
| H A D | check_signed.c | 79 sval_to_str(sval), left_name); in match_assign()
82 sval_to_str(sval), sval_to_str(min), left_name); in match_assign()
|
| H A D | check_bit_shift.c | 131 sm_msg("info: bit shifter '%s' '%s'", name, sval_to_str(sval)); in match_binop_info()
149 sm_msg("info: bit shifter '%s' '%s'", name, sval_to_str(sval)); in match_call()
|
| H A D | check_debug.c | 131 …sm_msg("known: '%s' = '%s'. implied = '%s'", name, known ? sval_to_str(sval) : "<unknown>", show_… in match_print_known()
173 sm_msg("implied min: %s = %s", name, sval_to_str(sval)); in match_print_implied_min()
190 sm_msg("implied max: %s = %s", name, sval_to_str(sval)); in match_print_implied_max()
239 sm_msg("hard max: %s = %s", name, sval_to_str(sval)); in match_print_hard_max()
256 sm_msg("fuzzy max: %s = %s", name, sval_to_str(sval)); in match_print_fuzzy_max()
288 sm_msg("absolute min: %s = %s", name, sval_to_str(sval)); in match_print_absolute_min()
305 sm_msg("absolute max: %s = %s", name, sval_to_str(sval)); in match_print_absolute_max()
|
| H A D | check_return_cast.c | 45 sm_warning("signedness bug returning '%s'", sval_to_str(sval)); in match_return()
|
| H A D | check_allocating_enough_data.c | 48 sm_error("not allocating enough for = '%s' %d vs %s", str, bytes, sval_to_str(sval)); in db_returns_buf_size()
|
| H A D | check_assign_vs_compare.c | 28 sm_warning("was '== %s' instead of '='", sval_to_str(val)); in check_constant()
|
| H A D | check_kmalloc_wrong_size.c | 45 …sm_warning("double check that we're allocating correct size: %d vs %s", data_size, sval_to_str(sva… in check_size_matches()
|
| H A D | check_buffer_too_small_for_struct.c | 102 …truct %s'? %s", name, left_type->ident ? left_type->ident->name : "<anon>", sval_to_str(min_size)); in match_dereferences()
|
| H A D | smatch_sval.c | 788 const char *sval_to_str(sval_t sval) in sval_to_str() function
834 return sval_to_str(sval); in sval_to_str_or_err_ptr()
841 return sval_to_str(sval); in sval_to_str_or_err_ptr()
|
| H A D | smatch_parse_call_math.c | 394 ret = snprintf(cur, remaining, "%s", sval_to_str(sval)); in format_expr_helper()
521 ret = snprintf(out, buf + sizeof(buf) - out, "%s", sval_to_str(sval)); in swap_format()
|
| H A D | check_memcpy_overflow.c | 274 sm_error("%s() '%s' too small (%d vs %s)", fn, dest_name, has, sval_to_str(needed)); in match_limited()
|
| H A D | smatch_ranges.c | 80 sval_to_str(prev_drange->min), in show_rl()
81 sval_to_str(sval_type_max(prev_drange->min.type))); in show_rl()
92 sval_to_str(tmp->min)); in show_rl()
95 sval_to_str(tmp->min), in show_rl()
96 sval_to_str(tmp->max)); in show_rl()
|
| H A D | smatch_extra.c | 2475 sval_to_str(estate_max(sm->state))); in struct_member_callback()
2478 sval_to_str(estate_get_fuzzy_max(sm->state))); in struct_member_callback()
2791 sval_to_str(estate_max(state))); in match_call_info()
2795 sval_to_str(estate_get_fuzzy_max(state))); in match_call_info()
|
| H A D | smatch_helper.c | 349 snprintf(tmp, 25, "%s", sval_to_str(sval)); in __get_variable_from_expr()
|
| H A D | smatch.h | 1183 const char *sval_to_str(sval_t sval);
|