Home
last modified time | relevance | path

Searched refs:sval_max (Results 1 – 3 of 3) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_estate.c51 estate_set_fuzzy_max(tmp, sval_max(estate_get_fuzzy_max(s1), estate_get_fuzzy_max(s2))); in merge_estates()
H A Dsmatch_sval.c291 sval_t sval_max(sval_t one, sval_t two) in sval_max() function
H A Dsmatch.h1170 sval_t sval_max(sval_t one, sval_t two);