Searched refs:__separate_pools (Results 1 – 1 of 1) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_implied.c | 346 static void __separate_pools(struct sm_state *sm, int comparison, struct range_list *rl, in __separate_pools() function
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()
398 …__separate_pools(sm, comparison, rl, true_stack, &maybe_stack, false_stack, checked, mixed, sm, &s… in separate_pools()
|