Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_states.c179 if (fake_cur_stree_stack) in set_state()
219 if (!fake_cur_stree_stack) in __pop_fake_cur_stree()
285 if (fake_cur_stree_stack) in __set_sm()
640 if (fake_cur_stree_stack) { in nullify_path()
698 fake_cur_stree_stack = NULL; in save_all_states()
738 fake_cur_stree_stack = pop_backup(); in restore_all_states()
1005 if (!fake_cur_stree_stack) in update_fake_stree_with_merged()
1060 if (fake_cur_stree_stack) in __push_breaks()
1075 if (!fake_cur_stree_stack) in __process_breaks()
1106 if (!fake_cur_stree_stack) in __merge_breaks()
[all …]