show_rl
sm_msg("known: '%s' = '%s'. implied = '%s'", name, known ? sval_to_str(sval) : "<unknown>", show_rl(rl));
sm_msg("implied: %s = '%s'", name, show_rl(rl));
sm_msg("real absolute: %s = '%s'", name, show_rl(rl));
sm_msg("user rl: '%s' = '%s'%s", name, show_rl(rl), capped ? " (capped)" : "");
sm_msg("absolute: %s = %s", name, show_rl(rl));
sm_msg("strlen: '%s' %s characters", name, show_rl(rl));
n += snprintf(buf + n, sizeof(buf) - n, " (rl = %s)", show_rl(rl));
sm_msg("mtag = %llu offset = %d rl = '%s'", tag, offset, show_rl(rl));
sm_msg("'%s' intersect '%s' is '%s'", show_rl(one_rl), show_rl(two_rl), show_rl(res));
name, array_size, sval_to_str(max), show_rl(user_rl),
sm_printf(" Locked on : %s\n", show_rl(locked_lines));
sm_printf(" Unlocked on: %s\n", show_rl(unlocked_lines));
show_rl(rl_left), show_special(expr->op),
show_rl(rl_right));
show_rl(rl_left_orig), show_special(expr->op),
show_rl(rl_right_orig));
get_filename(), is_static, name, DATA_VALUE, show_rl(rl));
sql_insert_function_type_size(name, show_rl(rl));
sql_insert_caller_info(expr, BUF_SIZE, i, "$", show_rl(rl));
snprintf(buf, sizeof(buf), "%s[%s]", show_rl(rl), param_math);
snprintf(buf, sizeof(buf), "%s", show_rl(rl));
return_ranges = show_rl(rl);
return alloc_sname(show_rl(rl));
return_ranges = show_rl(rl);
return_ranges = show_rl(rl);
return_ranges = show_rl(nonnull_rl);
return_ranges = show_rl(nonzero_rl);
state->name = show_rl(get_dinfo(state)->value_ranges);
state->name = show_rl(get_dinfo(state)->value_ranges);
state->name = show_rl(rl);
ret->name = show_rl(dinfo->value_ranges);
sql_insert_caller_info(call, PARAM_VALUE, param, printed_name, show_rl(rl));
sql_insert_caller_info(expr, PARAM_VALUE, i, "$", show_rl(rl));
char *show_rl(struct range_list *list);
sm_msg("impossible: %d '%s' limit '%s' == '%s'", param, key, show_rl(passed), value);
sm->name, show_rl(rl), sm->state->name, show_comparison(comparison), show_rl(rl),
show_rl(true_rl), show_rl(false_rl));
__func__, sm->state->name, show_comparison(comparison), show_rl(rl));
sm->name, sm->state->name, show_comparison(comparison), show_rl(rl));
show_rl(rl),
snprintf(buf, sizeof(buf), "%s%s%s", show_rl(rl),
show_rl(estate_rl(sm->state)),
show_rl(estate_rl(sm->state)),
show_rl(rl),
argv[0], argv[1], argv[2], show_rl(rl));
param_name, show_rl(estate_rl(sm->state)));
param, param_name, show_rl(rl));
snprintf(buf, sizeof(buf), "%s[%s]", show_rl(rl), math_str);
param, param_name, show_rl(rl));
sm_msg("val = %s remaining = %s", show_rl(tmp), c);
sm_fatal("error calculating intersection of '%s' and '%s'", show_rl(one_rl), show_rl(two_rl));
sql_insert_caller_info(expr, STR_LEN, i, "$", show_rl(rl));