Home
last modified time | relevance | path

Searched refs:alloc_rl (Results 1 – 17 of 17) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_address.c187 *rl = alloc_rl(min, max); in add_offset_to_pointer()
202 *rl = rl_binop(orig, '+', alloc_rl(sval, sval)); in add_offset_to_pointer()
211 return alloc_rl(valid_ptr_min_sval, valid_ptr_max_sval); in where_allocated_rl()
228 *rl = alloc_rl(valid_ptr_min_sval, valid_ptr_max_sval); in handle_fn_address()
296 bytes_rl = alloc_rl(bytes, bytes); in get_address_rl()
310 *rl = alloc_rl(valid_ptr_min_sval, valid_ptr_max_sval); in get_address_rl()
335 *rl = alloc_rl(valid_ptr_min_sval, valid_ptr_max_sval); in get_address_rl()
343 *rl = alloc_rl(array_min_sval, array_max_sval); in get_address_rl()
H A Dsmatch_common_functions.c35 *rl = alloc_rl(sval_type_val(&ulong_ctype, 0), in match_strlen()
39 *rl = alloc_rl(sval_type_val(&ulong_ctype, 0), in match_strlen()
59 *rl = alloc_rl(bound, bound); in match_strnlen()
79 *rl = alloc_rl(ll_to_sval(min), ll_to_sval(max)); in match_sprintf()
H A Dcheck_kernel.c36 *rl = alloc_rl(err_ptr_min, err_ptr_max); in implied_err_cast_return()
71 after = alloc_rl(low_error, minus_one); in hack_ERR_PTR()
73 after = rl_intersection(estate_rl(estate), alloc_rl(low_error, zero)); in hack_ERR_PTR()
96 rl = alloc_rl(valid_ptr_min_sval, valid_ptr_max_sval); in match_param_valid_ptr()
135 rl = alloc_rl(valid_ptr_min_sval, valid_ptr_max_sval); in match_not_err()
151 rl = alloc_rl(err_ptr_min, err_ptr_max); in match_err()
152 rl = rl_intersection(rl, alloc_rl(err_ptr_min, err_ptr_max)); in match_err()
228 *rl = alloc_rl(min, max); in match_next_bit()
255 *rl = alloc_rl(sval, sval); in match_fls()
261 *rl = alloc_rl(start, end); in match_fls()
H A Dsmatch_math.c154 *res = alloc_rl(zero, one); in handle_negate_rl()
375 *res = alloc_rl(tmp, tmp); in handle_subtract_rl()
464 *res = alloc_rl(sval, sval); in handle_mod_rl()
559 *res = alloc_rl(min, max); in handle_right_shift()
691 *res = alloc_rl(min, max); in handle_binop_rl_helper()
802 *res = alloc_rl(zero, one); in handle_comparison_rl()
847 *res = alloc_rl(zero, one); in handle_logical_rl()
1102 *res = alloc_rl(min, max); in handle_variable()
1502 *res = alloc_rl(sval, sval); in get_rl_internal()
1515 *res = alloc_rl(sval, sval); in get_rl_helper()
[all …]
H A Dcheck_signed.c267 rl_left_orig = alloc_rl(known, known); in match_condition()
272 rl_right_orig = alloc_rl(min, max); in match_condition()
275 rl_right_orig = alloc_rl(known, known); in match_condition()
280 rl_left_orig = alloc_rl(min, max); in match_condition()
H A Dsmatch_annotate.c34 *res = alloc_rl(sval_type_val(rl_type(rl), 0), rl_max(rl)); in param_caps_return()
H A Dsmatch_ranges.c816 struct range_list *alloc_rl(sval_t min, sval_t max) in alloc_rl() function
1626 return alloc_rl(zero, max); in handle_mod_rl()
1702 return alloc_rl(min, max); in divide_rl_helper()
1744 return alloc_rl(res, res); in ptr_add_mult()
1748 ret = alloc_rl(valid_ptr_min_sval, valid_ptr_max_sval); in ptr_add_mult()
1770 return alloc_rl(min, max); in handle_add_mult_rl()
1829 return alloc_rl(min, max); in handle_sub_rl()
1861 return cast_rl(rl_type(left), alloc_rl(min, max)); in handle_OR_rl()
1880 return cast_rl(rl_type(left), alloc_rl(zero, max)); in handle_XOR_rl()
1912 rl = alloc_rl(min, max); in handle_AND_rl()
[all …]
H A Dsmatch_buf_size.c90 return alloc_rl(sval, sval); in size_to_rl()
470 return alloc_rl(sval, sval); in alloc_int_rl()
758 store_alloc(expr->left, alloc_rl(page_size, page_size)); in match_page()
796 store_alloc(expr->left, alloc_rl(sval, sval)); in match_alloc_pages()
H A Dcheck_err_ptr_deref.c237 err_ptr_rl = clone_rl_permanent(alloc_rl(err_ptr_min, err_ptr_max)); in check_err_ptr_deref()
H A Dsmatch_strlen.c230 *rl = alloc_rl(sval, sval); in get_strlen_from_string()
H A Dsmatch_mtag.c280 return alloc_rl(sval, sval); in swap_mtag_seed()
H A Dsmatch_extra.c1405 alloc_rl(valid_ptr_min_sval, in set_param_dereferenced()
1764 *rl_p = rl_binop(rl, flip_op(expr->op), alloc_rl(sval, sval)); in move_known_to_rl()
1772 *rl_p = rl_binop(rl, flip_op(expr->op), alloc_rl(sval, sval)); in move_known_to_rl()
2067 rl = alloc_rl(low, high); in handle_bit_test()
2242 filter = alloc_rl(sval_type_min(offset_type), in assume_indexes_are_valid()
2568 left_rl = rl_binop(rl, '/', alloc_rl(sval, sval)); in db_param_limit_binops()
H A Dsmatch_extra.h54 struct range_list *alloc_rl(sval_t min, sval_t max);
H A Dsmatch_parse_call_math.c182 *rl = alloc_rl(sval, sval); in read_var_num()
H A Dsmatch_function_hooks.c282 rl = alloc_rl(tmp->range->min, tmp->range->max); in assign_ranged_funcs()
900 range_rl = alloc_rl(tmp->range->min, tmp->range->max); in call_ranged_return_hooks()
H A Dsmatch_flow.c97 valid_ptr_rl = alloc_rl(valid_ptr_min_sval, valid_ptr_max_sval); in alloc_valid_ptr_rl()
821 rl = alloc_rl(sval, sval); in split_known_switch()
H A Dsmatch_db.c1433 *rl_p = alloc_rl(sval, sval); in get_return_ranges_str()