Home
last modified time | relevance | path

Searched refs:type_unsigned (Results 1 – 8 of 8) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_sval.c124 return type_unsigned(sval.type); in sval_unsigned()
129 return !type_unsigned(sval.type); in sval_signed()
150 if (type_unsigned(sval.type)) in sval_is_negative()
300 if (sval_is_negative(sval) && type_unsigned(type)) in sval_too_low()
620 else if (type_unsigned(type)) in sval_binop()
685 if (type_unsigned(type)) { in sval_binop_overflows()
H A Dcheck_return_cast.c36 if (!type_unsigned(func_type)) in match_return()
H A Dsmatch_type.c398 if (type_unsigned(sym)) in expr_unsigned()
423 return type_unsigned(sym); in returns_unsigned()
498 if (type_unsigned(base_type) || is_ptr_type(base_type)) { in sval_type_min()
H A Dsmatch.h1343 static inline int type_unsigned(struct symbol *base_type) in type_unsigned() function
1360 if (type_unsigned(type)) in type_positive_bits()
1429 if (type_unsigned(type)) { in sval_cmp()
H A Dsmatch_conditions.c383 if (type_unsigned(get_type(expr))) in hackup_unsigned_compares()
H A Dsmatch_kernel_user_data.c696 if (type_unsigned(rl_type(rl)) && type_bits(rl_type(rl)) > 31) in strip_negatives()
762 if (type_unsigned(type)) in handle_compare()
H A Dsmatch_ranges.c116 if (type_unsigned(type)) { in sval_too_big()
178 if (sval_is_negative(min) && type_unsigned(type)) { in add_range_t()
H A Dsmatch_extra.c1013 if (type_unsigned(type) && sval_is_negative(rl_min(rl))) in values_fit_type()
2104 if (type_signed(high_mask.type) && type_unsigned(rl_type(false_rl))) { in handle_AND_op()