Home
last modified time | relevance | path

Searched refs:type_bits (Results 1 – 24 of 24) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_pointer_math.c78 if (type_bits(type) <= 8) /* ignore void, bool and char pointers*/ in match_binop()
95 name, type_bits(type)); in match_binop()
120 if (type_bits(type) == 8 || type_bits(type) == -1) in check_assign()
126 name, type_bits(type)); in check_assign()
H A Dcheck_shift_to_zero.c36 if (type_bits(type) == -1 || type_bits(type) > bits.value) in match_binop()
40 sm_warning("right shifting more than type allows %d vs %lld", type_bits(type), bits.value); in match_binop()
83 if (type_bits(type) > bits.value) in match_assign()
H A Dcheck_impossible_mask.c103 if (type_bits(type) < 64) { in match_condition()
104 left_mask &= (1ULL << type_bits(type)) - 1; in match_condition()
105 right_mask &= (1ULL << type_bits(type)) - 1; in match_condition()
H A Dsmatch_type.c49 bits = type_bits(type); in type_bytes()
82 if (type_bits(left) > type_bits(right)) in get_binop_type()
91 if (type_bits(right) > type_bits(left)) in get_binop_type()
465 if (!base_type || !type_bits(base_type)) in sval_type_max()
494 if (!base_type || !type_bits(base_type)) in sval_type_min()
515 return type_bits(type); in nr_bits()
616 if (type_bits(test) > type_bits(type)) in type_fits()
H A Dsmatch_address.c97 if (bits_to_bytes(bits + type_bits(tmp)) > tmp->ctype.alignment) { in get_member_offset()
108 if (!(type_bits(tmp) % 8) && type_bits(tmp) / 8 == type_bytes(tmp)) in get_member_offset()
111 bits += type_bits(tmp); in get_member_offset()
H A Dsmatch_integer_overflow.c83 if (type_bits(type) != 32 && type_bits(type) != 64) in match_divide()
118 if (type_bits(type) != 32 && type_bits(type) != 64) in match_overflow_to_less_than()
H A Dcheck_64bit_shift.c36 if (type_bits(get_type(expr->right)) == 64) in match_shift_mask()
71 if (type_bits(right_type) == 64) in match_shift_assignment()
H A Dsmatch_capped.c86 if (type_bits(type) >= 0 && type_bits(type) <= 2) in is_capped()
208 if (type_bits(type) >= 0 && type_bits(type) <= 2) in match_assign()
H A Dsmatch_bits.c83 if (binfo->possible < (-1ULL >> (64 - type_bits(type)))) in is_unknown_binfo()
106 if (type_bits(type) == 64) in unmatched_state()
109 possible = (1ULL << type_bits(type)) - 1; in unmatched_state()
274 if (type_bits(type) == 64) in get_bit_info()
277 extra_info->possible = (1ULL << type_bits(type)) - 1; in get_bit_info()
H A Dsmatch_ranges.c110 if (type_bits(type) >= 32 && in sval_too_big()
111 type_bits(sval.type) <= type_bits(type)) in sval_too_big()
113 if (sval.uvalue <= ((1ULL << type_bits(type)) - 1)) in sval_too_big()
135 int bits = type_bits(type); in truncates_nicely()
140 if (bits >= type_bits(min.type)) in truncates_nicely()
913 } else if (type_bits(rl_type(*list)) >= type_bits(min.type)) { in add_range()
1424 if (type_bits(type) < type_bits(rl_type(rl))) { in rl_truncate_cast()
1425 min.uvalue = tmp->min.uvalue & ((1ULL << type_bits(type)) - 1); in rl_truncate_cast()
1426 max.uvalue = tmp->max.uvalue & ((1ULL << type_bits(type)) - 1); in rl_truncate_cast()
1440 if (type_bits(rl_type(rl)) <= type_bits(type)) in rl_fits_in_type()
[all …]
H A Dcheck_return_cast.c38 if (type_bits(func_type) > 16) in match_return()
H A Dcheck_allocating_enough_data.c31 if (!right_type || type_bits(right_type) != -1) in db_returns_buf_size()
H A Dcheck_signed.c52 if (type_bits(sym) < 0 || type_bits(sym) >= 32) /* max_val limits this */ in match_assign()
H A Dcheck_buffer_too_small_for_struct.c45 if (right_type != &void_ctype && type_bits(right_type) != 8) in match_assign()
H A Dsmatch_math.c308 if (!type || (type_bits(type) != 8 && (type != &void_ctype))) in handle_offset_subtraction()
354 if (type_bits(rl_type(rl)) < 31) in max_is_unknown_max()
767 if (type_bits(left) == type_bits(right) && in handle_comparison_rl()
1131 if (type_bits(sym) < bits_in_int) in handle_sizeof()
1141 if (type_bits(sym) <= 0) /* sizeof(void) */ { in handle_sizeof()
1283 type_bits(type) > 0 && type_bits(type) < 32) { in handle_cast()
H A Dcheck_precedence.c30 if (type_bits(type) == 1 && type->ctype.modifiers & MOD_UNSIGNED) in is_bool()
H A Dcheck_arm64_tagged.c226 if (!type || type_bits(type) != 64) in match_condition()
H A Dsmatch.h1332 static inline int type_bits(struct symbol *type) in type_bits() function
1361 return type_bits(type); in type_positive_bits()
1362 return type_bits(type) - 1; in type_positive_bits()
1379 type = type_bits(one.type) > type_bits(two.type) ? one.type : two.type; in fp_cmp()
1423 if (type_bits(type) < 31) in sval_cmp()
H A Dcheck_rosenberg.c87 else if (type_bits(tmp) <= 0) in check_struct()
H A Dsmatch_kernel_user_data.c696 if (type_unsigned(rl_type(rl)) && type_bits(rl_type(rl)) > 31) in strip_negatives()
1085 if (type && type_bits(type) < type_bits(&ptr_ctype)) in struct_member_callback()
H A Dsmatch_sval.c134 return type_bits(sval.type); in sval_bits()
H A Dsmatch_db.c908 if (type && type_bits(type) < type_bits(&ulong_ctype)) in print_struct_members()
H A Dcheck_locking.c961 if (type_bits(&long_ctype) == 64 && in success_fail_positive()
H A Dsmatch_extra.c2023 for (i = type_bits(known.type) - 1; i >= 0; i--) { in get_high_mask()
2062 rl_max(orig_rl).uvalue > type_bits(get_type(shift->left))) in handle_bit_test()