Home
last modified time | relevance | path

Searched refs:sval_to_numstr (Results 1 – 4 of 4) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_signed.c63 right_name, sval_to_numstr(sval), sval_to_numstr(max), left_name); in match_assign()
H A Dsmatch_helper.c296 snprintf(tmp, 25, "%s", sval_to_numstr(sval)); in __get_variable_from_expr()
307 snprintf(tmp, 25, "%s", sval_to_numstr(sval)); in __get_variable_from_expr()
H A Dsmatch_sval.c844 const char *sval_to_numstr(sval_t sval) in sval_to_numstr() function
H A Dsmatch.h1185 const char *sval_to_numstr(sval_t sval);