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

714

void __push_fake_cur_stree();

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

285

__push_fake_cur_stree();

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

295

__push_fake_cur_stree();

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

390

__push_fake_cur_stree();

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

491

__push_fake_cur_stree();

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

576

__push_fake_cur_stree();

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

592

__push_fake_cur_stree();

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

1099

__push_fake_cur_stree();

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

1184

__push_fake_cur_stree();

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

1211

__push_fake_cur_stree();

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

1493

__push_fake_cur_stree();

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

1524

__push_fake_cur_stree();

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

1613

__push_fake_cur_stree();

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

1794

__push_fake_cur_stree();

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

1889

__push_fake_cur_stree();

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

2007

__push_fake_cur_stree();

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

829

__push_fake_cur_stree();

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

1876

__push_fake_cur_stree();

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

654

__push_fake_cur_stree();

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

1124

__push_fake_cur_stree();

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

1190

__push_fake_cur_stree();

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

275

__push_fake_cur_stree();

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

324

__push_fake_cur_stree();

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

337

__push_fake_cur_stree();

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

675

__push_fake_cur_stree();

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

775

__push_fake_cur_stree();

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

786

__push_fake_cur_stree();

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

801

__push_fake_cur_stree();

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

812

__push_fake_cur_stree();

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

935

__push_fake_cur_stree();

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

995

__push_fake_cur_stree();

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

1115

__push_fake_cur_stree();

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

1210

__push_fake_cur_stree();

usr/src/tools/smatch/src/smatch_math.c

888

__push_fake_cur_stree();

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

756

__push_fake_cur_stree();

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

769

__push_fake_cur_stree();

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

642

__push_fake_cur_stree();

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

784

__push_fake_cur_stree();