Home
last modified time | relevance | path

Searched refs:show_rl (Results 1 – 20 of 20) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_debug.c131 …"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 Dcheck_signed.c290 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 Dsmatch_estate.c395 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 Dsmatch_param_set.c234 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 Dsmatch_implied.c178 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 Dsmatch_buf_size.c628 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 Dsmatch_param_limit.c165 param, param_name, show_rl(rl)); in print_return_value_param()
H A Dsmatch_kernel_user_data.c1045 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 Dsmatch_param_filter.c156 param_name, show_rl(estate_rl(sm->state))); in print_one_mod_param()
H A Dsmatch_array_values.c156 get_filename(), is_static, name, DATA_VALUE, show_rl(rl)); in update_cache()
H A Dsmatch_mtag_data.c232 argv[0], argv[1], argv[2], show_rl(rl)); in save_mtag_data()
H A Dcheck_index_overflow.c322 name, array_size, sval_to_str(max), show_rl(user_rl), in array_check()
H A Dsmatch_db.c1443 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 Dsmatch_strlen.c320 sql_insert_caller_info(expr, STR_LEN, i, "$", show_rl(rl)); in match_call()
H A Dsmatch_extra.h44 char *show_rl(struct range_list *list);
H A Dsmatch_parse_call_math.c220 sm_msg("val = %s remaining = %s", show_rl(tmp), c); in parse_call_math_rl()
H A Dcheck_locking.c1065 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 Dsmatch_ranges.c63 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 Dsmatch_function_hooks.c598 sm_msg("impossible: %d '%s' limit '%s' == '%s'", param, key, show_rl(passed), value); in impossible_limit()
H A Dsmatch_extra.c2471 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()