usr/src/tools/smatch/src/check_atomic_inc_dec.c

413

push_stree(&saved_stack, start_states);

usr/src/tools/smatch/src/check_locking.c

1213

push_stree(&saved_stack, start_states);

usr/src/tools/smatch/src/smatch_kernel_user_data.c

71

push_stree(&saved_stack, start_states);

usr/src/tools/smatch/src/smatch_param_filter.c

52

push_stree(&saved_stack, start_states);

usr/src/tools/smatch/src/smatch_param_limit.c

184

push_stree(&saved_stack, start_states);

usr/src/tools/smatch/src/smatch_param_used.c

101

push_stree(&saved_stack, used_stree);

usr/src/tools/smatch/src/smatch_returns.c

77

push_stree(&return_stree_stack, stree);

usr/src/tools/smatch/src/smatch_returns.c

92

push_stree(&saved_stack, all_return_states);

usr/src/tools/smatch/src/smatch_slist.c

1047

push_stree(pre_conds, clone_stree(pre_stree));

usr/src/tools/smatch/src/smatch_slist.c

1058

push_stree(stack, res);

usr/src/tools/smatch/src/smatch_slist.c

561

push_stree(stack, stree);

usr/src/tools/smatch/src/smatch_slist.c

608

push_stree(stack, stree);

usr/src/tools/smatch/src/smatch_slist.c

658

push_stree(stack, stree);

usr/src/tools/smatch/src/smatch_slist.c

675

push_stree(&stack, stree);

usr/src/tools/smatch/src/smatch_slist.c

850

push_stree(&all_pools, implied_one);

usr/src/tools/smatch/src/smatch_slist.c

851

push_stree(&all_pools, implied_two);

usr/src/tools/smatch/src/smatch_slist.h

58

void push_stree(struct stree_stack **list_stack, struct stree *stree);

usr/src/tools/smatch/src/smatch_start_states.c

38

push_stree(&saved_stack, start_states);

usr/src/tools/smatch/src/smatch_states.c

1009

push_stree(&fake_cur_stree_stack, stree);

usr/src/tools/smatch/src/smatch_states.c

1024

push_stree(&continue_stack, NULL);

usr/src/tools/smatch/src/smatch_states.c

1045

push_stree(&continue_stack, stree);

usr/src/tools/smatch/src/smatch_states.c

1059

push_stree(&break_stack, NULL);

usr/src/tools/smatch/src/smatch_states.c

1061

push_stree(&fake_break_stack, NULL);

usr/src/tools/smatch/src/smatch_states.c

1073

push_stree(&break_stack, stree);

usr/src/tools/smatch/src/smatch_states.c

1083

push_stree(&fake_break_stack, stree);

usr/src/tools/smatch/src/smatch_states.c

1093

push_stree(&break_stack, stree);

usr/src/tools/smatch/src/smatch_states.c

1143

push_stree(&switch_stack, clone_stree(cur_stree));

usr/src/tools/smatch/src/smatch_states.c

1163

push_stree(&switch_stack, stree);

usr/src/tools/smatch/src/smatch_states.c

1169

push_stree(&switch_stack, stree);

usr/src/tools/smatch/src/smatch_states.c

1183

push_stree(&default_stack, NULL);

usr/src/tools/smatch/src/smatch_states.c

213

push_stree(&fake_cur_stree_stack, NULL);

usr/src/tools/smatch/src/smatch_states.c

501

push_stree(stack, stree);

usr/src/tools/smatch/src/smatch_states.c

782

push_stree(&cond_true_stack, NULL);

usr/src/tools/smatch/src/smatch_states.c

783

push_stree(&cond_false_stack, NULL);

usr/src/tools/smatch/src/smatch_states.c

813

push_stree(&cond_true_stack, clone_stree(ret));

usr/src/tools/smatch/src/smatch_states.c

822

push_stree(&cond_false_stack, clone_stree(ret));

usr/src/tools/smatch/src/smatch_states.c

851

push_stree(&pre_cond_stack, clone_stree(cur_stree));

usr/src/tools/smatch/src/smatch_states.c

855

push_stree(stack, stree);

usr/src/tools/smatch/src/smatch_states.c

880

push_stree(&cond_false_stack, old_true);

usr/src/tools/smatch/src/smatch_states.c

881

push_stree(&cond_true_stack, old_false);

usr/src/tools/smatch/src/smatch_states.c

898

push_stree(&pre_cond_stack, clone_stree(cur_stree));

usr/src/tools/smatch/src/smatch_states.c

936

push_stree(&false_stack, pre_clone);

usr/src/tools/smatch/src/smatch_states.c

941

push_stree(&true_stack, clone_stree(cur_stree));

usr/src/tools/smatch/src/smatch_type_val.c

55

push_stree(&fn_type_val_stack, fn_type_val);