Home
last modified time | relevance | path

Searched refs:get_sm_state (Results 1 – 25 of 27) sorted by relevance

12

/illumos-gate/usr/src/tools/smatch/src/
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()
250 old_sm = get_sm_state(SMATCH_EXTRA, rel->name, rel->sym); in set_equiv()
H A Dcheck_atomic_inc_dec.c118 start_sm = get_sm_state(my_id, name, sym); in db_inc_dec()
342 return_sm = get_sm_state(RETURN_ID, "return_ranges", NULL); in check_counter()
353 sm = get_sm_state(my_id, name, sym); in check_counter()
H A Dsmatch_nul_terminator.c76 sm = get_sm_state(my_id, name, sym); in get_terminated_state_var_sym()
193 sm = get_sm_state(my_id, tmp->name, tmp->sym); in split_return_info()
H A Dsmatch_parsed_conditions.c98 sm = get_sm_state(my_id, name, NULL); in parsed_condition_implication_hook()
H A Dcheck_info_leak.c75 sm = get_sm_state(my_id, name, sym); in match_copy_to_user()
H A Dsmatch_states.c256 orig = get_sm_state(sm->owner, sm->name, sm->sym); in __merge_stree_into_cur()
369 sm = get_sm_state(owner, name, sym); in __get_state()
424 struct sm_state *get_sm_state(int owner, const char *name, struct symbol *sym) in get_sm_state() function
445 ret = get_sm_state(owner, name, sym); in get_sm_state_expr()
988 new = get_sm_state(sm->owner, sm->name, sm->sym); in update_stree_with_merged()
H A Dcheck_puts_argument.c82 tmp = get_sm_state(my_id, tracker->name, tracker->sym); in match_return()
H A Dcheck_frees_argument.c85 tmp = get_sm_state(my_id, tracker->name, tracker->sym); in match_return()
H A Dcheck_check_deref.c85 sm = get_sm_state(my_id, name, sym); in check_dereference_name_sym()
H A Dsmatch_comparison.c1790 sm = get_sm_state(comparison_id, buf, NULL); in possible_comparison()
1831 sm = get_sm_state(comparison_id, tmp, NULL); in get_all_comparisons()
1855 sm = get_sm_state(comparison_id, tmp, NULL); in get_all_possible_equal_comparisons()
1885 sm = get_sm_state(comparison_id, link, NULL); in get_all_possible_not_equal_comparisons()
2179 sm = get_sm_state(comparison_id, link, NULL); in match_call_info()
2234 compare_sm = get_sm_state(comparison_id, link, NULL); in struct_member_callback()
2327 sm = get_sm_state(comparison_id, link, NULL); in print_return_comparison()
2579 sm = get_sm_state(comparison_id, link, NULL); in impossibly_high_comparison()
2782 sm = get_sm_state(comparison_id, buf, NULL); in comparison_implication_hook()
H A Dsmatch_slist.c758 cur = get_sm_state(sm->owner, sm->name, sm->sym); in call_pre_merge_hooks()
771 cur = get_sm_state(sm->owner, sm->name, sm->sym); in call_pre_merge_hooks()
932 sm = get_sm_state(one_iter.sm->owner, one_iter.sm->name, in merge_fake_stree()
941 sm = get_sm_state(two_iter.sm->owner, two_iter.sm->name, in merge_fake_stree()
H A Dcheck_locking.c665 sm = get_sm_state(my_id, name, sym); in handle_macro_lock_unlock()
697 sm = get_sm_state(my_id, name, sym); in do_lock()
721 sm = get_sm_state(my_id, name, sym); in do_unlock()
1012 return_sm = get_sm_state(RETURN_ID, "return_ranges", NULL); in check_lock()
1017 sm = get_sm_state(my_id, name, sym); in check_lock()
H A Dsmatch_param_filter.c178 sm = get_sm_state(my_id, tmp->name, tmp->sym); in print_return_value_param()
H A Dcheck_double_checking.c250 sm = get_sm_state(my_id, check->name, check->sym); in after_loop()
H A Dcheck_err_ptr_deref.c82 sm = get_sm_state(my_id, name, sym); in set_param_dereferenced()
H A Dcheck_deref.c109 sm = get_sm_state(my_id, name, sym); in check_dereference_name_sym()
H A Dsmatch_stored_conditions.c295 sm = get_sm_state(my_id, name, NULL); in stored_condition_implication_hook()
H A Dsmatch_param_set.c299 sm = get_sm_state(my_id, buf, sym); in param_was_set_var_sym()
H A Dsmatch_untracked_param.c232 } else if ((sm = get_sm_state(my_id, arg->ident->name, arg))) { in print_untracked_params()
H A Dcheck_free_strict.c260 sm = get_sm_state(my_id, name, sym); in set_param_freed()
H A Dsmatch_param_compare_limit.c191 sm = get_sm_state(compare_id, link, NULL); in print_return_comparison()
H A Dcheck_rosenberg.c185 sm = get_sm_state(my_member_id, buf, outer); in member_uninitialized()
H A Dsmatch_db.c726 sm = get_sm_state(SMATCH_EXTRA, buf, NULL); in db_return_vals()
1942 sm = get_sm_state(SMATCH_EXTRA, buf, NULL); in splitable_function_call()
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_implied.c801 sm = get_sm_state(SMATCH_EXTRA, name, sym); in handle_zero_comparison()
1046 sm = get_sm_state(SMATCH_EXTRA, name, sym); in param_limit_implications()
H A Dsmatch_extra.c842 if (get_sm_state(my_id, sm->name, sm->sym) == sm) in __iterator_unchanged()
2612 sm = get_sm_state(SMATCH_EXTRA, name, sym); in db_param_limit_filter()
2875 ret = get_sm_state(SMATCH_EXTRA, name, sym); in get_extra_sm_state()

12