Home
last modified time | relevance | path

Searched refs:get_type (Results 1 – 25 of 69) sorted by relevance

123

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_type.c176 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 Dcheck_64bit_shift.c33 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 Dcheck_memcpy_overflow.c59 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 Dsmatch_type_val.c115 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 Dsmatch_array_values.c95 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 Dsmatch_function_ptrs.c72 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 Dcheck_signed.c47 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 Dsmatch_math.c278 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 Dcheck_buffer_too_small_for_struct.c32 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 Dsmatch_function_hooks.c283 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 Dsmatch_address.c29 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 Dsmatch_extra.c124 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 Dsmatch_buf_size.c135 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 Dcheck_implicit_dependencies.c156 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 Dsmatch_untracked_param.c147 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 Dcheck_kernel.c38 *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 Dsmatch_about_fn_ptr_arg.c60 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 Dcheck_shift_to_zero.c33 type = get_type(expr->left); in match_binop()
80 type = get_type(expr->left); in match_assign()
H A Dsmatch_kernel_user_data.c276 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 Dsmatch_mtag_data.c99 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 Dsmatch_struct_assignment.c73 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 Dsmatch_equiv.c217 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 Dsmatch_integer_overflow.c80 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 Dctwatch.c170 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 Dadbgen1.c122 int get_type(void);
392 get_type(void) in get_type() function
433 type = get_type(); in generate()

123