Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_states.c921 struct stree *pre, *pre_clone, *true_states, *false_states; in __use_cond_states() local
924 pre_clone = clone_stree(pre); in __use_cond_states()
934 overwrite_stree(false_states, &pre_clone); in __use_cond_states()
936 push_stree(&false_stack, pre_clone); in __use_cond_states()