Home
last modified time | relevance | path

Searched refs:alloc_whole_rl (Results 1 – 14 of 14) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_param_limit.c86 return alloc_estate_rl(alloc_whole_rl(get_real_base_type(sym))); in get_orig_estate()
100 return alloc_estate_rl(alloc_whole_rl(type)); in get_orig_estate_type()
H A Dsmatch_math.c393 left_rl = alloc_whole_rl(type); in handle_subtract_rl()
395 right_rl = alloc_whole_rl(type); in handle_subtract_rl()
494 left_rl = alloc_whole_rl(type); in handle_bitwise_AND()
501 right_rl = alloc_whole_rl(type); in handle_bitwise_AND()
978 return alloc_whole_rl(get_type(expr)); in var_to_absolute_rl()
1279 *res = alloc_whole_rl(type); in handle_cast()
1284 *res = alloc_whole_rl(type); in handle_cast()
1487 *res = alloc_whole_rl(type); in get_rl_sval()
1683 *rl = alloc_whole_rl(get_type(expr)); in get_absolute_rl_internal()
1692 *rl = alloc_whole_rl(get_type(expr)); in get_absolute_rl()
[all …]
H A Dsmatch_array_values.c179 rl = alloc_whole_rl(get_type(expr->right)); in match_assign()
207 update_cache(name, is_file_local(dest), alloc_whole_rl(type)); in mark_strings_unknown()
H A Dsmatch_type_val.c495 add_fake_type_val(member, alloc_whole_rl(get_type(expr->left)), is_ignored_fake_assignment()); in match_assign_value()
535 rl = alloc_whole_rl(type); in match_assign_pointer()
570 rl = alloc_whole_rl(get_type(expr)); in unop_expr()
585 rl = alloc_whole_rl(get_type(expr->expr)); in asm_expr()
H A Dsmatch_common_functions.c77 *rl = alloc_whole_rl(&ulong_ctype); in match_sprintf()
H A Dsmatch_estate.c376 return alloc_estate_rl(alloc_whole_rl(type)); in alloc_estate_whole()
451 rl = alloc_whole_rl(get_type(expr)); in get_implied_estate()
H A Dsmatch_kernel_user_data.c434 *rl = alloc_whole_rl(get_type(expr)); in get_rl_from_function()
841 *rl = alloc_whole_rl(&uint_ctype); in get_user_macro_rl()
845 *rl = alloc_whole_rl(&ushort_ctype); in get_user_macro_rl()
956 rl = alloc_whole_rl(get_type(expr)); in var_user_rl()
H A Dsmatch_equiv.c217 rl = alloc_whole_rl(get_type(right)); in set_equiv()
H A Dsmatch_ranges.c683 dinfo.value_ranges = alloc_whole_rl(type); in str_to_rl()
821 return alloc_whole_rl(min.type); in alloc_rl()
827 struct range_list *alloc_whole_rl(struct symbol *type) in alloc_whole_rl() function
1506 return alloc_whole_rl(type); in cast_rl()
1518 return alloc_whole_rl(type); in cast_rl()
1752 return alloc_whole_rl(rl_type(left)); in ptr_add_mult()
H A Dsmatch_extra.c1063 rl = alloc_whole_rl(get_type(left)); in do_array_assign()
1131 state = alloc_estate_rl(alloc_whole_rl(left_type)); in match_vanilla_assign()
1151 rl = alloc_whole_rl(right_type); in match_vanilla_assign()
1567 split_comparison_rl(alloc_whole_rl(type), op, right_orig, &tmp_true, &tmp_false, NULL, NULL); in handle_comparison()
1577 split_comparison_rl(alloc_whole_rl(type), op, right_orig, NULL, NULL, &tmp_true, &tmp_false); in handle_comparison()
2616 rl = alloc_whole_rl(compare_type); in db_param_limit_filter()
H A Dsmatch_extra.h57 struct range_list *alloc_whole_rl(struct symbol *type);
H A Dcheck_kernel.c116 pre = alloc_whole_rl(&ptr_ctype); in match_param_err_or_null()
H A Dsmatch_parse_call_math.c104 res = alloc_whole_rl(&llong_ctype); in rl_pop_until()
H A Dsmatch_function_hooks.c697 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()