usr/src/tools/smatch/src/check_allocating_enough_data.c

48

sm_error("not allocating enough for = '%s' %d vs %s", str, bytes, sval_to_str(sval));

usr/src/tools/smatch/src/check_assign_vs_compare.c

28

sm_warning("was '== %s' instead of '='", sval_to_str(val));

usr/src/tools/smatch/src/check_bit_shift.c

131

sm_msg("info: bit shifter '%s' '%s'", name, sval_to_str(sval));

usr/src/tools/smatch/src/check_bit_shift.c

149

sm_msg("info: bit shifter '%s' '%s'", name, sval_to_str(sval));

usr/src/tools/smatch/src/check_buffer_too_small_for_struct.c

102

sm_warning("is '%s' large enough for 'struct %s'? %s", name, left_type->ident ? left_type->ident->name : "<anon>", sval_to_str(min_size));

usr/src/tools/smatch/src/check_capable.c

35

snprintf(buf, sizeof(buf), "%s", sval_to_str(sval));

usr/src/tools/smatch/src/check_capable.c

51

snprintf(buf, sizeof(buf), "%s", sval_to_str(sval));

usr/src/tools/smatch/src/check_debug.c

131

sm_msg("known: '%s' = '%s'. implied = '%s'", name, known ? sval_to_str(sval) : "<unknown>", show_rl(rl));

usr/src/tools/smatch/src/check_debug.c

173

sm_msg("implied min: %s = %s", name, sval_to_str(sval));

usr/src/tools/smatch/src/check_debug.c

190

sm_msg("implied max: %s = %s", name, sval_to_str(sval));

usr/src/tools/smatch/src/check_debug.c

239

sm_msg("hard max: %s = %s", name, sval_to_str(sval));

usr/src/tools/smatch/src/check_debug.c

256

sm_msg("fuzzy max: %s = %s", name, sval_to_str(sval));

usr/src/tools/smatch/src/check_debug.c

288

sm_msg("absolute min: %s = %s", name, sval_to_str(sval));

usr/src/tools/smatch/src/check_debug.c

305

sm_msg("absolute max: %s = %s", name, sval_to_str(sval));

usr/src/tools/smatch/src/check_err_ptr_deref.c

183

sm_error("passing non negative %s to ERR_PTR", sval_to_str(sval));

usr/src/tools/smatch/src/check_err_ptr_deref.c

209

sm_error("%s too low for ERR_PTR", sval_to_str(min));

usr/src/tools/smatch/src/check_err_ptr_deref.c

211

sm_error("passing non negative %s to ERR_PTR", sval_to_str(max));

usr/src/tools/smatch/src/check_index_overflow.c

319

name, array_size, sval_to_str(max));

usr/src/tools/smatch/src/check_index_overflow.c

322

name, array_size, sval_to_str(max), show_rl(user_rl),

usr/src/tools/smatch/src/check_index_overflow.c

326

name, array_size, sval_to_str(max),

usr/src/tools/smatch/src/check_kmalloc_wrong_size.c

45

sm_warning("double check that we're allocating correct size: %d vs %s", data_size, sval_to_str(sval));

usr/src/tools/smatch/src/check_memcpy_overflow.c

274

sm_error("%s() '%s' too small (%d vs %s)", fn, dest_name, has, sval_to_str(needed));

usr/src/tools/smatch/src/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_right));

usr/src/tools/smatch/src/check_return_cast.c

45

sm_warning("signedness bug returning '%s'", sval_to_str(sval));

usr/src/tools/smatch/src/check_signed.c

79

sval_to_str(sval), left_name);

usr/src/tools/smatch/src/check_signed.c

82

sval_to_str(sval), sval_to_str(min), left_name);

usr/src/tools/smatch/src/check_snprintf_overflow.c

42

sval_to_str(limit_size), dest_size);

usr/src/tools/smatch/src/check_snprintf_overflow.c

54

data_name, data_size, sval_to_str(limit_size));

usr/src/tools/smatch/src/smatch.h

1183

const char *sval_to_str(sval_t sval);

usr/src/tools/smatch/src/smatch_extra.c

2475

sval_to_str(estate_max(sm->state)));

usr/src/tools/smatch/src/smatch_extra.c

2478

sval_to_str(estate_get_fuzzy_max(sm->state)));

usr/src/tools/smatch/src/smatch_extra.c

2791

sval_to_str(estate_max(state)));

usr/src/tools/smatch/src/smatch_extra.c

2795

sval_to_str(estate_get_fuzzy_max(state)));

usr/src/tools/smatch/src/smatch_helper.c

349

snprintf(tmp, 25, "%s", sval_to_str(sval));

usr/src/tools/smatch/src/smatch_parse_call_math.c

394

ret = snprintf(cur, remaining, "%s", sval_to_str(sval));

usr/src/tools/smatch/src/smatch_parse_call_math.c

521

ret = snprintf(out, buf + sizeof(buf) - out, "%s", sval_to_str(sval));

usr/src/tools/smatch/src/smatch_ranges.c

80

sval_to_str(prev_drange->min),

usr/src/tools/smatch/src/smatch_ranges.c

81

sval_to_str(sval_type_max(prev_drange->min.type)));

usr/src/tools/smatch/src/smatch_ranges.c

92

sval_to_str(tmp->min));

usr/src/tools/smatch/src/smatch_ranges.c

95

sval_to_str(tmp->min),

usr/src/tools/smatch/src/smatch_ranges.c

96

sval_to_str(tmp->max));

usr/src/tools/smatch/src/smatch_sval.c

834

return sval_to_str(sval);

usr/src/tools/smatch/src/smatch_sval.c

841

return sval_to_str(sval);