Searched refs:maybe_stack (Results 1 – 1 of 1) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_implied.c | 289 struct state_list **maybe_stack, in do_compare() argument
324 add_pool(maybe_stack, sm); in do_compare()
348 struct state_list **maybe_stack, in __separate_pools() argument
379 do_compare(sm, comparison, rl, true_stack, maybe_stack, false_stack, mixed, gate_sm); in __separate_pools()
381 …__separate_pools(sm->left, comparison, rl, true_stack, maybe_stack, false_stack, checked, mixed, g… in __separate_pools()
382 …__separate_pools(sm->right, comparison, rl, true_stack, maybe_stack, false_stack, checked, mixed, … in __separate_pools()
392 struct state_list *maybe_stack = NULL; in separate_pools() local
398 …__separate_pools(sm, comparison, rl, true_stack, &maybe_stack, false_stack, checked, mixed, sm, &s… in separate_pools()
407 FOR_EACH_PTR(maybe_stack, sm) { in separate_pools()
417 FOR_EACH_PTR(maybe_stack, tmp) { in separate_pools()
|