Home
last modified time | relevance | path

Searched refs:right_type (Results 1 – 6 of 6) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_buffer_too_small_for_struct.c26 struct symbol *left_type, *right_type; in match_assign() local
39 right_type = get_type(expr->right); in match_assign()
40 if (!right_type || right_type->type != SYM_PTR) in match_assign()
42 right_type = get_real_base_type(right_type); in match_assign()
43 if (!right_type) in match_assign()
45 if (right_type != &void_ctype && type_bits(right_type) != 8) in match_assign()
H A Dcheck_allocating_enough_data.c23 struct symbol *left_type, *right_type; in db_returns_buf_size() local
30 right_type = get_pointer_type(expr->right); in db_returns_buf_size()
31 if (!right_type || type_bits(right_type) != -1) in db_returns_buf_size()
H A Dcheck_64bit_shift.c55 struct symbol *left_type, *right_type; in match_shift_assignment() local
69 right_type = get_type(expr->right); in match_shift_assignment()
71 if (type_bits(right_type) == 64) in match_shift_assignment()
H A Dsmatch_type_val.c349 struct symbol *left_type, *right_type; in is_uncasted_pointer_assign() local
361 right_type = get_type(expr->right); in is_uncasted_pointer_assign()
363 if (!left_type || !right_type) in is_uncasted_pointer_assign()
366 if (left_type->type == SYM_STRUCT && left_type == right_type) in is_uncasted_pointer_assign()
372 if (right_type->type != SYM_PTR && in is_uncasted_pointer_assign()
373 right_type->type != SYM_ARRAY) in is_uncasted_pointer_assign()
376 right_type = get_real_base_type(right_type); in is_uncasted_pointer_assign()
378 if (left_type == right_type) in is_uncasted_pointer_assign()
H A Dsmatch_kernel_user_data.c519 struct symbol *left_type, *right_type; in handle_struct_assignment() local
536 right_type = get_type(right); in handle_struct_assignment()
537 if (!right_type || right_type->type != SYM_PTR) in handle_struct_assignment()
544 right_type = get_real_base_type(right_type); in handle_struct_assignment()
545 if (right_type == left_type) in handle_struct_assignment()
H A Dsmatch_extra.c1075 struct symbol *right_type; in match_vanilla_assign() local
1096 right_type = get_type(right); in match_vanilla_assign()
1151 rl = alloc_whole_rl(right_type); in match_vanilla_assign()