| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_param_limit.c | 57 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 D | smatch_equiv.c | 151 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 D | smatch_param_filter.c | 42 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 D | smatch_extra.c | 186 estate_is_unknown(state) && !get_state(SMATCH_EXTRA, name, sym)) in set_extra_mod_helper()
188 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()
442 orig_state = get_state(SMATCH_EXTRA, name, sym); in set_extra_nomod()
462 estate = get_state(SMATCH_EXTRA, rel->name, rel->sym); in set_extra_nomod()
519 set_true_false_states(SMATCH_EXTRA, new_name, new_sym, true_state, false_state); in set_extra_true_false()
522 orig_state = get_state(SMATCH_EXTRA, name, sym); in set_extra_true_false()
525 set_true_false_states(SMATCH_EXTRA, name, sym, true_state, false_state); in set_extra_true_false()
535 set_true_false_states(SMATCH_EXTRA, rel->name, rel->sym, in set_extra_true_false()
[all …]
|
| H A D | check_kernel.c | 69 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 D | smatch_capped.c | 45 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 D | smatch_implied.c | 704 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 D | check_return_enomem.c | 48 FOR_EACH_MY_SM(SMATCH_EXTRA, stree, sm) { in match_return()
|
| H A D | check_err_ptr_deref.c | 89 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 D | check_debug.c | 38 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 D | check_dma_mapping_error.c | 63 state = get_state_expr(SMATCH_EXTRA, ret_value); in match_return()
|
| H A D | check_return_efault.c | 72 state = get_state_expr(SMATCH_EXTRA, ret_value); in match_return_var()
|
| H A D | smatch_real_absolute.c | 61 extra = get_state(SMATCH_EXTRA, cur->name, cur->sym); in pre_merge_hook()
|
| H A D | smatch_db.c | 726 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 D | smatch_fresh_alloc.c | 74 state = get_state(SMATCH_EXTRA, cur->name, cur->sym); in pre_merge_hook()
|
| H A D | check_zero_to_err_ptr.c | 131 sm = get_sm_state_expr(SMATCH_EXTRA, arg_expr); in match_err_ptr()
|
| H A D | smatch_bits.c | 96 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 D | smatch_container_of.c | 457 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 D | smatch_param_set.c | 191 extra = __get_state(SMATCH_EXTRA, sm->name, sm->sym); in print_return_value_param_helper()
|
| H A D | check_free_strict.c | 53 state = get_state(SMATCH_EXTRA, sm->name, sm->sym); in unmatched_state()
|
| H A D | smatch_estate.c | 447 state = get_state_expr(SMATCH_EXTRA, expr); in get_implied_estate()
|
| H A D | smatch_parse_call_math.c | 161 state = get_state(SMATCH_EXTRA, buf, sym); in read_rl_from_var()
|
| H A D | smatch_function_hooks.c | 577 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 D | smatch_kernel_user_data.c | 93 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 D | smatch_slist.c | 158 if (a->owner == SMATCH_EXTRA) { in cmp_possible_sm()
|