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.c66 left = get_type(expr->left); in get_binop_type()
76 right = get_type(expr->right); in get_binop_type()
151 sym = get_type(expr->deref); in get_symbol_from_deref()
176 return get_type(expr1); in handle__builtin_choose_expr()
178 return get_type(expr2); in handle__builtin_choose_expr()
188 tmp = get_type(expr->fn); in get_return_type()
206 return get_type(stmt->expression); in get_expr_stmt_type()
213 one = get_type(expr->cond_true); in get_select_type()
214 two = get_type(expr->cond_false); in get_select_type()
231 sym = get_type(expr); in get_pointer_type()
[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.c168 sval_cast(get_type(expr->unop), sval); in handle_bitwise_negate()
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()
471 right = sval_cast(get_type(expr), right); in handle_mod_rl()
491 type = get_type(expr); in handle_bitwise_AND()
517 type = get_type(expr); in use_rl_binop()
544 max = sval_type_max(get_type(expr->left)); in handle_right_shift()
545 min = sval_type_val(get_type(expr->left), 0); in handle_right_shift()
576 left_rl = alloc_whole_rl(get_type(expr->left)); in handle_left_shift()
[all …]
H A Dsmatch_function_hooks.c283 rl = cast_rl(get_type(expr->left), rl); in assign_ranged_funcs()
483 state = alloc_estate_rl(cast_rl(get_type(expr), clone_rl(estate_rl(db_info->ret_state)))); in set_fresh_mtag_returns()
503 state = alloc_estate_rl(cast_rl(get_type(expr), clone_rl(estate_rl(db_info->ret_state)))); in set_return_assign_state()
519 state = alloc_estate_rl(cast_rl(get_type(expr), clone_rl(estate_rl(db_info->ret_state)))); in set_other_side_state()
633 type = get_type(expr->fn); in func_type_mismatch()
694 call_results_to_rl(db_info->expr, get_type(strip_expr(db_info->expr)), ret_str, &ret_range); in db_compare_callback()
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()
957 …call_results_to_rl(db_info->expr->right, get_type(strip_expr(db_info->expr->right)), ret_str, &ret… in db_assign_return_states_callback()
959 ret_range = alloc_whole_rl(get_type(strip_expr(db_info->expr->right))); in db_assign_return_states_callback()
[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_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()
767 end = sval_type_min(get_type(iter_var)); in handle_canonical_for_dec()
996 set_extra_expr_mod(tmp->unop, alloc_estate_whole(get_type(tmp->unop))); in match_function_call()
1007 type = get_type(left); in values_fit_type()
1040 type = get_type(add_expr); in save_chunk_info()
1061 rl = cast_rl(get_type(left), rl); in do_array_assign()
1063 rl = alloc_whole_rl(get_type(left)); in do_array_assign()
[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 Dsmatch_kernel_user_data.c254 set_state_expr(my_id, member, alloc_estate_whole(get_type(member))); in tag_struct_members()
267 set_state_expr(my_id, expr, alloc_estate_whole(get_type(expr))); in tag_base_type()
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()
567 set_state_expr(my_id, expr->left, alloc_estate_whole(get_type(expr->left))); in handle_get_user()
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()
[all …]
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_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