/illumos-gate/usr/src/tools/smatch/src/ |
H A D | check_debug.c | 131 …"known: '%s' = '%s'. implied = '%s'", name, known ? sval_to_str(sval) : "<unknown>", show_rl(rl)); in match_print_known() 145 sm_msg("implied: %s = '%s'", name, show_rl(rl)); in match_print_implied() 159 sm_msg("real absolute: %s = '%s'", name, show_rl(rl)); in match_real_absolute() 213 sm_msg("user rl: '%s' = '%s'%s", name, show_rl(rl), capped ? " (capped)" : ""); in match_user_rl() 273 sm_msg("absolute: %s = %s", name, show_rl(rl)); in match_print_absolute() 381 sm_msg("strlen: '%s' %s characters", name, show_rl(rl)); in match_strlen() 408 n += snprintf(buf + n, sizeof(buf) - n, " (rl = %s)", show_rl(rl)); in match_buf_size() 531 sm_msg("mtag = %llu offset = %d rl = '%s'", tag, offset, show_rl(rl)); in mtag_info() 574 sm_msg("'%s' intersect '%s' is '%s'", show_rl(one_rl), show_rl(two_rl), show_rl(res)); in match_intersection()
|
H A D | check_signed.c | 290 show_rl(rl_left), show_special(expr->op), in match_condition() 291 show_rl(rl_right)); in match_condition() 299 show_rl(rl_left_orig), show_special(expr->op), in match_condition() 300 show_rl(rl_right_orig)); in match_condition()
|
H A D | smatch_estate.c | 395 state->name = show_rl(get_dinfo(state)->value_ranges); in alloc_estate_sval() 407 state->name = show_rl(get_dinfo(state)->value_ranges); in alloc_estate_range() 420 state->name = show_rl(rl); in alloc_estate_rl() 436 ret->name = show_rl(dinfo->value_ranges); in clone_estate_cast()
|
H A D | smatch_param_set.c | 234 snprintf(buf, sizeof(buf), "%s[%s]", show_rl(rl), math_str); in print_return_value_param_helper() 249 param, param_name, show_rl(rl)); in print_return_value_param_helper()
|
H A D | smatch_implied.c | 178 sm->name, show_rl(rl), sm->state->name, show_comparison(comparison), show_rl(rl), in create_fake_history() 179 show_rl(true_rl), show_rl(false_rl)); in create_fake_history() 365 __func__, sm->state->name, show_comparison(comparison), show_rl(rl)); in __separate_pools() 643 sm->name, sm->state->name, show_comparison(comparison), show_rl(rl)); in separate_and_filter()
|
H A D | smatch_buf_size.c | 628 sql_insert_function_type_size(name, show_rl(rl)); in info_record_alloction() 844 sql_insert_caller_info(expr, BUF_SIZE, i, "$", show_rl(rl)); in match_call() 884 snprintf(buf, sizeof(buf), "%s[%s]", show_rl(rl), param_math); in print_returned_allocations() 886 snprintf(buf, sizeof(buf), "%s", show_rl(rl)); in print_returned_allocations()
|
H A D | smatch_param_limit.c | 165 param, param_name, show_rl(rl)); in print_return_value_param()
|
H A D | smatch_kernel_user_data.c | 1045 show_rl(rl), in get_user_rl_str() 1104 snprintf(buf, sizeof(buf), "%s%s%s", show_rl(rl), in struct_member_callback() 1383 show_rl(estate_rl(sm->state)), in param_set_to_user_data() 1406 show_rl(estate_rl(sm->state)), in param_set_to_user_data() 1417 show_rl(rl), in param_set_to_user_data()
|
H A D | smatch_param_filter.c | 156 param_name, show_rl(estate_rl(sm->state))); in print_one_mod_param()
|
H A D | smatch_array_values.c | 156 get_filename(), is_static, name, DATA_VALUE, show_rl(rl)); in update_cache()
|
H A D | smatch_mtag_data.c | 232 argv[0], argv[1], argv[2], show_rl(rl)); in save_mtag_data()
|
H A D | check_index_overflow.c | 322 name, array_size, sval_to_str(max), show_rl(user_rl), in array_check()
|
H A D | smatch_db.c | 1443 return_ranges = show_rl(rl); in get_return_ranges_str() 1446 return alloc_sname(show_rl(rl)); in get_return_ranges_str() 1450 return_ranges = show_rl(rl); in get_return_ranges_str() 1618 return_ranges = show_rl(rl); in split_possible_helper() 1801 return_ranges = show_rl(nonnull_rl); in call_return_state_hooks_split_null_non_null_zero() 1897 return_ranges = show_rl(nonzero_rl); in call_return_state_hooks_split_success_fail()
|
H A D | smatch_strlen.c | 320 sql_insert_caller_info(expr, STR_LEN, i, "$", show_rl(rl)); in match_call()
|
H A D | smatch_extra.h | 44 char *show_rl(struct range_list *list);
|
H A D | smatch_parse_call_math.c | 220 sm_msg("val = %s remaining = %s", show_rl(tmp), c); in parse_call_math_rl()
|
H A D | check_locking.c | 1065 sm_printf(" Locked on : %s\n", show_rl(locked_lines)); in check_lock() 1066 sm_printf(" Unlocked on: %s\n", show_rl(unlocked_lines)); in check_lock()
|
H A D | smatch_ranges.c | 63 char *show_rl(struct range_list *list) in show_rl() function 1571 sm_fatal("error calculating intersection of '%s' and '%s'", show_rl(one_rl), show_rl(two_rl)); in do_intersection()
|
H A D | smatch_function_hooks.c | 598 sm_msg("impossible: %d '%s' limit '%s' == '%s'", param, key, show_rl(passed), value); in impossible_limit()
|
H A D | smatch_extra.c | 2471 sql_insert_caller_info(call, PARAM_VALUE, param, printed_name, show_rl(rl)); in struct_member_callback() 2786 sql_insert_caller_info(expr, PARAM_VALUE, i, "$", show_rl(rl)); in match_call_info()
|