| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | check_pointer_math.c | 78 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 D | check_shift_to_zero.c | 36 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 D | check_impossible_mask.c | 103 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 D | smatch_type.c | 49 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 D | smatch_address.c | 97 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 D | smatch_integer_overflow.c | 83 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 D | smatch_capped.c | 86 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 D | check_64bit_shift.c | 36 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 D | smatch_bits.c | 83 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 D | smatch_ranges.c | 110 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 D | check_return_cast.c | 38 if (type_bits(func_type) > 16) in match_return()
|
| H A D | check_allocating_enough_data.c | 31 if (!right_type || type_bits(right_type) != -1) in db_returns_buf_size()
|
| H A D | check_signed.c | 52 if (type_bits(sym) < 0 || type_bits(sym) >= 32) /* max_val limits this */ in match_assign()
|
| H A D | check_buffer_too_small_for_struct.c | 45 if (right_type != &void_ctype && type_bits(right_type) != 8) in match_assign()
|
| H A D | smatch_math.c | 308 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 D | check_precedence.c | 30 if (type_bits(type) == 1 && type->ctype.modifiers & MOD_UNSIGNED) in is_bool()
|
| H A D | check_arm64_tagged.c | 226 if (!type || type_bits(type) != 64) in match_condition()
|
| H A D | smatch.h | 1332 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 D | check_rosenberg.c | 87 else if (type_bits(tmp) <= 0) in check_struct()
|
| H A D | smatch_kernel_user_data.c | 696 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 D | smatch_sval.c | 134 return type_bits(sval.type); in sval_bits()
|
| H A D | smatch_db.c | 908 if (type && type_bits(type) < type_bits(&ulong_ctype)) in print_struct_members()
|
| H A D | check_locking.c | 961 if (type_bits(&long_ctype) == 64 && in success_fail_positive()
|
| H A D | smatch_extra.c | 2023 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()
|