Lines Matching refs:rl
30 static int implied_err_cast_return(struct expression *call, void *unused, struct range_list **rl) in implied_err_cast_return() argument
35 if (!get_implied_rl(arg, rl)) in implied_err_cast_return()
36 *rl = alloc_rl(err_ptr_min, err_ptr_max); in implied_err_cast_return()
38 *rl = cast_rl(get_type(call), *rl); in implied_err_cast_return()
87 struct range_list *rl; in match_param_valid_ptr() local
92 rl = estate_rl(pre_state); in match_param_valid_ptr()
93 rl = remove_range(rl, null_ptr, null_ptr); in match_param_valid_ptr()
94 rl = remove_range(rl, err_ptr_min, err_ptr_max); in match_param_valid_ptr()
96 rl = alloc_rl(valid_ptr_min_sval, valid_ptr_max_sval); in match_param_valid_ptr()
98 end_state = alloc_estate_rl(rl); in match_param_valid_ptr()
107 struct range_list *pre, *rl; in match_param_err_or_null() local
117 call_results_to_rl(call_expr, &ptr_ctype, "0,(-4095)-(-1)", &rl); in match_param_err_or_null()
118 rl = rl_intersection(pre, rl); in match_param_err_or_null()
119 rl = cast_rl(get_type(arg), rl); in match_param_err_or_null()
120 end_state = alloc_estate_rl(rl); in match_param_err_or_null()
129 struct range_list *rl; in match_not_err() local
135 rl = alloc_rl(valid_ptr_min_sval, valid_ptr_max_sval); in match_not_err()
136 rl = cast_rl(get_type(arg), rl); in match_not_err()
137 set_extra_expr_nomod(arg, alloc_estate_rl(rl)); in match_not_err()
145 struct range_list *rl; in match_err() local
149 rl = estate_rl(pre_state); in match_err()
150 if (!rl) in match_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()
153 rl = cast_rl(get_type(arg), rl); in match_err()
154 if (pre_state && rl) { in match_err()
162 set_extra_expr_nomod(arg, alloc_estate_rl(rl)); in match_err()
205 static int match_next_bit(struct expression *call, void *unused, struct range_list **rl) in match_next_bit() argument
228 *rl = alloc_rl(min, max); in match_next_bit()
232 static int match_fls(struct expression *call, void *unused, struct range_list **rl) in match_fls() argument
255 *rl = alloc_rl(sval, sval); in match_fls()
261 *rl = alloc_rl(start, end); in match_fls()
356 struct range_list *rl; in match__write_once_size() local
367 get_absolute_rl(data, &rl); in match__write_once_size()