Searched refs:type_positive_bits (Results 1 – 8 of 8) sorted by relevance
72 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()
421 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 …]
652 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()
760 if (type_positive_bits(rl_type(rl)) > type_positive_bits(type)) in handle_comparison()762 if (type_positive_bits(type) < 31) in handle_comparison()
177 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()
1354 static inline int type_positive_bits(struct symbol *type) in type_positive_bits() function1367 return type_positive_bits(sval.type); in sval_positive_bits()
768 type_positive_bits(left) == type_positive_bits(right)) in handle_comparison_rl()
1914 if (type_positive_bits(type) == 32) { in handle_integer_overflow_test()1917 } else if (type_positive_bits(type) == 64) { in handle_integer_overflow_test()