Home
last modified time | relevance | path

Searched refs:__free_fake_cur_stree (Results 1 – 5 of 5) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_db.c1198 __free_fake_cur_stree(); in match_data_from_db()
1507 __free_fake_cur_stree(); in call_return_state_hooks_conditional()
1556 __free_fake_cur_stree(); in call_return_state_hooks_compare()
1633 __free_fake_cur_stree(); in split_possible_helper()
1822 __free_fake_cur_stree(); in call_return_state_hooks_split_null_non_null_zero()
1918 __free_fake_cur_stree(); in call_return_state_hooks_split_success_fail()
2018 __free_fake_cur_stree(); in split_on_bool_sm()
H A Dsmatch_states.c225 void __free_fake_cur_stree(void) in __free_fake_cur_stree() function
641 __free_fake_cur_stree(); in nullify_path()
H A Dsmatch_implied.c1221 __free_fake_cur_stree(); in end_assume()
H A Dsmatch.h716 void __free_fake_cur_stree();
H A Dsmatch_math.c898 __free_fake_cur_stree(); in handle_conditional_rl()