Home
last modified time | relevance | path

Searched refs:estate_rl (Results 1 – 25 of 26) sorted by relevance

12

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_estate.c42 value_ranges = rl_union(estate_rl(s1), estate_rl(s2)); in merge_estates()
125 if (!state || !estate_rl(state)) in estate_has_hard_max()
147 *sval = rl_max(estate_rl(state)); in estate_get_hard_max()
156 if (!estate_rl(state)) in estate_capped()
172 if (!estate_rl(state)) in estate_treat_untagged()
185 if (!estate_rl(state)) in estate_new()
197 return rl_min(estate_rl(state)); in estate_min()
202 return rl_max(estate_rl(state)); in estate_max()
281 if (!estate_rl(state)) in estate_get_single_value()
283 min = rl_min(estate_rl(state)); in estate_get_single_value()
[all …]
H A Dsmatch_real_absolute.c50 if (!abs || !estate_rl(abs)) in extra_mod_hook()
52 rl = rl_intersection(estate_rl(abs), estate_rl(state)); in extra_mod_hook()
62 if (!extra || !estate_rl(extra)) in pre_merge_hook()
64 if (!estate_rl(cur->state)) { in pre_merge_hook()
68 rl = rl_intersection(estate_rl(cur->state), estate_rl(extra)); in pre_merge_hook()
H A Dsmatch_param_filter.c80 if (estate_rl(other->state)) in pre_merge_hook()
87 rl = rl_intersection(estate_rl(extra), estate_rl(cur->state)); in pre_merge_hook()
88 if (rl_equiv(rl, estate_rl(cur->state))) in pre_merge_hook()
143 if (is_whole_rl(estate_rl(sm->state))) in print_one_mod_param()
145 if (!estate_rl(sm->state)) { in print_one_mod_param()
156 param_name, show_rl(estate_rl(sm->state))); in print_one_mod_param()
196 if (estate_rl(state)) in param_has_filter_data()
H A Dsmatch_param_limit.c109 return estate_rl(state); in generify_mtag_range()
119 rl = estate_rl(state); in generify_mtag_range()
130 return estate_rl(state); in generify_mtag_range()
157 if (old && rl_equiv(estate_rl(old), estate_rl(state))) in print_return_value_param()
H A Dsmatch_kernel_user_data.c96 rl = rl_intersection(estate_rl(user), estate_rl(extra)); in pre_merge_hook()
113 rl = rl_intersection(estate_rl(user), estate_rl(state)); in extra_nomod_hook()
114 if (rl_equiv(rl, estate_rl(user))) in extra_nomod_hook()
473 if (state && estate_rl(state)) in points_to_user_data()
887 if (!state || !estate_rl(state)) in db_returned_user_rl()
889 *rl = estate_rl(state); in db_returned_user_rl()
962 rl = estate_rl(state); in var_user_rl()
1030 *rl = estate_rl(state); in get_user_rl_var_sym()
1097 rl = estate_rl(sm->state); in struct_member_callback()
1099 rl = rl_intersection(estate_rl(sm->state), estate_rl(state)); in struct_member_callback()
[all …]
H A Dsmatch_param_set.c56 if (!is_whole_rl(estate_rl(state))) in parent_is_set()
189 if (!estate_rl(sm->state)) in print_return_value_param_helper()
193 rl = rl_intersection(estate_rl(sm->state), estate_rl(extra)); in print_return_value_param_helper()
197 rl = estate_rl(sm->state); in print_return_value_param_helper()
H A Dsmatch_imaginary_absolute.c68 if (!state || !estate_rl(state)) in get_imaginary_absolute()
71 *rl = estate_rl(state); in get_imaginary_absolute()
H A Dcheck_zero_to_err_ptr.c145 if (!estate_rl(tmp->state)) in match_err_ptr()
147 if (is_non_zero_int(estate_rl(tmp->state))) in match_err_ptr()
149 if (has_distinct_zero(estate_rl(tmp->state))) { in match_err_ptr()
H A Dcheck_kernel.c73 after = rl_intersection(estate_rl(estate), alloc_rl(low_error, zero)); in hack_ERR_PTR()
74 if (rl_equiv(estate_rl(estate), after)) in hack_ERR_PTR()
91 if (estate_rl(pre_state)) { in match_param_valid_ptr()
92 rl = estate_rl(pre_state); in match_param_valid_ptr()
114 pre = estate_rl(pre_state); in match_param_err_or_null()
149 rl = estate_rl(pre_state); in match_err()
H A Dsmatch_math.c720 *res = clone_rl(estate_rl(state)); in handle_binop_rl()
933 if (!state || !estate_rl(state)) in get_fuzzy_min_helper()
973 return clone_rl(estate_rl(state)); in var_to_absolute_rl()
981 if (!estate_rl(state)) in var_to_absolute_rl()
983 return clone_rl(estate_rl(state)); in var_to_absolute_rl()
1043 *res = clone_rl(estate_rl(state)); in handle_variable()
1051 if (estate_rl(state) && estate_rl(abs_state)) { in handle_variable()
1053 estate_rl(abs_state))); in handle_variable()
1055 } else if (estate_rl(state)) { in handle_variable()
1078 } else if (estate_rl(abs_state)) { in handle_variable()
[all …]
H A Dsmatch_extra.c1237 if (!estate_rl(state)) in increment_state()
1255 if (!estate_rl(state)) in decrement_state()
1349 if (rl_equiv(rl, estate_rl(state))) in check_dereference()
1496 if (state && !estate_rl(state)) in is_impossible_variable()
2296 if (!estate_rl(state)) in parent_is_null_var_sym()
2439 if (!state || !estate_rl(state)) in intersect_with_real_abs_var_sym()
2451 if (!state || !estate_rl(state)) in intersect_with_real_abs_expr()
2467 rl = estate_rl(sm->state); in struct_member_callback()
2503 if (!estate_rl(sm->state)) in returned_struct_members()
2614 rl = estate_rl(sm->state); in db_param_limit_filter()
[all …]
H A Dsmatch_bits.c97 if (estate_rl(estate)) { in unmatched_state()
98 p = rl_to_binfo(estate_rl(estate)); in unmatched_state()
424 if (estate_rl(estate)) { in struct_member_callback()
430 implied_binfo = rl_to_binfo(estate_rl(estate)); in struct_member_callback()
H A Dsmatch_function_hooks.c460 if (estate_rl(orig)) { in fake_a_param_assignment()
465 if (estate_rl(faked)) { in fake_a_param_assignment()
466 rl = rl_intersection(estate_rl(faked), estate_rl(orig)); in fake_a_param_assignment()
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()
582 passed = estate_rl(state); in impossible_limit()
902 if (possibly_true_rl(range_rl, SPECIAL_EQUAL, estate_rl(db_info->ret_state))) in call_ranged_return_hooks()
H A Dsmatch_implied.c151 if (!estate_rl(sm->state)) in create_fake_history()
154 orig_rl = cast_rl(rl_type(rl), estate_rl(sm->state)); in create_fake_history()
162 rl_equiv(estate_rl(sm->state), true_rl) || rl_equiv(estate_rl(sm->state), false_rl)) in create_fake_history()
300 var_rl = cast_rl(rl_type(rl), estate_rl(sm->state)); in do_compare()
1055 orig = estate_rl(sm->state); in param_limit_implications()
H A Dsmatch_mtag.c139 if (!rl_intersection(estate_rl(state), valid_ptr_rl)) in get_mtag_return()
156 rl = rl_filter(estate_rl(state), valid_ptr_rl); in get_mtag_return()
H A Dsmatch_db.c728 return clone_rl(estate_rl(sm->state)); in db_return_vals()
1617 rl = cast_rl(cur_func_return_type(), estate_rl(tmp->state)); in split_possible_helper()
1660 if (!estate_rl(tmp->state)) in has_possible_negative()
1779 if (!estate_rl(state)) in call_return_state_hooks_split_null_non_null_zero()
1792 rl = estate_rl(state); in call_return_state_hooks_split_null_non_null_zero()
1838 rl = estate_rl(tmp->state); in is_kernel_success_fail()
1885 rl = estate_rl(sm->state); in call_return_state_hooks_split_success_fail()
1961 if (rl_min(estate_rl(sm->state)).value != 0 || in find_bool_param()
1962 rl_max(estate_rl(sm->state)).value != 1) in find_bool_param()
H A Dsmatch_buf_size.c67 if (!state || !estate_rl(state)) in estate_to_size()
327 return estate_rl(state); in get_stored_size_bytes()
852 if (!estate_rl(sm->state) || in struct_member_callback()
H A Dcheck_err_ptr_deref.c90 if (!estate || !possibly_true_rl(estate_rl(estate), SPECIAL_EQUAL, err_ptr_rl)) in set_param_dereferenced()
H A Dcheck_nospec.c209 if (is_whole_rl(estate_rl(sm->state))) in mark_user_data_as_nospec()
H A Dsmatch_mtag_data.c190 new = rl_union(orig, estate_rl(state)); in update_mtag_data()
H A Dsmatch_strlen.c242 *rl = estate_rl(state); in get_strlen_from_state()
H A Dsmatch_extra.h136 struct range_list *estate_rl(struct smatch_state *state);
H A Dcheck_atomic_inc_dec.c364 bucket = success_fail_positive(estate_rl(return_sm->state)); in check_counter()
H A Dsmatch_parse_call_math.c164 *rl = estate_rl(state); in read_rl_from_var()
H A Dcheck_locking.c1030 is_EINTR(estate_rl(return_sm->state))) in check_lock()
1033 bucket = success_fail_positive(estate_rl(return_sm->state)); in check_lock()

12