Home
last modified time | relevance | path

Searched refs:cast_rl (Results 1 – 20 of 20) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_ranges.c400 *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 Dcheck_signed.c268 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 Dsmatch_common_functions.c29 *rl = cast_rl(&ulong_ctype, *rl); in match_strlen()
80 *rl = cast_rl(get_type(call), *rl); in match_sprintf()
H A Dsmatch_math.c281 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 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()
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 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()
H A Dsmatch_array_values.c180 rl = cast_rl(type, rl); in match_assign()
183 rl = cast_rl(type, rl); in match_assign()
H A Dsmatch_real_absolute.c120 rl = cast_rl(type, rl); in match_assign()
H A Dsmatch_extra.c1061 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 Dsmatch_estate.c350 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 Dsmatch_implied.c154 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 Dsmatch_type_val.c501 rl = cast_rl(type, rl); in match_assign_value()
553 rl = cast_rl(type, rl); in match_global_assign()
H A Dsmatch_address.c181 orig = cast_rl(&ptr_ctype, orig); in add_offset_to_pointer()
H A Dsmatch_param_set.c125 rl = cast_rl(get_type(expr->left), rl); in match_array_assignment()
H A Dsmatch_buf_size.c279 rl = cast_rl(&int_ctype, rl); in db_returns_buf_size()
730 rl = cast_rl(&int_ctype, rl); in match_alloc()
H A Dsmatch_kernel_user_data.c597 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 Dsmatch_db.c1442 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 Dsmatch_extra.h102 struct range_list *cast_rl(struct symbol *type, struct range_list *rl);
H A Dsmatch_comparison.c182 left_rl = cast_rl(type, left_rl); in rl_comparison()
183 right_rl = cast_rl(type, right_rl); in rl_comparison()
H A Dsmatch_flow.c98 valid_ptr_rl = cast_rl(&ptr_ctype, valid_ptr_rl); in alloc_valid_ptr_rl()