Home
last modified time | relevance | path

Searched refs:type_signed (Results 1 – 7 of 7) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_signed_integer_overflow_check.c42 if (!type_signed(type)) in match_condition()
H A Dsmatch_type.c382 int type_signed(struct symbol *base_type) in type_signed() function
410 if (type_signed(sym)) in expr_signed()
618 if (type_signed(test) && !type_signed(type)) in type_fits()
H A Dsmatch_sval.c302 if (type_signed(type) && sval_unsigned(sval)) in sval_too_low()
304 if (type_signed(sval.type) && in sval_too_low()
673 if (type_signed(type)) { in sval_binop_overflows()
H A Dsmatch_db.c1656 if (!type_signed(estate_type(sm->state))) in has_possible_negative()
1834 if (!type_signed(estate_type(sm->state))) in is_kernel_success_fail()
H A Dsmatch_extra.c2104 if (type_signed(high_mask.type) && type_unsigned(rl_type(false_rl))) { in handle_AND_op()
2241 if (offset_type && type_signed(offset_type)) { in assume_indexes_are_valid()
H A Dsmatch.h478 int type_signed(struct symbol *base_type);
H A Dsmatch_ranges.c115 if (type_signed(sval.type)) { in sval_too_big()