Home
last modified time | relevance | path

Searched refs:data_range (Results 1 – 10 of 10) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_ranges.c24 ALLOCATOR(data_range, "data range");
25 __DO_ALLOCATOR(struct data_range, sizeof(struct data_range), __alignof__(struct data_range),
40 static char *get_err_pointer_str(struct data_range *drange) in get_err_pointer_str()
65 struct data_range *prev_drange = NULL; in show_rl()
66 struct data_range *tmp; in show_rl()
661 struct data_range *tmp; in rl_is_sane()
697 struct data_range *drange; in is_whole_rl()
709 struct data_range *drange; in is_unknown_ptr()
728 struct data_range *drange; in is_whole_rl_non_zero()
747 struct data_range *drange; in rl_min()
[all …]
H A Dsmatch_extra.h18 DECLARE_PTR_LIST(range_list, struct data_range);
49 struct data_range *alloc_range(sval_t min, sval_t max);
50 struct data_range *alloc_range_perm(sval_t min, sval_t max);
61 void tack_on(struct range_list **list, struct data_range *drange);
63 int true_comparison_range(struct data_range *left, int comparison, struct data_range *right);
64 int true_comparison_range_LR(int comparison, struct data_range *var, struct data_range *val, int le…
65 int false_comparison_range_LR(int comparison, struct data_range *var, struct data_range *val, int l…
76 int ranges_equiv(struct data_range *one, struct data_range *two);
H A Dcheck_arm64_tagged.c134 struct data_range *tmp; in rl_is_larger_or_equal()
145 struct data_range *tmp; in rl_range_has_min_value()
H A Dcheck_zero_to_err_ptr.c79 struct data_range *tmp; in is_non_zero_int()
113 struct data_range *tmp; in has_distinct_zero()
H A Dsmatch_function_hooks.c38 struct data_range *range;
222 struct data_range *drange) in get_same_ranged_call_backs()
236 static int in_list_exact_sval(struct range_list *list, struct data_range *drange) in in_list_exact_sval()
238 struct data_range *tmp; in in_list_exact_sval()
308 struct data_range *value_range; in call_implies_callbacks()
H A Dsmatch_param_limit.c106 struct data_range *drange; in generify_mtag_range()
H A Dsmatch_math.c210 struct data_range *drange; in handle_minus_preop()
233 struct data_range *drange; in handle_minus_preop()
600 struct data_range *tmp; in has_actual_ranges()
612 struct data_range *left_drange, *right_drange; in handle_implied_binop()
776 struct data_range tmp_left, tmp_right; in handle_comparison_rl()
H A Dsmatch_buf_size.c575 struct data_range *range; in get_array_size_bytes_min()
H A Dsmatch_implied.c88 static struct data_range *my_range; in tmp_range_list()
H A Dsmatch.h614 struct data_range { struct