Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_slist.h85 void or_stree_stack(struct stree_stack **pre_conds,
H A Dsmatch_states.c887 or_stree_stack(&pre_cond_stack, cur_stree, &cond_false_stack); in __and_cond_states()
892 or_stree_stack(&pre_cond_stack, cur_stree, &cond_true_stack); in __or_cond_states()
H A Dsmatch_slist.c1033 void or_stree_stack(struct stree_stack **pre_conds, in or_stree_stack() function