Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_sval.c120 int sval_unsigned(sval_t sval) in sval_unsigned() function
181 if (sval_unsigned(sval)) { in sval_is_min()
209 if (sval_unsigned(sval)) in sval_is_max()
249 if (sval_unsigned(sval) && sval.uvalue == ULLONG_MAX) in sval_is_a_max()
302 if (type_signed(type) && sval_unsigned(sval)) in sval_too_low()
344 if (sval_unsigned(sval)) in cast_to_fp()
356 if (sval_unsigned(sval)) in cast_to_fp()
368 if (sval_unsigned(sval)) in cast_to_fp()
420 if (sval_unsigned(ret)) in sval_cast()
426 if (sval_unsigned(ret)) in sval_cast()
[all …]
H A Dcheck_debug.c323 …sm_msg("implied: %s %c%d ->value = %llx", name, sval_unsigned(sval) ? 'u' : 's', sval_bits(sval), … in match_sval_info()
H A Dsmatch_ranges.c194 if (sval_unsigned(max) && sval_is_negative(sval_cast(type, max))) { in add_range_t()
733 if (sval_unsigned(drange->min) && in is_whole_rl_non_zero()
H A Dsmatch.h1156 int sval_unsigned(sval_t sval);