Symbol: checkBalances
usr/src/tools/smatch/src/avl.c
400
return checkBalances(avl->root, &dummy)
usr/src/tools/smatch/src/avl.c
41
static bool checkBalances(AvlNode *node, int *height);
usr/src/tools/smatch/src/avl.c
410
if (!checkBalances(node->lr[0], &h0))
usr/src/tools/smatch/src/avl.c
412
if (!checkBalances(node->lr[1], &h1))