Home
last modified time | relevance | path

Searched refs:math_str (Results 1 – 2 of 2) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_param_set.c183 char *math_str; in print_return_value_param_helper() local
232 math_str = get_value_in_terms_of_parameter_math_var_sym(sm->name, sm->sym); in print_return_value_param_helper()
233 if (math_str) { in print_return_value_param_helper()
234 snprintf(buf, sizeof(buf), "%s[%s]", show_rl(rl), math_str); in print_return_value_param_helper()
H A Dsmatch_db.c1423 char *math_str; in get_return_ranges_str() local
1439 math_str = get_value_in_terms_of_parameter_math(expr); in get_return_ranges_str()
1462 if (math_str) { in get_return_ranges_str()
1463 snprintf(buf, sizeof(buf), "%s[%s]", return_ranges, math_str); in get_return_ranges_str()