Symbol: sval_max
usr/src/tools/smatch/src/smatch.h
1170
sval_t sval_max(sval_t one, sval_t two);
usr/src/tools/smatch/src/smatch_estate.c
51
estate_set_fuzzy_max(tmp, sval_max(estate_get_fuzzy_max(s1), estate_get_fuzzy_max(s2)));