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

715

struct stree *__pop_fake_cur_stree();

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

288

a_T_b_fake = __pop_fake_cur_stree();

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

297

a_F_c_fake = __pop_fake_cur_stree();

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

580

fake_stree = __pop_fake_cur_stree();

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

595

fake_stree = __pop_fake_cur_stree();

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

1095

stree = __pop_fake_cur_stree();

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

1207

stree = __pop_fake_cur_stree();

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

1248

stree = __pop_fake_cur_stree();

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

834

*stree = __pop_fake_cur_stree();

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

1882

__pop_fake_cur_stree();

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

656

stree = __pop_fake_cur_stree();

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

1008

stree = __pop_fake_cur_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

1196

stree = __pop_fake_cur_stree();

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

287

tmp_stree = __pop_fake_cur_stree();

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

332

tmp_stree = __pop_fake_cur_stree();

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

345

tmp_stree = __pop_fake_cur_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

780

stree = __pop_fake_cur_stree();

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

788

true_states = __pop_fake_cur_stree();

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

806

stree = __pop_fake_cur_stree();

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

814

false_states = __pop_fake_cur_stree();

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

931

stree = __pop_fake_cur_stree();

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

1120

extra_states = __pop_fake_cur_stree();

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

763

new = __pop_fake_cur_stree();

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

776

new = __pop_fake_cur_stree();

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

229

stree = __pop_fake_cur_stree();

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

792

new_states = __pop_fake_cur_stree();

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

804

new_states = __pop_fake_cur_stree();