usr/src/cmd/cmd-inet/usr.bin/pppdump/zlib.c

1854

ct_data *stree = desc->stat_desc->static_tree;

usr/src/cmd/cmd-inet/usr.bin/pppdump/zlib.c

1886

if (stree) s->static_len += (ulg)f * (stree[n].Len + xbits);

usr/src/cmd/cmd-inet/usr.bin/pppdump/zlib.c

1982

ct_data *stree = desc->stat_desc->static_tree;

usr/src/cmd/cmd-inet/usr.bin/pppdump/zlib.c

2012

s->opt_len--; if (stree) s->static_len -= stree[node].Len;

usr/src/cmd/mv/mv.c

237

static avl_tree_t *stree = NULL; /* source file inode search tree */

usr/src/cmd/mv/mv.c

611

stree = NULL;

usr/src/cmd/mv/mv.c

807

if ((rc = add_tnode(&stree, save_dev, save_ino)) != 1) {

usr/src/cmd/mv/mv.c

841

if ((tptr = avl_find(stree, tnode, &where)) != NULL) {

usr/src/cmd/mv/mv.c

842

avl_remove(stree, tptr);

usr/src/lib/libcmdutils/common/avltree.c

162

add_tnode(avl_tree_t **stree, dev_t device, ino_t inode)

usr/src/lib/libcmdutils/common/avltree.c

171

if (*stree == NULL) {

usr/src/lib/libcmdutils/common/avltree.c

172

if ((*stree = calloc(1, sizeof (avl_tree_t)))

usr/src/lib/libcmdutils/common/avltree.c

176

avl_create(*stree,

usr/src/lib/libcmdutils/common/avltree.c

190

if (avl_find(*stree, tnode, &where) == NULL) {

usr/src/lib/libcmdutils/common/avltree.c

191

avl_insert(*stree, tnode, where);

usr/src/lib/libcmdutils/common/avltree.c

204

destroy_tree(avl_tree_t *stree)

usr/src/lib/libcmdutils/common/avltree.c

209

if (stree != NULL) {

usr/src/lib/libcmdutils/common/avltree.c

212

while ((tnode = avl_destroy_nodes(stree, &cookie)) != NULL) {

usr/src/lib/libcmdutils/common/avltree.c

215

avl_destroy(stree);

usr/src/lib/libcmdutils/common/avltree.c

216

free(stree);

usr/src/lib/libslp/clib/SLPUtils.c

101

&stree, &collator, &numResults);

usr/src/lib/libslp/clib/SLPUtils.c

109

if (!stree) {

usr/src/lib/libslp/clib/SLPUtils.c

110

(void) SAAdvert_for_scopes(hSLP, &stree);

usr/src/lib/libslp/clib/SLPUtils.c

113

if (!stree) {

usr/src/lib/libslp/clib/SLPUtils.c

123

slp_twalk(stree, collect_scopes, 0, (void *) ppcScopes);

usr/src/lib/libslp/clib/SLPUtils.c

178

SLPError err, void **stree) {

usr/src/lib/libslp/clib/SLPUtils.c

199

(void *) ascope, stree,

usr/src/lib/libslp/clib/SLPUtils.c

214

static SLPError SAAdvert_for_scopes(SLPHandle hSLP, void **stree) {

usr/src/lib/libslp/clib/SLPUtils.c

257

stree,

usr/src/lib/libslp/clib/SLPUtils.c

65

void *stree = NULL;

usr/src/lib/libslp/clib/SLPUtils.c

97

&stree, &collator, &numResults);

usr/src/tools/smatch/src/avl.c

110

AvlNode *avl_lookup_node(const struct stree *avl, const struct sm_state *sm)

usr/src/tools/smatch/src/avl.c

115

size_t stree_count(const struct stree *avl)

usr/src/tools/smatch/src/avl.c

122

static struct stree *clone_stree_real(struct stree *orig)

usr/src/tools/smatch/src/avl.c

124

struct stree *new = avl_new();

usr/src/tools/smatch/src/avl.c

134

bool avl_insert(struct stree **avl, const struct sm_state *sm)

usr/src/tools/smatch/src/avl.c

152

bool avl_remove(struct stree **avl, const struct sm_state *sm)

usr/src/tools/smatch/src/avl.c

199

static AvlNode *lookup(const struct stree *avl, AvlNode *node, const struct sm_state *sm)

usr/src/tools/smatch/src/avl.c

220

static bool insert_sm(struct stree *avl, AvlNode **p, const struct sm_state *sm)

usr/src/tools/smatch/src/avl.c

250

static bool remove_sm(struct stree *avl, AvlNode **p, const struct sm_state *sm, AvlNode **ret)

usr/src/tools/smatch/src/avl.c

32

static AvlNode *lookup(const struct stree *avl, AvlNode *node, const struct sm_state *sm);

usr/src/tools/smatch/src/avl.c

34

static bool insert_sm(struct stree *avl, AvlNode **p, const struct sm_state *sm);

usr/src/tools/smatch/src/avl.c

35

static bool remove_sm(struct stree *avl, AvlNode **p, const struct sm_state *sm, AvlNode **ret);

usr/src/tools/smatch/src/avl.c

396

bool avl_check_invariants(struct stree *avl)

usr/src/tools/smatch/src/avl.c

42

static bool checkOrder(struct stree *avl);

usr/src/tools/smatch/src/avl.c

426

static bool checkOrder(struct stree *avl)

usr/src/tools/smatch/src/avl.c

453

void avl_iter_begin(AvlIter *iter, struct stree *avl, AvlDirection dir)

usr/src/tools/smatch/src/avl.c

502

struct stree *clone_stree(struct stree *orig)

usr/src/tools/smatch/src/avl.c

511

void set_stree_id(struct stree **stree, int stree_id)

usr/src/tools/smatch/src/avl.c

513

if ((*stree)->stree_id != 0)

usr/src/tools/smatch/src/avl.c

514

*stree = clone_stree_real(*stree);

usr/src/tools/smatch/src/avl.c

516

(*stree)->stree_id = stree_id;

usr/src/tools/smatch/src/avl.c

519

int get_stree_id(struct stree *stree)

usr/src/tools/smatch/src/avl.c

521

if (!stree)

usr/src/tools/smatch/src/avl.c

523

return stree->stree_id;

usr/src/tools/smatch/src/avl.c

59

static struct stree *avl_new(void)

usr/src/tools/smatch/src/avl.c

61

struct stree *avl = malloc(sizeof(*avl));

usr/src/tools/smatch/src/avl.c

75

void free_stree(struct stree **avl)

usr/src/tools/smatch/src/avl.c

95

struct sm_state *avl_lookup(const struct stree *avl, const struct sm_state *sm)

usr/src/tools/smatch/src/avl.h

116

void avl_iter_begin(AvlIter *iter, struct stree *avl, AvlDirection dir);

usr/src/tools/smatch/src/avl.h

133

AvlNode *avl_lookup_node(const struct stree *avl, const struct sm_state *sm);

usr/src/tools/smatch/src/avl.h

136

struct stree *clone_stree(struct stree *orig);

usr/src/tools/smatch/src/avl.h

138

void set_stree_id(struct stree **stree, int id);

usr/src/tools/smatch/src/avl.h

139

int get_stree_id(struct stree *stree);

usr/src/tools/smatch/src/avl.h

36

struct stree *base_stree;

usr/src/tools/smatch/src/avl.h

43

void free_stree(struct stree **avl);

usr/src/tools/smatch/src/avl.h

46

struct sm_state *avl_lookup(const struct stree *avl, const struct sm_state *sm);

usr/src/tools/smatch/src/avl.h

52

size_t stree_count(const struct stree *avl);

usr/src/tools/smatch/src/avl.h

55

bool avl_insert(struct stree **avl, const struct sm_state *sm);

usr/src/tools/smatch/src/avl.h

62

bool avl_remove(struct stree **avl, const struct sm_state *sm);

usr/src/tools/smatch/src/avl.h

69

bool avl_check_invariants(struct stree *avl);

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

324

struct stree *stree, *orig_stree;

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

336

FOR_EACH_PTR(get_all_return_strees(), stree) {

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

337

orig_stree = __swap_cur_stree(stree);

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

376

} END_FOR_EACH_PTR(stree);

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

45

static struct stree *start_states;

usr/src/tools/smatch/src/check_debug.c

109

stree = __get_cur_stree();

usr/src/tools/smatch/src/check_debug.c

110

FOR_EACH_MY_SM(SMATCH_EXTRA, stree, tmp) {

usr/src/tools/smatch/src/check_debug.c

354

struct stree *stree;

usr/src/tools/smatch/src/check_debug.c

36

struct stree *stree;

usr/src/tools/smatch/src/check_debug.c

364

stree = __get_cur_stree();

usr/src/tools/smatch/src/check_debug.c

365

FOR_EACH_MY_SM(SMATCH_EXTRA, stree, tmp) {

usr/src/tools/smatch/src/check_debug.c

38

stree = get_all_states_stree(SMATCH_EXTRA);

usr/src/tools/smatch/src/check_debug.c

39

__print_stree(stree);

usr/src/tools/smatch/src/check_debug.c

40

free_stree(&stree);

usr/src/tools/smatch/src/check_debug.c

447

struct stree *stree;

usr/src/tools/smatch/src/check_debug.c

450

stree = __get_cur_stree();

usr/src/tools/smatch/src/check_debug.c

451

FOR_EACH_MY_SM(SMATCH_EXTRA, stree, tmp) {

usr/src/tools/smatch/src/check_debug.c

763

static struct stree *old_stree;

usr/src/tools/smatch/src/check_debug.c

99

struct stree *stree;

usr/src/tools/smatch/src/check_double_checking.c

28

struct stree *to_check;

usr/src/tools/smatch/src/check_frees_argument.c

69

struct stree *stree;

usr/src/tools/smatch/src/check_frees_argument.c

77

stree = __get_cur_stree();

usr/src/tools/smatch/src/check_frees_argument.c

78

FOR_EACH_MY_SM(my_id, stree, tmp) {

usr/src/tools/smatch/src/check_held_dev.c

68

struct stree *stree;

usr/src/tools/smatch/src/check_held_dev.c

71

stree = __get_cur_stree();

usr/src/tools/smatch/src/check_held_dev.c

72

FOR_EACH_MY_SM(my_id, stree, tmp) {

usr/src/tools/smatch/src/check_leaks.c

228

struct stree *stree;

usr/src/tools/smatch/src/check_leaks.c

231

stree = __get_cur_stree();

usr/src/tools/smatch/src/check_leaks.c

232

FOR_EACH_MY_SM(my_id, stree, tmp) {

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

1006

FOR_EACH_PTR(get_all_return_strees(), stree) {

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

1007

orig = __swap_cur_stree(stree);

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

1044

} END_FOR_EACH_PTR(stree);

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

1250

struct stree *stree;

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

1254

stree = __get_cur_stree();

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

1255

FOR_EACH_MY_SM(my_id, stree, sm) {

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

431

static struct stree *start_states;

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

996

struct stree *stree, *orig;

usr/src/tools/smatch/src/check_nospec.c

203

struct stree *stree;

usr/src/tools/smatch/src/check_nospec.c

207

stree = get_user_stree();

usr/src/tools/smatch/src/check_nospec.c

208

FOR_EACH_SM(stree, sm) {

usr/src/tools/smatch/src/check_nospec.c

218

free_stree(&stree);

usr/src/tools/smatch/src/check_nospec.c

99

struct stree *start_states = get_start_states();

usr/src/tools/smatch/src/check_puts_argument.c

66

struct stree *stree;

usr/src/tools/smatch/src/check_puts_argument.c

74

stree = __get_cur_stree();

usr/src/tools/smatch/src/check_puts_argument.c

75

FOR_EACH_MY_SM(my_id, stree, tmp) {

usr/src/tools/smatch/src/check_return_enomem.c

32

struct stree *stree;

usr/src/tools/smatch/src/check_return_enomem.c

46

stree = __get_cur_stree();

usr/src/tools/smatch/src/check_return_enomem.c

48

FOR_EACH_MY_SM(SMATCH_EXTRA, stree, sm) {

usr/src/tools/smatch/src/check_rosenberg.c

328

struct stree *stree;

usr/src/tools/smatch/src/check_rosenberg.c

333

stree = __get_cur_stree();

usr/src/tools/smatch/src/check_rosenberg.c

335

FOR_EACH_MY_SM(skb_put_id, stree, sm) {

usr/src/tools/smatch/src/check_spectre_second_half.c

27

struct stree *first_halfs;

usr/src/tools/smatch/src/check_template.c

88

struct stree *stree;

usr/src/tools/smatch/src/check_template.c

94

stree = __get_cur_stree();

usr/src/tools/smatch/src/check_template.c

95

FOR_EACH_MY_SM(my_id, stree, tmp) {

usr/src/tools/smatch/src/check_unwind.c

136

struct stree *stree;

usr/src/tools/smatch/src/check_unwind.c

149

stree = __get_cur_stree();

usr/src/tools/smatch/src/check_unwind.c

150

FOR_EACH_MY_SM(my_id, stree, tmp) {

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

1079

struct stree *get_user_stree(void);

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

1195

struct stree *get_start_states(void);

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

1265

struct stree *get_all_return_states(void);

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

226

extern struct stree *global_states;

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

373

struct stree *get_all_states_from_stree(int owner, struct stree *source);

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

374

struct stree *get_all_states_stree(int id);

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

375

struct stree *__get_cur_stree(void);

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

595

void param_limit_implications(struct expression *expr, int param, char *key, char *value, struct stree **implied);

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

596

struct stree *__implied_case_stree(struct expression *switch_expr,

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

599

struct stree **raw_stree);

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

713

struct stree *__swap_cur_stree(struct stree *stree);

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

715

struct stree *__pop_fake_cur_stree();

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

717

void __set_fake_cur_stree_fast(struct stree *stree);

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

719

void __merge_stree_into_cur(struct stree *stree);

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

755

struct stree *__copy_cond_true_states(void);

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

756

struct stree *__copy_cond_false_states(void);

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

757

struct stree *__pop_cond_true_stack(void);

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

758

struct stree *__pop_cond_false_stack(void);

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

763

struct stree *__get_true_states(void);

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

764

struct stree *__get_false_states(void);

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

78

DECLARE_PTR_LIST(stree_stack, struct stree);

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

88

struct stree *pool;

usr/src/tools/smatch/src/smatch_comparison.c

1024

static void update_tf_links(struct stree *pre_stree,

usr/src/tools/smatch/src/smatch_comparison.c

1119

static void update_tf_data(struct stree *pre_stree,

usr/src/tools/smatch/src/smatch_comparison.c

1270

struct stree *pre_stree;

usr/src/tools/smatch/src/smatch_comparison.c

2649

struct stree *stree;

usr/src/tools/smatch/src/smatch_comparison.c

2660

stree = clone_stree(sm->pool);

usr/src/tools/smatch/src/smatch_comparison.c

2661

overwrite_sm_state_stree(&stree, clone);

usr/src/tools/smatch/src/smatch_comparison.c

2662

clone->pool = stree;

usr/src/tools/smatch/src/smatch_comparison.c

977

static int get_orig_comparison(struct stree *pre_stree, const char *left, const char *right)

usr/src/tools/smatch/src/smatch_conditions.c

211

static struct stree *combine_strees(struct stree *orig, struct stree *fake, struct stree *new)

usr/src/tools/smatch/src/smatch_conditions.c

213

struct stree *ret = NULL;

usr/src/tools/smatch/src/smatch_conditions.c

236

struct stree *a_T = NULL;

usr/src/tools/smatch/src/smatch_conditions.c

237

struct stree *a_F = NULL;

usr/src/tools/smatch/src/smatch_conditions.c

238

struct stree *a_T_b_T = NULL;

usr/src/tools/smatch/src/smatch_conditions.c

239

struct stree *a_T_b_F = NULL;

usr/src/tools/smatch/src/smatch_conditions.c

240

struct stree *a_T_b_fake = NULL;

usr/src/tools/smatch/src/smatch_conditions.c

241

struct stree *a_F_c_T = NULL;

usr/src/tools/smatch/src/smatch_conditions.c

242

struct stree *a_F_c_F = NULL;

usr/src/tools/smatch/src/smatch_conditions.c

243

struct stree *a_F_c_fake = NULL;

usr/src/tools/smatch/src/smatch_conditions.c

244

struct stree *tmp;

usr/src/tools/smatch/src/smatch_conditions.c

556

struct stree *true_stree, *false_stree, *fake_stree;

usr/src/tools/smatch/src/smatch_conditions.c

630

struct stree *final_states = NULL;

usr/src/tools/smatch/src/smatch_container_of.c

380

struct stree *stree;

usr/src/tools/smatch/src/smatch_container_of.c

450

static void set_param_value(struct stree **stree, struct symbol *arg, int offset, struct range_list *rl)

usr/src/tools/smatch/src/smatch_container_of.c

457

set_state_stree(stree, SMATCH_EXTRA, name, arg, alloc_estate_rl(rl));

usr/src/tools/smatch/src/smatch_container_of.c

477

set_param_value(&db_info->stree, db_info->arg, db_info->prev_offset, db_info->rl);

usr/src/tools/smatch/src/smatch_container_of.c

502

static struct stree *load_tag_info_sym(mtag_t tag, struct symbol *arg, int arg_offset, int star)

usr/src/tools/smatch/src/smatch_container_of.c

536

set_param_value(&db_info.stree, arg, db_info.prev_offset, db_info.rl);

usr/src/tools/smatch/src/smatch_container_of.c

544

set_state_stree(&db_info.stree, SMATCH_EXTRA, arg->ident->name, arg, alloc_estate_sval(sval));

usr/src/tools/smatch/src/smatch_container_of.c

546

return db_info.stree;

usr/src/tools/smatch/src/smatch_container_of.c

554

struct stree *stree;

usr/src/tools/smatch/src/smatch_container_of.c

610

stree = load_tag_info_sym(arg_tag, arg, arg_offset, star);

usr/src/tools/smatch/src/smatch_container_of.c

611

FOR_EACH_SM(stree, sm) {

usr/src/tools/smatch/src/smatch_container_of.c

614

free_stree(&stree);

usr/src/tools/smatch/src/smatch_db.c

1008

stree = get_all_states_stree(cb->owner);

usr/src/tools/smatch/src/smatch_db.c

1011

print_struct_members(call, arg, i, stree, cb->callback, 1);

usr/src/tools/smatch/src/smatch_db.c

1014

free_stree(&stree);

usr/src/tools/smatch/src/smatch_db.c

1071

struct stree *stree;

usr/src/tools/smatch/src/smatch_db.c

1095

stree = __pop_fake_cur_stree();

usr/src/tools/smatch/src/smatch_db.c

1097

merge_stree(&data->final_states, stree);

usr/src/tools/smatch/src/smatch_db.c

1098

free_stree(&stree);

usr/src/tools/smatch/src/smatch_db.c

1175

struct stree *stree;

usr/src/tools/smatch/src/smatch_db.c

1207

stree = __pop_fake_cur_stree();

usr/src/tools/smatch/src/smatch_db.c

1209

merge_stree(&data.final_states, stree);

usr/src/tools/smatch/src/smatch_db.c

1210

free_stree(&stree);

usr/src/tools/smatch/src/smatch_db.c

1248

stree = __pop_fake_cur_stree();

usr/src/tools/smatch/src/smatch_db.c

1250

merge_stree(&data.final_states, stree);

usr/src/tools/smatch/src/smatch_db.c

1251

free_stree(&stree);

usr/src/tools/smatch/src/smatch_db.c

1948

struct stree *start_states;

usr/src/tools/smatch/src/smatch_db.c

2177

struct stree *stree;

usr/src/tools/smatch/src/smatch_db.c

2196

stree = __get_cur_stree();

usr/src/tools/smatch/src/smatch_db.c

2197

FOR_EACH_MY_SM(cb->owner, stree, sm) {

usr/src/tools/smatch/src/smatch_db.c

598

struct stree *final_states;

usr/src/tools/smatch/src/smatch_db.c

890

static void print_struct_members(struct expression *call, struct expression *expr, int param, struct stree *stree,

usr/src/tools/smatch/src/smatch_db.c

921

FOR_EACH_SM(stree, sm) {

usr/src/tools/smatch/src/smatch_db.c

974

struct stree *stree;

usr/src/tools/smatch/src/smatch_db.c

983

stree = get_all_states_stree(cb->owner);

usr/src/tools/smatch/src/smatch_db.c

986

print_struct_members(call, arg, i, stree, cb->callback, 0);

usr/src/tools/smatch/src/smatch_db.c

989

free_stree(&stree);

usr/src/tools/smatch/src/smatch_db.c

999

struct stree *stree;

usr/src/tools/smatch/src/smatch_extra.c

815

struct sm_state *__extra_handle_canonical_loops(struct statement *loop, struct stree **stree)

usr/src/tools/smatch/src/smatch_extra.c

834

*stree = __pop_fake_cur_stree();

usr/src/tools/smatch/src/smatch_extra.c

922

static struct stree *unmatched_stree;

usr/src/tools/smatch/src/smatch_extra.c

942

struct stree *stree;

usr/src/tools/smatch/src/smatch_extra.c

951

stree = __get_cur_stree();

usr/src/tools/smatch/src/smatch_extra.c

952

FOR_EACH_MY_SM(SMATCH_EXTRA, stree, tmp) {

usr/src/tools/smatch/src/smatch_extra.h

190

struct sm_state *__extra_handle_canonical_loops(struct statement *loop, struct stree **stree);

usr/src/tools/smatch/src/smatch_flow.c

1827

static struct stree *clone_estates_perm(struct stree *orig)

usr/src/tools/smatch/src/smatch_flow.c

1829

struct stree *ret = NULL;

usr/src/tools/smatch/src/smatch_flow.c

617

struct stree *stree = NULL;

usr/src/tools/smatch/src/smatch_flow.c

634

extra_sm = __extra_handle_canonical_loops(stmt, &stree);

usr/src/tools/smatch/src/smatch_flow.c

639

FOR_EACH_SM(stree, sm) {

usr/src/tools/smatch/src/smatch_flow.c

642

free_stree(&stree);

usr/src/tools/smatch/src/smatch_flow.c

656

stree = __pop_fake_cur_stree();

usr/src/tools/smatch/src/smatch_flow.c

662

__merge_stree_into_cur(stree);

usr/src/tools/smatch/src/smatch_flow.c

663

free_stree(&stree);

usr/src/tools/smatch/src/smatch_flow.c

78

struct stree *global_states;

usr/src/tools/smatch/src/smatch_function_hooks.c

1008

stree = __pop_fake_cur_stree();

usr/src/tools/smatch/src/smatch_function_hooks.c

1010

merge_fake_stree(&db_info.stree, stree);

usr/src/tools/smatch/src/smatch_function_hooks.c

1011

free_stree(&stree);

usr/src/tools/smatch/src/smatch_function_hooks.c

1013

if (!db_info.stree && db_info.cull) { /* this means we culled everything */

usr/src/tools/smatch/src/smatch_function_hooks.c

1017

FOR_EACH_SM(db_info.stree, sm) {

usr/src/tools/smatch/src/smatch_function_hooks.c

1021

free_stree(&db_info.stree);

usr/src/tools/smatch/src/smatch_function_hooks.c

1103

struct stree *stree;

usr/src/tools/smatch/src/smatch_function_hooks.c

1120

stree = __pop_fake_cur_stree();

usr/src/tools/smatch/src/smatch_function_hooks.c

1122

merge_fake_stree(&db_info->stree, stree);

usr/src/tools/smatch/src/smatch_function_hooks.c

1123

free_stree(&stree);

usr/src/tools/smatch/src/smatch_function_hooks.c

1178

struct stree *stree;

usr/src/tools/smatch/src/smatch_function_hooks.c

1186

db_info.stree = NULL;

usr/src/tools/smatch/src/smatch_function_hooks.c

1196

stree = __pop_fake_cur_stree();

usr/src/tools/smatch/src/smatch_function_hooks.c

1198

merge_fake_stree(&db_info.stree, stree);

usr/src/tools/smatch/src/smatch_function_hooks.c

1199

free_stree(&stree);

usr/src/tools/smatch/src/smatch_function_hooks.c

1201

FOR_EACH_SM(db_info.stree, sm) {

usr/src/tools/smatch/src/smatch_function_hooks.c

1205

free_stree(&db_info.stree);

usr/src/tools/smatch/src/smatch_function_hooks.c

255

struct stree *tmp_stree;

usr/src/tools/smatch/src/smatch_function_hooks.c

256

struct stree *final_states = NULL;

usr/src/tools/smatch/src/smatch_function_hooks.c

303

static void call_implies_callbacks(int comparison, struct expression *expr, sval_t sval, int left, struct stree **implied_true, struct stree **implied_false)

usr/src/tools/smatch/src/smatch_function_hooks.c

309

struct stree *true_states = NULL;

usr/src/tools/smatch/src/smatch_function_hooks.c

310

struct stree *false_states = NULL;

usr/src/tools/smatch/src/smatch_function_hooks.c

311

struct stree *tmp_stree;

usr/src/tools/smatch/src/smatch_function_hooks.c

359

struct stree *stree;

usr/src/tools/smatch/src/smatch_function_hooks.c

360

struct stree *implied;

usr/src/tools/smatch/src/smatch_function_hooks.c

653

struct stree *stree;

usr/src/tools/smatch/src/smatch_function_hooks.c

671

stree = __pop_fake_cur_stree();

usr/src/tools/smatch/src/smatch_function_hooks.c

673

merge_fake_stree(&db_info->stree, stree);

usr/src/tools/smatch/src/smatch_function_hooks.c

674

free_stree(&stree);

usr/src/tools/smatch/src/smatch_function_hooks.c

736

static void compare_db_return_states_callbacks(struct expression *left, int comparison, struct expression *right, struct stree *implied_true, struct stree *implied_false)

usr/src/tools/smatch/src/smatch_function_hooks.c

738

struct stree *orig_states;

usr/src/tools/smatch/src/smatch_function_hooks.c

739

struct stree *stree;

usr/src/tools/smatch/src/smatch_function_hooks.c

740

struct stree *true_states;

usr/src/tools/smatch/src/smatch_function_hooks.c

741

struct stree *false_states;

usr/src/tools/smatch/src/smatch_function_hooks.c

773

db_info.stree = NULL;

usr/src/tools/smatch/src/smatch_function_hooks.c

780

stree = __pop_fake_cur_stree();

usr/src/tools/smatch/src/smatch_function_hooks.c

782

merge_fake_stree(&db_info.stree, stree);

usr/src/tools/smatch/src/smatch_function_hooks.c

783

free_stree(&stree);

usr/src/tools/smatch/src/smatch_function_hooks.c

784

true_states = db_info.stree;

usr/src/tools/smatch/src/smatch_function_hooks.c

798

db_info.stree = NULL;

usr/src/tools/smatch/src/smatch_function_hooks.c

806

stree = __pop_fake_cur_stree();

usr/src/tools/smatch/src/smatch_function_hooks.c

808

merge_fake_stree(&db_info.stree, stree);

usr/src/tools/smatch/src/smatch_function_hooks.c

809

free_stree(&stree);

usr/src/tools/smatch/src/smatch_function_hooks.c

810

false_states = db_info.stree;

usr/src/tools/smatch/src/smatch_function_hooks.c

849

struct stree *implied_true = NULL;

usr/src/tools/smatch/src/smatch_function_hooks.c

850

struct stree *implied_false = NULL;

usr/src/tools/smatch/src/smatch_function_hooks.c

914

struct stree *stree;

usr/src/tools/smatch/src/smatch_function_hooks.c

931

stree = __pop_fake_cur_stree();

usr/src/tools/smatch/src/smatch_function_hooks.c

933

merge_fake_stree(&db_info->stree, stree);

usr/src/tools/smatch/src/smatch_function_hooks.c

934

free_stree(&stree);

usr/src/tools/smatch/src/smatch_function_hooks.c

983

struct stree *stree;

usr/src/tools/smatch/src/smatch_function_hooks.c

990

db_info.stree = NULL;

usr/src/tools/smatch/src/smatch_ignore.c

22

static struct stree *ignored;

usr/src/tools/smatch/src/smatch_ignore.c

23

static struct stree *ignored_from_file;

usr/src/tools/smatch/src/smatch_implied.c

1010

void param_limit_implications(struct expression *expr, int param, char *key, char *value, struct stree **implied)

usr/src/tools/smatch/src/smatch_implied.c

1018

struct stree *implied_true = NULL;

usr/src/tools/smatch/src/smatch_implied.c

1019

struct stree *implied_false = NULL;

usr/src/tools/smatch/src/smatch_implied.c

1088

struct stree *__implied_case_stree(struct expression *switch_expr,

usr/src/tools/smatch/src/smatch_implied.c

1091

struct stree **raw_stree)

usr/src/tools/smatch/src/smatch_implied.c

1097

struct stree *true_states = NULL;

usr/src/tools/smatch/src/smatch_implied.c

1098

struct stree *false_states = NULL;

usr/src/tools/smatch/src/smatch_implied.c

1099

struct stree *extra_states;

usr/src/tools/smatch/src/smatch_implied.c

1100

struct stree *ret = clone_stree(*raw_stree);

usr/src/tools/smatch/src/smatch_implied.c

1180

struct stree *pre_stree;

usr/src/tools/smatch/src/smatch_implied.c

1181

struct stree *implied_true;

usr/src/tools/smatch/src/smatch_implied.c

143

struct stree *true_stree, *false_stree;

usr/src/tools/smatch/src/smatch_implied.c

228

static int pool_in_pools(struct stree *pool,

usr/src/tools/smatch/src/smatch_implied.c

242

static int remove_pool(struct state_list **pools, struct stree *remove)

usr/src/tools/smatch/src/smatch_implied.c

587

static struct stree *filter_stack(struct sm_state *gate_sm,

usr/src/tools/smatch/src/smatch_implied.c

588

struct stree *pre_stree,

usr/src/tools/smatch/src/smatch_implied.c

592

struct stree *ret = NULL;

usr/src/tools/smatch/src/smatch_implied.c

629

struct stree *pre_stree,

usr/src/tools/smatch/src/smatch_implied.c

630

struct stree **true_states,

usr/src/tools/smatch/src/smatch_implied.c

631

struct stree **false_states,

usr/src/tools/smatch/src/smatch_implied.c

712

static void delete_gate_sm_equiv(struct stree **stree, const char *name, struct symbol *sym)

usr/src/tools/smatch/src/smatch_implied.c

721

delete_state_stree(stree, SMATCH_EXTRA, rel->name, rel->sym);

usr/src/tools/smatch/src/smatch_implied.c

725

static void delete_gate_sm(struct stree **stree, const char *name, struct symbol *sym)

usr/src/tools/smatch/src/smatch_implied.c

727

delete_state_stree(stree, SMATCH_EXTRA, name, sym);

usr/src/tools/smatch/src/smatch_implied.c

731

struct stree **implied_true,

usr/src/tools/smatch/src/smatch_implied.c

732

struct stree **implied_false)

usr/src/tools/smatch/src/smatch_implied.c

779

struct stree **implied_true,

usr/src/tools/smatch/src/smatch_implied.c

780

struct stree **implied_false)

usr/src/tools/smatch/src/smatch_implied.c

820

struct stree **implied_true,

usr/src/tools/smatch/src/smatch_implied.c

821

struct stree **implied_false)

usr/src/tools/smatch/src/smatch_implied.c

826

struct stree *pre_stree;

usr/src/tools/smatch/src/smatch_implied.c

852

struct stree **implied_true,

usr/src/tools/smatch/src/smatch_implied.c

853

struct stree **implied_false)

usr/src/tools/smatch/src/smatch_implied.c

868

struct stree **implied_true,

usr/src/tools/smatch/src/smatch_implied.c

869

struct stree **implied_false)

usr/src/tools/smatch/src/smatch_implied.c

873

struct stree *pre_stree;

usr/src/tools/smatch/src/smatch_implied.c

893

struct stree **implied_true,

usr/src/tools/smatch/src/smatch_implied.c

894

struct stree **implied_false)

usr/src/tools/smatch/src/smatch_implied.c

898

struct stree *pre_stree;

usr/src/tools/smatch/src/smatch_implied.c

917

static struct stree *saved_implied_true;

usr/src/tools/smatch/src/smatch_implied.c

918

static struct stree *saved_implied_false;

usr/src/tools/smatch/src/smatch_implied.c

919

static struct stree *extra_saved_implied_true;

usr/src/tools/smatch/src/smatch_implied.c

920

static struct stree *extra_saved_implied_false;

usr/src/tools/smatch/src/smatch_implied.c

922

static void separate_implication_states(struct stree **implied_true,

usr/src/tools/smatch/src/smatch_implied.c

923

struct stree **implied_false,

usr/src/tools/smatch/src/smatch_implied.c

947

struct stree **implied_true,

usr/src/tools/smatch/src/smatch_implied.c

948

struct stree **implied_false)

usr/src/tools/smatch/src/smatch_integer_overflow.c

259

struct stree *done = NULL;

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

57

static struct stree *start_states;

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

893

struct stree *get_user_stree(void)

usr/src/tools/smatch/src/smatch_mtag_data.c

29

static struct stree *vals;

usr/src/tools/smatch/src/smatch_param_cleared.c

75

struct stree *stree;

usr/src/tools/smatch/src/smatch_param_cleared.c

80

stree = __get_cur_stree();

usr/src/tools/smatch/src/smatch_param_cleared.c

82

FOR_EACH_MY_SM(my_id, stree, sm) {

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

38

static struct stree *start_states;

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

52

static struct stree *start_states;

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

23

static struct stree *used_stree;

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

108

struct stree *get_all_return_states(void)

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

48

static struct stree *all_return_states;

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

62

struct stree *orig;

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

73

struct stree *stree;

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

75

stree = clone_stree(__get_cur_stree());

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

76

merge_stree_no_pools(&all_return_states, stree);

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

77

push_stree(&return_stree_stack, stree);

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

1005

free_stree(stree);

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

1006

*stree = results;

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

1017

struct stree *right_stree = pop_stree(stack);

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

1034

struct stree *cur_stree,

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

1037

struct stree *new;

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

1038

struct stree *old;

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

1039

struct stree *pre_stree;

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

1040

struct stree *res;

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

1041

struct stree *tmp_stree;

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

1068

struct stree **get_named_stree(struct named_stree_stack *stack,

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

1077

return &tmp->stree;

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

1083

void overwrite_stree(struct stree *from, struct stree **to)

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

520

struct sm_state *get_sm_state_stree(struct stree *stree, int owner, const char *name,

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

533

return avl_lookup(stree, (struct sm_state *)&tracker);

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

536

struct smatch_state *get_state_stree(struct stree *stree,

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

542

sm = get_sm_state_stree(stree, owner, name, sym);

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

549

void overwrite_sm_state_stree(struct stree **stree, struct sm_state *new)

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

551

avl_insert(stree, new);

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

557

struct stree *stree;

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

559

stree = pop_stree(stack);

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

560

overwrite_sm_state_stree(&stree, sm);

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

561

push_stree(stack, stree);

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

564

struct sm_state *set_state_stree(struct stree **stree, int owner, const char *name,

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

569

avl_insert(stree, new);

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

573

void set_state_stree_perm(struct stree **stree, int owner, const char *name,

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

586

overwrite_sm_state_stree(stree, sm);

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

589

void delete_state_stree(struct stree **stree, int owner, const char *name,

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

598

avl_remove(stree, (struct sm_state *)&tracker);

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

604

struct stree *stree;

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

606

stree = pop_stree(stack);

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

607

delete_state_stree(&stree, owner, name, sym);

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

608

push_stree(stack, stree);

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

611

void push_stree(struct stree_stack **stack, struct stree *stree)

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

613

add_ptr_list(stack, stree);

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

616

struct stree *pop_stree(struct stree_stack **stack)

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

618

struct stree *stree;

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

620

stree = last_ptr_list((struct ptr_list *)*stack);

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

622

return stree;

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

625

struct stree *top_stree(struct stree_stack *stack)

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

642

struct stree *stree;

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

644

FOR_EACH_PTR(*stree_stack, stree) {

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

645

free_stree(&stree);

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

646

} END_FOR_EACH_PTR(stree);

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

653

struct stree *stree;

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

656

stree = pop_stree(stack);

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

657

sm = set_state_stree(&stree, owner, name, sym, state);

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

658

push_stree(stack, stree);

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

670

struct stree *stree;

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

673

stree = pop_stree(&stack);

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

674

ret = get_sm_state_stree(stree, owner, name, sym);

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

675

push_stree(&stack, stree);

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

691

static void match_states_stree(struct stree **one, struct stree **two)

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

748

static void call_pre_merge_hooks(struct stree **one, struct stree **two)

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

751

struct stree *new;

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

77

void __print_stree(struct stree *stree)

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

784

static void clone_pool_havers_stree(struct stree **stree)

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

789

FOR_EACH_SM(*stree, sm) {

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

797

avl_insert(stree, sm);

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

809

static void __merge_stree(struct stree **to, struct stree *stree, int add_pool)

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

811

struct stree *results = NULL;

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

812

struct stree *implied_one = NULL;

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

813

struct stree *implied_two = NULL;

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

82

sm_msg("dumping stree [%ld states]", stree_count(stree));

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

822

if (!stree)

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

824

if (*to == stree)

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

828

*to = clone_stree(stree);

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

83

FOR_EACH_SM(stree, sm) {

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

833

implied_two = clone_stree(stree);

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

889

void merge_stree(struct stree **to, struct stree *stree)

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

891

__merge_stree(to, stree, 1);

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

894

void merge_stree_no_pools(struct stree **to, struct stree *stree)

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

896

__merge_stree(to, stree, 0);

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

906

void merge_fake_stree(struct stree **to, struct stree *stree)

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

908

struct stree *one = *to;

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

909

struct stree *two = stree;

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

916

if (!stree)

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

918

if (*to == stree)

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

921

*to = clone_stree(stree);

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

978

void filter_stree(struct stree **stree, struct stree *filter)

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

980

struct stree *results = NULL;

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

984

avl_iter_begin(&one_iter, *stree, FORWARD);

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

1

struct stree;

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

11

struct stree *stree;

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

22

void __print_stree(struct stree *stree);

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

40

struct smatch_state *get_state_stree(struct stree *stree, int owner, const char *name,

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

43

struct sm_state *get_sm_state_stree(struct stree *stree, int owner, const char *name,

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

46

void overwrite_sm_state_stree(struct stree **stree, struct sm_state *sm);

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

48

struct sm_state *set_state_stree(struct stree **stree, int owner, const char *name,

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

50

void set_state_stree_perm(struct stree **stree, int owner, const char *name,

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

52

void delete_state_stree(struct stree **stree, int owner, const char *name,

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_slist.h

59

struct stree *pop_stree(struct stree_stack **list_stack);

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

60

struct stree *top_stree(struct stree_stack *stack);

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

78

void merge_stree(struct stree **to, struct stree *stree);

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

79

void merge_stree_no_pools(struct stree **to, struct stree *stree);

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

80

void merge_stree(struct stree **to, struct stree *right);

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

81

void merge_fake_stree(struct stree **to, struct stree *stree);

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

82

void filter_stree(struct stree **stree, struct stree *filter);

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

86

struct stree *cur_stree,

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

89

struct stree **get_named_stree(struct named_stree_stack *stack,

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

93

void overwrite_stree(struct stree *from, struct stree **to);

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

29

static struct stree *start_states;

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

53

struct stree *get_start_states(void)

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

1003

struct stree *stree;

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

1007

stree = pop_stree(&fake_cur_stree_stack);

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

1008

update_stree_with_merged(&stree);

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

1009

push_stree(&fake_cur_stree_stack, stree);

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

1014

struct stree *stree;

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

1016

stree = pop_stree(&true_stack);

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

1017

merge_stree(&cur_stree, stree);

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

1019

free_stree(&stree);

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

1029

struct stree *stree;

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

1031

stree = pop_stree(&continue_stack);

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

1032

free_stree(&stree);

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

1037

struct stree *stree;

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

1039

stree = pop_stree(&continue_stack);

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

1040

if (!stree)

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

1041

stree = clone_stree(cur_stree);

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

1043

merge_stree(&stree, cur_stree);

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

1045

push_stree(&continue_stack, stree);

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

1050

struct stree *stree;

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

1052

stree = pop_stree(&continue_stack);

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

1053

merge_stree(&cur_stree, stree);

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

1054

free_stree(&stree);

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

1066

struct stree *stree;

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

1068

stree = pop_stree(&break_stack);

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

1069

if (!stree)

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

1070

stree = clone_stree(cur_stree);

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

1072

merge_stree(&stree, cur_stree);

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

1073

push_stree(&break_stack, stree);

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

1078

stree = pop_stree(&fake_break_stack);

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

1079

if (!stree)

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

1080

stree = clone_stree(top_stree(fake_cur_stree_stack));

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

1082

merge_stree(&stree, top_stree(fake_cur_stree_stack));

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

1083

push_stree(&fake_break_stack, stree);

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

1088

struct stree *stree;

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

1091

stree = pop_stree(&break_stack);

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

1092

ret = !!stree;

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

1093

push_stree(&break_stack, stree);

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

1099

struct stree *stree;

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

1102

stree = pop_stree(&break_stack);

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

1103

merge_stree(&cur_stree, stree);

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

1104

free_stree(&stree);

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

1109

stree = pop_stree(&fake_break_stack);

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

1110

update_stree_with_merged(&stree);

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

1111

FOR_EACH_SM(stree, sm) {

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

1114

free_stree(&stree);

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

1119

struct stree *stree;

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

1127

stree = pop_stree(&fake_break_stack);

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

1128

FOR_EACH_SM(stree, sm) {

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

1131

free_stree(&stree);

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

1153

struct stree *stree;

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

1154

struct stree *implied_stree;

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

1156

stree = pop_stree(&switch_stack);

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

1157

if (!stree) {

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

1163

push_stree(&switch_stack, stree);

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

1166

implied_stree = __implied_case_stree(switch_expr, case_rl, &remaining_cases, &stree);

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

1169

push_stree(&switch_stack, stree);

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

1174

struct stree *stree;

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

1177

stree = pop_stree(&switch_stack);

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

1178

free_stree(&stree);

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

1193

struct stree *stree;

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

1195

stree = pop_stree(&default_stack);

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

1196

if (stree) {

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

1197

free_stree(&stree);

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

1203

static struct named_stree *alloc_named_stree(const char *name, struct symbol *sym, struct stree *stree)

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

1208

named_stree->stree = stree;

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

1215

struct stree **stree;

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

1216

struct stree *clone;

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

1218

stree = get_named_stree(goto_stack, name, sym);

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

1219

if (stree) {

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

1220

merge_stree(stree, cur_stree);

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

1233

struct stree **stree;

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

1235

stree = get_named_stree(goto_stack, name, sym);

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

1236

if (stree)

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

1237

merge_stree(&cur_stree, *stree);

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

203

struct stree *__swap_cur_stree(struct stree *stree)

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

205

struct stree *orig = cur_stree;

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

207

cur_stree = stree;

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

217

struct stree *__pop_fake_cur_stree(void)

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

227

struct stree *stree;

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

229

stree = __pop_fake_cur_stree();

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

230

free_stree(&stree);

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

233

void __set_fake_cur_stree_fast(struct stree *stree)

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

239

fast_overlay = stree;

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

249

void __merge_stree_into_cur(struct stree *stree)

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

255

FOR_EACH_SM(stree, sm) {

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

46

static struct stree *cur_stree; /* current states */

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

47

static struct stree *fast_overlay;

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

475

static void delete_all_states_stree_sym(struct stree **stree, struct symbol *sym)

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

480

FOR_EACH_SM(*stree, sm) {

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

486

delete_state_stree(stree, sm->owner, sm->name, sm->sym);

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

494

struct stree *stree;

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

499

stree = pop_stree(stack);

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

500

delete_all_states_stree_sym(&stree, sym);

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

501

push_stree(stack, stree);

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

526

struct stree *get_all_states_from_stree(int owner, struct stree *source)

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

528

struct stree *ret = NULL;

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

539

struct stree *get_all_states_stree(int owner)

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

544

struct stree *__get_cur_stree(void)

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

755

free_stree(&named_stree->stree);

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

789

struct stree *new_states;

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

802

struct stree *new_states;

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

808

struct stree *__copy_cond_true_states(void)

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

810

struct stree *ret;

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

817

struct stree *__copy_cond_false_states(void)

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

819

struct stree *ret;

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

826

struct stree *__pop_cond_true_stack(void)

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

831

struct stree *__pop_cond_false_stack(void)

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

846

struct stree *stree;

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

853

stree = pop_stree(stack);

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

854

overwrite_stree(stree, &cur_stree);

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

855

push_stree(stack, stree);

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

876

struct stree *old_false, *old_true;

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

903

struct stree *tmp;

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

909

struct stree *__get_true_states(void)

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

914

struct stree *__get_false_states(void)

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

921

struct stree *pre, *pre_clone, *true_states, *false_states;

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

952

struct stree *stree;

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

954

stree = pop_stree(&false_stack);

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

955

free_stree(&stree);

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

960

struct stree *stree;

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

962

stree = pop_stree(&false_stack);

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

963

merge_stree(&cur_stree, stree);

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

964

free_stree(&stree);

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

982

static void update_stree_with_merged(struct stree **stree)

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

987

FOR_EACH_SM(*stree, sm) {

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

995

overwrite_sm_state_stree(stree, sm);

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

42

struct stree *fn_type_val;

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

43

struct stree *global_type_val;

usr/src/uts/common/io/ppp/spppcomp/zlib.c

2660

const ct_data *stree = desc->stat_desc->static_tree;

usr/src/uts/common/io/ppp/spppcomp/zlib.c

2694

if (stree) s->static_len += (ulg)f * (stree[n].Len + xbits);

usr/src/uts/common/io/ppp/spppcomp/zlib.c

2806

const ct_data *stree = desc->stat_desc->static_tree;

usr/src/uts/common/io/ppp/spppcomp/zlib.c

2839

s->opt_len--; if (stree) s->static_len -= stree[node].Len;