/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_type.c | 176 return get_type(expr1); in handle__builtin_choose_expr() 178 return get_type(expr2); in handle__builtin_choose_expr() 231 sym = get_type(expr); in get_pointer_type() 251 base = get_type(expr); in fake_pointer_sym() 395 sym = get_type(expr); in expr_unsigned() 407 sym = get_type(expr); in expr_signed() 512 type = get_type(expr); in nr_bits() 522 type = get_type(expr); in is_void_pointer() 535 type = get_type(expr); in is_char_pointer() 722 sym = get_type(expr); in get_member_type_from_key() [all …]
|
H A D | check_64bit_shift.c | 33 if (get_type(expr->left) != &ullong_ctype) in match_shift_mask() 36 if (type_bits(get_type(expr->right)) == 64) in match_shift_mask() 65 left_type = get_type(expr->left); in match_shift_assignment() 69 right_type = get_type(expr->right); in match_shift_assignment()
|
H A D | check_memcpy_overflow.c | 59 type = get_type(expr); in bytes_to_end_of_struct() 70 type = get_type(expr->deref); in bytes_to_end_of_struct() 89 type = get_type(expr); in size_of_union() 143 type = get_type(expr); in ends_on_struct_member_boundary() 150 type = get_type(expr->unop); in ends_on_struct_member_boundary() 158 type = get_type(unop->unop); in ends_on_struct_member_boundary() 204 type = get_type(expr); in is_one_element_array() 222 type = get_type(expr); in is_ignored_struct()
|
H A D | smatch_type_val.c | 115 type = get_type(expr); in get_db_type_rl() 201 type = get_type(expr->left); in is_ignored_fake_assignment() 360 left_type = get_type(expr->left); in is_uncasted_pointer_assign() 361 right_type = get_type(expr->right); in is_uncasted_pointer_assign() 437 left_type = get_type(expr->left); in is_uncasted_fn_param_from_db() 470 type = get_type(expr->left); in match_assign_value() 495 add_fake_type_val(member, alloc_whole_rl(get_type(expr->left)), is_ignored_fake_assignment()); in match_assign_value() 534 type = get_type(right); in match_assign_pointer() 546 type = get_type(expr->left); in match_global_assign() 570 rl = alloc_whole_rl(get_type(expr)); in unop_expr() [all …]
|
H A D | smatch_array_values.c | 95 type = get_type(array); in get_array_name() 116 type = get_type(expr); in get_array_rl() 166 type = get_type(expr->left); in match_assign() 179 rl = alloc_whole_rl(get_type(expr->right)); in match_assign() 204 type = get_type(dest); in mark_strings_unknown()
|
H A D | smatch_function_ptrs.c | 72 type = get_type(expr->left); in xxx_is_array() 109 type = get_type(expr); in get_array_ptr() 166 type = get_type(expr); in get_returned_ptr() 224 type = get_type(expr); in get_fnptr_name() 253 type = get_type(tmp); in match_passes_function_pointer() 290 type = get_type(expr); in can_hold_function_ptr() 344 type = get_type(right); in match_function_assign() 418 base_type = get_type(expr->ident_expression); in print_initializer_list()
|
H A D | check_signed.c | 47 sym = get_type(expr->left); in match_assign() 241 type = get_type(expr); in match_condition() 270 min = sval_type_min(get_type(expr->right)); in match_condition() 271 max = sval_type_max(get_type(expr->right)); in match_condition() 278 min = sval_type_min(get_type(expr->left)); in match_condition() 279 max = sval_type_max(get_type(expr->left)); in match_condition()
|
H A D | smatch_math.c | 278 type = get_type(expr); in handle_divide_rl() 304 type = get_type(expr); in handle_offset_subtraction() 368 type = get_type(expr); in handle_subtract_rl() 491 type = get_type(expr); in handle_bitwise_AND() 517 type = get_type(expr); in use_rl_binop() 648 type = get_promoted_type(get_type(expr->left), get_type(expr->right)); in handle_binop_rl_helper() 735 type = get_type(expr); in do_comparison() 886 type = get_type(expr); in handle_conditional_rl() 1017 type = get_type(expr); in handle_variable() 1270 type = get_type(expr); in handle_cast() [all …]
|
H A D | check_buffer_too_small_for_struct.c | 32 left_type = get_type(expr->left); in match_assign() 39 right_type = get_type(expr->right); in match_assign() 83 left_type = get_type(expr); in match_dereferences()
|
H A D | smatch_function_hooks.c | 283 rl = cast_rl(get_type(expr->left), rl); in assign_ranged_funcs() 633 type = get_type(expr->fn); in func_type_mismatch() 695 ret_range = cast_rl(get_type(db_info->expr), ret_range); in db_compare_callback() 697 ret_range = alloc_whole_rl(get_type(db_info->expr)); in db_compare_callback() 959 ret_range = alloc_whole_rl(get_type(strip_expr(db_info->expr->right))); in db_assign_return_states_callback() 960 ret_range = cast_rl(get_type(db_info->expr->right), ret_range); in db_assign_return_states_callback() 1014 set_extra_expr_mod(expr->left, alloc_estate_whole(get_type(expr->left))); in db_return_states_assign() 1033 rl = cast_rl(get_type(expr->left), rl); in handle_implied_return() 1057 set_extra_expr_mod(expr->left, alloc_estate_whole(get_type(expr->left))); in match_assign_call() 1092 rl = cast_rl(get_type(expr->left), rl); in match_assign_call() [all …]
|
H A D | smatch_address.c | 29 type = get_type(expr); in is_non_null_array() 137 type = get_type(expr->deref); in get_member_offset_from_deref() 224 type = get_type(expr); in handle_fn_address() 272 type = get_type(expr); in get_address_rl() 292 type = get_type(array); in get_address_rl()
|
H A D | smatch_extra.c | 124 type = get_type(deref); in set_union_info() 553 type = get_type(expr); in set_extra_chunk_true_false() 668 type = get_type(iter_var); in handle_canonical_while_count_down() 734 type = get_type(iter_var); in handle_canonical_for_inc() 1007 type = get_type(left); in values_fit_type() 1040 type = get_type(add_expr); in save_chunk_info() 1095 left_type = get_type(left); in match_vanilla_assign() 1282 type = get_type(expr); in clear_pointed_at_state() 1911 type = get_type(expr); in handle_integer_overflow_test() 1931 type = get_type(left); in handle_integer_overflow_test() [all …]
|
H A D | smatch_buf_size.c | 135 type = get_type(expr->unop); in bytes_per_element() 139 type = get_type(expr); in bytes_per_element() 308 return get_real_array_size_from_type(get_type(expr)); in get_real_array_size() 337 type = get_type(expr); in get_bytes_from_address() 460 return estate_to_size(state) - type_bytes(base_sym) + type_bytes(get_type(expr)); in get_stored_size_end_struct_bytes() 494 type = get_type(expr->left); in get_array_size_bytes_rl() 609 type = get_type(expr->unop); in strip_ampersands() 648 type = get_type(expr); in store_alloc() 668 type = get_type(expr); in is_array_base() 807 type = get_type(arg); in is_type_bytes() [all …]
|
H A D | check_implicit_dependencies.c | 156 sym = get_type(expr->deref); in print_read_member_type() 157 member_sym = get_type(expr); in print_read_member_type() 191 sym = get_type(expr->deref); in print_write_member_type() 192 member_sym = get_type(expr); in print_write_member_type()
|
H A D | smatch_untracked_param.c | 147 fn = get_type(expr->fn); in lost_in_va_args() 178 type = get_type(arg); in match_after_call() 256 type = get_type(right); in match_param_assign() 277 type = get_type(expr); in match_param_assign_in_asm()
|
H A D | check_kernel.c | 38 *rl = cast_rl(get_type(call), *rl); in implied_err_cast_return() 119 rl = cast_rl(get_type(arg), rl); in match_param_err_or_null() 136 rl = cast_rl(get_type(arg), rl); in match_not_err() 153 rl = cast_rl(get_type(arg), rl); in match_err() 216 type = get_type(call); in match_next_bit() 400 type = get_type(dest); in match__read_once_size()
|
H A D | smatch_about_fn_ptr_arg.c | 60 type = get_type(arg); in link_function_arg() 159 type = get_type(right); in match_assign_function() 203 type = get_type(fn); in check_passes_fn_and_data()
|
H A D | check_shift_to_zero.c | 33 type = get_type(expr->left); in match_binop() 80 type = get_type(expr->left); in match_assign()
|
H A D | smatch_kernel_user_data.c | 276 type = get_type(expr); in tag_as_user_data() 434 *rl = alloc_whole_rl(get_type(expr)); in get_rl_from_function() 491 type = get_type(expr); in set_points_to_user_data() 521 left_type = get_type(expr->left); in handle_struct_assignment() 536 right_type = get_type(right); in handle_struct_assignment() 597 rl = cast_rl(get_type(expr->left), rl); in handle_op_assign() 642 rl = cast_rl(get_type(expr->left), rl); in match_assign() 761 type = get_type(expr); in handle_compare() 956 rl = alloc_whole_rl(get_type(expr)); in var_user_rl() 997 type_is_ptr(get_type(expr->left))) { in is_ptr_subtract() [all …]
|
H A D | smatch_mtag_data.c | 99 type = get_type(expr->deref); in is_head_next() 182 type = get_type(expr); in update_mtag_data() 326 type = get_type(expr); in get_mtag_rl()
|
H A D | smatch_struct_assignment.c | 73 type = get_type(expr); in get_struct_type() 123 type = get_type(expr); in remove_addr() 157 type = get_type(left); in handle_non_struct_assignments() 173 type = get_type(right); in handle_non_struct_assignments() 416 left_type = get_type(expr->left); in __fake_struct_member_assignments()
|
H A D | smatch_equiv.c | 217 rl = alloc_whole_rl(get_type(right)); in set_equiv() 227 left_sm->state = clone_estate_cast(get_type(left), right_sm->state); in set_equiv() 236 other_sm->state = clone_estate_cast(get_type(left), left_sm->state); in set_equiv()
|
H A D | smatch_integer_overflow.c | 80 type = get_type(expr); in match_divide() 115 type = get_type(expr); in match_overflow_to_less_than() 189 type = get_type(expr); in can_integer_overflow_expr()
|
/illumos-gate/usr/src/cmd/ctwatch/ |
H A D | ctwatch.c | 170 get_type(const char *typestr) in get_type() function 202 type = get_type(ct_status_get_type(hdl)); in contract_type() 291 wfd[nfds].wf_type = type = get_type(argv[i]); in main()
|
/illumos-gate/usr/src/cmd/adbgen/common/ |
H A D | adbgen1.c | 122 int get_type(void); 392 get_type(void) in get_type() function 433 type = get_type(); in generate()
|