Home
last modified time | relevance | path

Searched refs:pre_conds (Results 1 – 2 of 2) 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_slist.c1033 void or_stree_stack(struct stree_stack **pre_conds, in or_stree_stack() argument
1046 pre_stree = pop_stree(pre_conds); in or_stree_stack()
1047 push_stree(pre_conds, clone_stree(pre_stree)); in or_stree_stack()