687     *active,  in DestroySplayTree()  local
703         active=pend;  in DestroySplayTree()
704         for (pend=(NodeInfo *) NULL; active != (NodeInfo *) NULL; )  in DestroySplayTree()
706           if (active->left != (NodeInfo *) NULL)  in DestroySplayTree()
709                   (active->left->value != (void *) NULL))  in DestroySplayTree()
710                 active->left->value=splay_tree->relinquish_value(  in DestroySplayTree()
711                   active->left->value);  in DestroySplayTree()
713                   (active->left->key != (void *) NULL))  in DestroySplayTree()
714                 active->left->key=splay_tree->relinquish_key(active->left->key);  in DestroySplayTree()
715               active->left->key=(void *) pend;  in DestroySplayTree()
716               pend=active->left;  in DestroySplayTree()
718           if (active->right != (NodeInfo *) NULL)  in DestroySplayTree()
721                   (active->right->value != (void *) NULL))  in DestroySplayTree()
722                 active->right->value=splay_tree->relinquish_value(  in DestroySplayTree()
723                   active->right->value);  in DestroySplayTree()
725                   (active->right->key != (void *) NULL))  in DestroySplayTree()
726                 active->right->key=splay_tree->relinquish_key(  in DestroySplayTree()
727                   active->right->key);  in DestroySplayTree()
728               active->right->key=(void *) pend;  in DestroySplayTree()
729               pend=active->right;  in DestroySplayTree()
731           node=active;  in DestroySplayTree()
732           active=(NodeInfo *) node->key;  in DestroySplayTree()
1346     *active,  in ResetSplayTree()  local
1366         active=pend;  in ResetSplayTree()
1367         for (pend=(NodeInfo *) NULL; active != (NodeInfo *) NULL; )  in ResetSplayTree()
1369           if (active->left != (NodeInfo *) NULL)  in ResetSplayTree()
1372                   (active->left->value != (void *) NULL))  in ResetSplayTree()
1373                 active->left->value=splay_tree->relinquish_value(  in ResetSplayTree()
1374                   active->left->value);  in ResetSplayTree()
1376                   (active->left->key != (void *) NULL))  in ResetSplayTree()
1377                 active->left->key=splay_tree->relinquish_key(active->left->key);  in ResetSplayTree()
1378               active->left->key=(void *) pend;  in ResetSplayTree()
1379               pend=active->left;  in ResetSplayTree()
1381           if (active->right != (NodeInfo *) NULL)  in ResetSplayTree()
1384                   (active->right->value != (void *) NULL))  in ResetSplayTree()
1385                 active->right->value=splay_tree->relinquish_value(  in ResetSplayTree()
1386                   active->right->value);  in ResetSplayTree()
1388                   (active->right->key != (void *) NULL))  in ResetSplayTree()
1389                 active->right->key=splay_tree->relinquish_key(  in ResetSplayTree()
1390                   active->right->key);  in ResetSplayTree()
1391               active->right->key=(void *) pend;  in ResetSplayTree()
1392               pend=active->right;  in ResetSplayTree()
1394           node=active;  in ResetSplayTree()
1395           active=(NodeInfo *) node->key;  in ResetSplayTree()