Symbol: countNode
usr/src/tools/smatch/src/avl.c
402
&& countNode(avl->root) == avl->count;
usr/src/tools/smatch/src/avl.c
43
static size_t countNode(AvlNode *node);
usr/src/tools/smatch/src/avl.c
445
return 1 + countNode(node->lr[0]) + countNode(node->lr[1]);