/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_estate.c | 42 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 D | smatch_real_absolute.c | 50 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 D | smatch_param_filter.c | 80 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 D | smatch_param_limit.c | 109 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 D | smatch_kernel_user_data.c | 96 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 D | smatch_param_set.c | 56 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 D | smatch_imaginary_absolute.c | 68 if (!state || !estate_rl(state)) in get_imaginary_absolute() 71 *rl = estate_rl(state); in get_imaginary_absolute()
|
H A D | check_zero_to_err_ptr.c | 145 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 D | check_kernel.c | 73 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 D | smatch_math.c | 720 *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 D | smatch_extra.c | 1237 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 D | smatch_bits.c | 97 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 D | smatch_function_hooks.c | 460 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 D | smatch_implied.c | 151 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 D | smatch_mtag.c | 139 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 D | smatch_db.c | 728 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 D | smatch_buf_size.c | 67 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 D | check_err_ptr_deref.c | 90 if (!estate || !possibly_true_rl(estate_rl(estate), SPECIAL_EQUAL, err_ptr_rl)) in set_param_dereferenced()
|
H A D | check_nospec.c | 209 if (is_whole_rl(estate_rl(sm->state))) in mark_user_data_as_nospec()
|
H A D | smatch_mtag_data.c | 190 new = rl_union(orig, estate_rl(state)); in update_mtag_data()
|
H A D | smatch_strlen.c | 242 *rl = estate_rl(state); in get_strlen_from_state()
|
H A D | smatch_extra.h | 136 struct range_list *estate_rl(struct smatch_state *state);
|
H A D | check_atomic_inc_dec.c | 364 bucket = success_fail_positive(estate_rl(return_sm->state)); in check_counter()
|
H A D | smatch_parse_call_math.c | 164 *rl = estate_rl(state); in read_rl_from_var()
|
H A D | check_locking.c | 1030 is_EINTR(estate_rl(return_sm->state))) in check_lock() 1033 bucket = success_fail_positive(estate_rl(return_sm->state)); in check_lock()
|