Home
last modified time | relevance | path

Searched refs:__push_fake_cur_stree (Results 1 – 10 of 10) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_function_hooks.c275 __push_fake_cur_stree(); in assign_ranged_funcs()
324 __push_fake_cur_stree(); in call_implies_callbacks()
337 __push_fake_cur_stree(); in call_implies_callbacks()
675 __push_fake_cur_stree(); in db_compare_callback()
775 __push_fake_cur_stree(); in compare_db_return_states_callbacks()
786 __push_fake_cur_stree(); in compare_db_return_states_callbacks()
801 __push_fake_cur_stree(); in compare_db_return_states_callbacks()
812 __push_fake_cur_stree(); in compare_db_return_states_callbacks()
935 __push_fake_cur_stree(); in db_assign_return_states_callback()
995 __push_fake_cur_stree(); in db_return_states_assign()
[all …]
H A Dsmatch_conditions.c285 __push_fake_cur_stree(); in handle_select()
295 __push_fake_cur_stree(); in handle_select()
390 __push_fake_cur_stree(); in do_condition()
491 __push_fake_cur_stree(); in split_conditions()
576 __push_fake_cur_stree(); in __handle_condition_assigns()
592 __push_fake_cur_stree(); in __handle_condition_assigns()
H A Dsmatch_db.c1099 __push_fake_cur_stree(); in caller_info_callback()
1184 __push_fake_cur_stree(); in match_data_from_db()
1211 __push_fake_cur_stree(); in match_data_from_db()
1493 __push_fake_cur_stree(); in call_return_state_hooks_conditional()
1524 __push_fake_cur_stree(); in call_return_state_hooks_compare()
1613 __push_fake_cur_stree(); in split_possible_helper()
1794 __push_fake_cur_stree(); in call_return_state_hooks_split_null_non_null_zero()
1889 __push_fake_cur_stree(); in call_return_state_hooks_split_success_fail()
2007 __push_fake_cur_stree(); in split_on_bool_sm()
H A Dsmatch_states.c211 void __push_fake_cur_stree(void) in __push_fake_cur_stree() function
642 __push_fake_cur_stree(); in nullify_path()
784 __push_fake_cur_stree(); in __push_cond_stacks()
H A Dsmatch_slist.c756 __push_fake_cur_stree(); in call_pre_merge_hooks()
769 __push_fake_cur_stree(); in call_pre_merge_hooks()
H A Dsmatch_implied.c1115 __push_fake_cur_stree(); in __implied_case_stree()
1210 __push_fake_cur_stree(); in assume()
H A Dsmatch_flow.c654 __push_fake_cur_stree(); in handle_pre_loop()
1876 __push_fake_cur_stree(); in init_fake_env()
H A Dsmatch.h714 void __push_fake_cur_stree();
H A Dsmatch_math.c888 __push_fake_cur_stree(); in handle_conditional_rl()
H A Dsmatch_extra.c829 __push_fake_cur_stree(); in __extra_handle_canonical_loops()