/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_ranges.c | 400 *rl = cast_rl(rl_type(*rl), ret_rl); in filter_by_comparison() 655 rl = cast_rl(type, rl); in str_to_dinfo() 912 *list = cast_rl(min.type, *list); in add_range() 917 *list = cast_rl(min.type, *list); in add_range() 1251 rl_left = cast_rl(type, rl_left); in possibly_true() 1280 rl_left = cast_rl(type, rl_left); in possibly_false() 1602 one = cast_rl(large_type, one); in rl_intersection() 1603 two = cast_rl(large_type, two); in rl_intersection() 1606 return cast_rl(ret_type, ret); in rl_intersection() 1817 return cast_rl(type, result); in handle_sub_rl() [all …]
|
H A D | check_signed.c | 268 rl_left = cast_rl(type, rl_left_orig); in match_condition() 273 rl_right = cast_rl(type, rl_right_orig); in match_condition() 276 rl_right = cast_rl(type, rl_right_orig); in match_condition() 281 rl_left = cast_rl(type, rl_left_orig); in match_condition()
|
H A D | smatch_common_functions.c | 29 *rl = cast_rl(&ulong_ctype, *rl); in match_strlen() 80 *rl = cast_rl(get_type(call), *rl); in match_sprintf()
|
H A D | smatch_math.c | 281 left_rl = cast_rl(type, left_rl); in handle_divide_rl() 283 right_rl = cast_rl(type, right_rl); in handle_divide_rl() 383 left_rl = cast_rl(type, left_orig); in handle_subtract_rl() 495 left_rl = cast_rl(type, left_rl); in handle_bitwise_AND() 502 right_rl = cast_rl(type, right_rl); in handle_bitwise_AND() 521 left_rl = cast_rl(type, left_rl); in use_rl_binop() 522 right_rl = cast_rl(type, right_rl); in use_rl_binop() 650 left_rl = cast_rl(type, left_rl); in handle_binop_rl_helper() 652 right_rl = cast_rl(type, right_rl); in handle_binop_rl_helper() 903 true_rl = cast_rl(type, true_rl); in handle_conditional_rl() [all …]
|
H A D | smatch_function_hooks.c | 283 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() 591 passed = cast_rl(compare_type, passed); in impossible_limit() 695 ret_range = cast_rl(get_type(db_info->expr), ret_range); in db_compare_callback() 901 range_rl = cast_rl(estate_type(db_info->ret_state), range_rl); in call_ranged_return_hooks() 960 ret_range = cast_rl(get_type(db_info->expr->right), ret_range); in db_assign_return_states_callback() 1033 rl = cast_rl(get_type(expr->left), rl); in handle_implied_return() 1092 rl = cast_rl(get_type(expr->left), rl); in match_assign_call() [all …]
|
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()
|
H A D | smatch_array_values.c | 180 rl = cast_rl(type, rl); in match_assign() 183 rl = cast_rl(type, rl); in match_assign()
|
H A D | smatch_real_absolute.c | 120 rl = cast_rl(type, rl); in match_assign()
|
H A D | smatch_extra.c | 1061 rl = cast_rl(get_type(left), rl); in do_array_assign() 1142 rl = cast_rl(left_type, rl); in match_vanilla_assign() 1152 rl = cast_rl(left_type, rl); in match_vanilla_assign() 1212 rl = cast_rl(left_type, rl); in match_assign() 1552 left_orig = cast_rl(type, left_orig); in handle_comparison() 1555 right_orig = cast_rl(type, right_orig); in handle_comparison() 2068 rl = cast_rl(get_type(var), rl); in handle_bit_test() 2454 abs_rl = cast_rl(rl_type(start), estate_rl(state)); in intersect_with_real_abs_expr() 2624 new = cast_rl(var_type, new); in db_param_limit_filter() 2693 added = cast_rl(param_type, added); in db_param_add_set() [all …]
|
H A D | smatch_estate.c | 350 rl = cast_rl(estate_type(state), rl); in clone_partial_estate() 433 dinfo->value_ranges = clone_rl(cast_rl(type, estate_rl(state))); in clone_estate_cast()
|
H A D | smatch_implied.c | 154 orig_rl = cast_rl(rl_type(rl), estate_rl(sm->state)); in create_fake_history() 300 var_rl = cast_rl(rl_type(rl), estate_rl(sm->state)); in do_compare() 764 rl = cast_rl(type, rl); in handle_comparison() 1056 orig = cast_rl(compare_type, orig); in param_limit_implications()
|
H A D | smatch_type_val.c | 501 rl = cast_rl(type, rl); in match_assign_value() 553 rl = cast_rl(type, rl); in match_global_assign()
|
H A D | smatch_param_set.c | 125 rl = cast_rl(get_type(expr->left), rl); in match_array_assignment()
|
H A D | smatch_address.c | 181 orig = cast_rl(&ptr_ctype, orig); in add_offset_to_pointer()
|
H A D | smatch_buf_size.c | 279 rl = cast_rl(&int_ctype, rl); in db_returns_buf_size() 730 rl = cast_rl(&int_ctype, rl); in match_alloc()
|
H A D | smatch_kernel_user_data.c | 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() 1043 rl = cast_rl(type, rl); in get_user_rl_str()
|
H A D | smatch_db.c | 1442 rl = cast_rl(cur_func_return_type(), rl); in get_return_ranges_str() 1445 rl = cast_rl(cur_func_return_type(), rl); in get_return_ranges_str() 1449 rl = cast_rl(cur_func_return_type(), rl); in get_return_ranges_str() 1617 rl = cast_rl(cur_func_return_type(), estate_rl(tmp->state)); in split_possible_helper() 1896 nonzero_rl = cast_rl(cur_func_return_type(), nonzero_rl); in call_return_state_hooks_split_success_fail()
|
H A D | smatch_extra.h | 102 struct range_list *cast_rl(struct symbol *type, struct range_list *rl);
|
H A D | smatch_comparison.c | 182 left_rl = cast_rl(type, left_rl); in rl_comparison() 183 right_rl = cast_rl(type, right_rl); in rl_comparison()
|
H A D | smatch_flow.c | 98 valid_ptr_rl = cast_rl(&ptr_ctype, valid_ptr_rl); in alloc_valid_ptr_rl()
|