Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_type.c72 if (type_positive_bits(left) < 31) in get_binop_type()
107 if (type_positive_bits(left) < 31 && type_positive_bits(right) < 31) in get_binop_type()
110 if (type_positive_bits(left) > type_positive_bits(right)) in get_binop_type()
222 if (type_positive_bits(one) > type_positive_bits(two)) in get_select_type()
369 if (type_positive_bits(left) > type_positive_bits(ret)) in get_promoted_type()
371 if (type_positive_bits(right) > type_positive_bits(ret)) in get_promoted_type()
469 ret.value = (~0ULL) >> (64 - type_positive_bits(base_type)); in sval_type_max()
503 ret.value = (~0ULL) << type_positive_bits(base_type); in sval_type_min()
603 if (type_positive_bits(one) != type_positive_bits(two)) in types_equiv()
620 if (type_positive_bits(test) > type_positive_bits(type)) in type_fits()
H A Dsmatch_ranges.c421 if (type_positive_bits(rl_type(start_rl)) > type_positive_bits(type)) in filter_by_comparison_call()
423 if (type_positive_bits(rl_type(right_orig)) > type_positive_bits(type)) in filter_by_comparison_call()
1246 if (type_positive_bits(type) < type_positive_bits(rl_type(rl_right))) in possibly_true()
1248 if (type_positive_bits(type) < 31) in possibly_true()
1275 if (type_positive_bits(type) < type_positive_bits(rl_type(rl_right))) in possibly_false()
1277 if (type_positive_bits(type) < 31) in possibly_false()
1301 if (type_positive_bits(type) < type_positive_bits(rl_type(right_ranges))) in possibly_true_rl()
1303 if (type_positive_bits(type) < 31) in possibly_true_rl()
1327 if (type_positive_bits(type) < type_positive_bits(rl_type(right_ranges))) in possibly_false_rl()
1787 if (type_positive_bits(rl_type(left_orig)) > type_positive_bits(type)) in handle_sub_rl()
[all …]
H A Dsmatch_sval.c652 if (type_positive_bits(right.type) > type_positive_bits(left.type)) in sval_binop_overflows()
654 if (type_positive_bits(type) < 31) in sval_binop_overflows()
721 if (type_positive_bits(right.type) > type_positive_bits(left.type)) in sval_binop_overflows_no_sign()
723 if (type_positive_bits(type) <= 31) in sval_binop_overflows_no_sign()
H A Dsmatch_implied.c760 if (type_positive_bits(rl_type(rl)) > type_positive_bits(type)) in handle_comparison()
762 if (type_positive_bits(type) < 31) in handle_comparison()
H A Dsmatch_comparison.c177 if (type_positive_bits(rl_type(left_rl)) > type_positive_bits(type)) in rl_comparison()
179 if (type_positive_bits(rl_type(right_rl)) > type_positive_bits(type)) in rl_comparison()
H A Dsmatch.h1354 static inline int type_positive_bits(struct symbol *type) in type_positive_bits() function
1367 return type_positive_bits(sval.type); in sval_positive_bits()
H A Dsmatch_math.c768 type_positive_bits(left) == type_positive_bits(right)) in handle_comparison_rl()
H A Dsmatch_extra.c1914 if (type_positive_bits(type) == 32) { in handle_integer_overflow_test()
1917 } else if (type_positive_bits(type) == 64) { in handle_integer_overflow_test()