Home
last modified time | relevance | path

Searched refs:SMATCH_EXTRA (Results 1 – 25 of 28) sorted by relevance

12

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_param_limit.c57 start_states = get_all_states_stree(SMATCH_EXTRA); in save_start_states()
69 state = __get_state(SMATCH_EXTRA, sm->name, sm->sym); in unmatched_state()
83 state = get_state(SMATCH_EXTRA, name, sym); in get_orig_estate()
97 state = get_state(SMATCH_EXTRA, name, sym); in get_orig_estate_type()
141 FOR_EACH_MY_SM(SMATCH_EXTRA, __get_cur_stree(), tmp) { in print_return_value_param()
156 old = get_state_stree(start_states, SMATCH_EXTRA, tmp->name, tmp->sym); in print_return_value_param()
H A Dsmatch_equiv.c151 orig_sm = get_sm_state(SMATCH_EXTRA, name, sym); in remove_from_equiv()
161 old_sm = get_sm_state(SMATCH_EXTRA, rel->name, rel->sym); in remove_from_equiv()
212 right_sm = get_sm_state_expr(SMATCH_EXTRA, right); in set_equiv()
218 right_sm = set_state_expr(SMATCH_EXTRA, right, alloc_estate_rl(rl)); in set_equiv()
250 old_sm = get_sm_state(SMATCH_EXTRA, rel->name, rel->sym); in set_equiv()
267 estate = get_state_expr(SMATCH_EXTRA, expr); in set_equiv_state_expr()
H A Dsmatch_param_filter.c42 start_states = get_all_states_stree(SMATCH_EXTRA); in save_start_states()
69 state = __get_state(SMATCH_EXTRA, sm->name, sm->sym); in unmatched_state()
83 extra = get_state(SMATCH_EXTRA, cur->name, cur->sym); in pre_merge_hook()
166 FOR_EACH_MY_SM(SMATCH_EXTRA, __get_cur_stree(), tmp) { in print_return_value_param()
H A Dsmatch_extra.c188 set_state(SMATCH_EXTRA, name, sym, state); in set_extra_mod_helper()
194 set_state(SMATCH_EXTRA, name, sym, state); in set_extra_nomod_helper()
411 set_state(SMATCH_EXTRA, name, sym, state); in set_extra_array_mod()
564 set_true_false_states(SMATCH_EXTRA, name, sym, in set_extra_chunk_true_false()
952 FOR_EACH_MY_SM(SMATCH_EXTRA, stree, tmp) { in clear_the_pointed_at()
1402 orig = get_state(SMATCH_EXTRA, name, sym); in set_param_dereferenced()
2272 estate = get_state(SMATCH_EXTRA, name, sym); in implied_not_equal_name_sym()
2612 sm = get_sm_state(SMATCH_EXTRA, name, sym); in db_param_limit_filter()
2688 state = get_state(SMATCH_EXTRA, name, sym); in db_param_add_set()
2788 state = get_state_expr(SMATCH_EXTRA, arg); in match_call_info()
[all …]
H A Dcheck_kernel.c69 estate = get_state(SMATCH_EXTRA, arg->ident->name, arg); in hack_ERR_PTR()
77 set_state(SMATCH_EXTRA, arg->ident->name, arg, alloc_estate_rl(after)); in hack_ERR_PTR()
90 pre_state = get_state_expr(SMATCH_EXTRA, arg); in match_param_valid_ptr()
112 pre_state = get_state_expr(SMATCH_EXTRA, arg); in match_param_err_or_null()
132 pre_state = get_state_expr(SMATCH_EXTRA, arg); in match_not_err()
148 pre_state = get_state_expr(SMATCH_EXTRA, arg); in match_err()
H A Dsmatch_capped.c45 state = __get_state(SMATCH_EXTRA, sm->name, sm->sym); in unmatched_state()
243 estate = __get_state(SMATCH_EXTRA, sm->name, sm->sym); in struct_member_callback()
272 estate = __get_state(SMATCH_EXTRA, sm->name, sm->sym); in print_return_implies_capped()
296 estate = __get_state(SMATCH_EXTRA, sm->name, sm->sym); in print_return_implies_capped()
H A Dsmatch_implied.c704 sm = get_sm_state_expr(SMATCH_EXTRA, expr); in is_merged_expr()
717 state = get_state(SMATCH_EXTRA, name, sym); in delete_gate_sm_equiv()
721 delete_state_stree(stree, SMATCH_EXTRA, rel->name, rel->sym); in delete_gate_sm_equiv()
727 delete_state_stree(stree, SMATCH_EXTRA, name, sym); in delete_gate_sm()
746 sm = get_sm_state_expr(SMATCH_EXTRA, left); in handle_comparison()
749 sm = get_sm_state_expr(SMATCH_EXTRA, right); in handle_comparison()
801 sm = get_sm_state(SMATCH_EXTRA, name, sym); in handle_zero_comparison()
959 separate_implication_states(implied_true, implied_false, SMATCH_EXTRA); in get_tf_states()
1046 sm = get_sm_state(SMATCH_EXTRA, name, sym); in param_limit_implications()
1110 sm = get_sm_state_stree(*raw_stree, SMATCH_EXTRA, name, sym); in __implied_case_stree()
H A Dcheck_return_enomem.c48 FOR_EACH_MY_SM(SMATCH_EXTRA, stree, sm) { in match_return()
H A Dcheck_err_ptr_deref.c89 estate = get_state(SMATCH_EXTRA, name, sym); in set_param_dereferenced()
197 sm = get_sm_state_expr(SMATCH_EXTRA, arg); in match_err_ptr()
H A Dcheck_debug.c38 stree = get_all_states_stree(SMATCH_EXTRA); in match_all_values()
110 FOR_EACH_MY_SM(SMATCH_EXTRA, stree, tmp) { in match_print_value()
365 FOR_EACH_MY_SM(SMATCH_EXTRA, stree, tmp) { in match_possible()
451 FOR_EACH_MY_SM(SMATCH_EXTRA, stree, tmp) { in match_dump_related()
640 sm = get_sm_state_expr(SMATCH_EXTRA, arg); in match_print_merge_tree()
H A Dcheck_dma_mapping_error.c63 state = get_state_expr(SMATCH_EXTRA, ret_value); in match_return()
H A Dcheck_return_efault.c72 state = get_state_expr(SMATCH_EXTRA, ret_value); in match_return_var()
H A Dsmatch_real_absolute.c61 extra = get_state(SMATCH_EXTRA, cur->name, cur->sym); in pre_merge_hook()
H A Dsmatch_fresh_alloc.c74 state = get_state(SMATCH_EXTRA, cur->name, cur->sym); in pre_merge_hook()
H A Dcheck_zero_to_err_ptr.c131 sm = get_sm_state_expr(SMATCH_EXTRA, arg_expr); in match_err_ptr()
H A Dsmatch_db.c726 sm = get_sm_state(SMATCH_EXTRA, buf, NULL); in db_return_vals()
1648 sm = get_sm_state_expr(SMATCH_EXTRA, expr); in call_return_state_hooks_split_possible()
1707 sm = get_sm_state_expr(SMATCH_EXTRA, expr); in split_positive_from_negative()
1773 sm = get_sm_state_expr(SMATCH_EXTRA, expr); in call_return_state_hooks_split_null_non_null_zero()
1877 sm = get_sm_state_expr(SMATCH_EXTRA, expr); in call_return_state_hooks_split_success_fail()
1942 sm = get_sm_state(SMATCH_EXTRA, buf, NULL); in splitable_function_call()
1958 sm = get_sm_state_stree(start_states, SMATCH_EXTRA, arg->ident->name, arg); in find_bool_param()
2034 sm = get_sm_state(SMATCH_EXTRA, start_sm->name, start_sm->sym); in split_by_bool_param()
2061 sm = get_sm_state(SMATCH_EXTRA, arg->ident->name, arg); in split_by_null_nonnull_param()
H A Dsmatch_bits.c96 estate = get_state(SMATCH_EXTRA, sm->name, sm->sym); in unmatched_state()
420 estate = get_state(SMATCH_EXTRA, sm->name, sm->sym); in struct_member_callback()
H A Dsmatch_container_of.c457 set_state_stree(stree, SMATCH_EXTRA, name, arg, alloc_estate_rl(rl)); in set_param_value()
544 set_state_stree(&db_info.stree, SMATCH_EXTRA, arg->ident->name, arg, alloc_estate_sval(sval)); in load_tag_info_sym()
H A Dsmatch_param_set.c191 extra = __get_state(SMATCH_EXTRA, sm->name, sm->sym); in print_return_value_param_helper()
H A Dcheck_free_strict.c53 state = get_state(SMATCH_EXTRA, sm->name, sm->sym); in unmatched_state()
H A Dsmatch_estate.c447 state = get_state_expr(SMATCH_EXTRA, expr); in get_implied_estate()
H A Dsmatch_parse_call_math.c161 state = get_state(SMATCH_EXTRA, buf, sym); in read_rl_from_var()
H A Dsmatch_function_hooks.c577 state = get_state(SMATCH_EXTRA, name, sym); in impossible_limit()
1162 set_state(SMATCH_EXTRA, buf, NULL, state); in db_return_states_callback()
H A Dsmatch_kernel_user_data.c93 extra = __get_state(SMATCH_EXTRA, cur->name, cur->sym); in pre_merge_hook()
1095 state = __get_state(SMATCH_EXTRA, sm->name, sm->sym); in struct_member_callback()
H A Dsmatch_slist.c158 if (a->owner == SMATCH_EXTRA) { in cmp_possible_sm()

12