| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_start_states.c | 29 static struct stree *start_states; variable
33 start_states = clone_stree(__get_cur_stree()); in save_start_states()
38 push_stree(&saved_stack, start_states); in match_save_states()
39 start_states = NULL; in match_save_states()
44 free_stree(&start_states); in match_restore_states()
45 start_states = pop_stree(&saved_stack); in match_restore_states()
50 free_stree(&start_states); in match_end_func()
55 return start_states; in get_start_states()
|
| H A D | smatch_param_limit.c | 52 static struct stree *start_states; variable
57 start_states = get_all_states_stree(SMATCH_EXTRA); in save_start_states()
62 free_stree(&start_states); in free_start_states()
156 old = get_state_stree(start_states, SMATCH_EXTRA, tmp->name, tmp->sym); in print_return_value_param()
184 push_stree(&saved_stack, start_states); in match_save_states()
185 start_states = NULL; in match_save_states()
190 free_stree(&start_states); in match_restore_states()
191 start_states = pop_stree(&saved_stack); in match_restore_states()
|
| H A D | smatch_param_filter.c | 38 static struct stree *start_states; variable
42 start_states = get_all_states_stree(SMATCH_EXTRA); in save_start_states()
47 free_stree(&start_states); in free_start_states()
52 push_stree(&saved_stack, start_states); in match_save_states()
53 start_states = NULL; in match_save_states()
58 free_stree(&start_states); in match_restore_states()
59 start_states = pop_stree(&saved_stack); in match_restore_states()
|
| H A D | check_atomic_inc_dec.c | 45 static struct stree *start_states; variable
51 orig = get_state_stree(start_states, my_id, name, sym); in set_start_state()
53 set_state_stree(&start_states, my_id, name, sym, start); in set_start_state()
55 set_state_stree(&start_states, my_id, name, sym, &undefined); in set_start_state()
284 if (sm->state == get_state_stree(start_states, my_id, sm->name, sm->sym)) in match_return_info()
347 if (get_state_stree(start_states, my_id, name, sym) == &inc) in check_counter()
413 push_stree(&saved_stack, start_states); in match_save_states()
414 start_states = NULL; in match_save_states()
419 start_states = pop_stree(&saved_stack); in match_restore_states()
424 free_stree(&start_states); in match_after_func()
|
| H A D | check_locking.c | 431 static struct stree *start_states; variable
578 orig = get_state_stree(start_states, my_id, name, sym); in set_start_state()
580 set_state_stree(&start_states, my_id, name, sym, start); in set_start_state()
582 set_state_stree(&start_states, my_id, name, sym, &undefined); in set_start_state()
837 orig = get_state_stree(start_states, my_id, sm->name, sm->sym); in get_start_state()
1213 push_stree(&saved_stack, start_states); in match_save_states()
1214 start_states = NULL; in match_save_states()
1219 start_states = pop_stree(&saved_stack); in match_restore_states()
1224 free_stree(&start_states); in match_after_func()
|
| H A D | smatch_kernel_user_data.c | 57 static struct stree *start_states; variable
61 start_states = clone_stree(__get_cur_stree()); in save_start_states()
66 free_stree(&start_states); in free_start_states()
71 push_stree(&saved_stack, start_states); in match_save_states()
72 start_states = NULL; in match_save_states()
77 free_stree(&start_states); in match_restore_states()
78 start_states = pop_stree(&saved_stack); in match_restore_states()
1372 start_state = get_state_stree(start_states, my_id, sm->name, sm->sym); in param_set_to_user_data()
|
| H A D | check_nospec.c | 99 struct stree *start_states = get_start_states(); in returned_struct_members() local
109 if (get_state_stree(start_states, my_id, sm->name, sm->sym) == sm->state) in returned_struct_members()
|
| H A D | smatch_db.c | 1948 struct stree *start_states; in find_bool_param() local
1953 start_states = get_start_states(); in find_bool_param()
1958 sm = get_sm_state_stree(start_states, SMATCH_EXTRA, arg->ident->name, arg); in find_bool_param()
|