Searched refs:collectNode (Results 1 – 2 of 2) sorted by relevance
153 void ExplodedGraph::collectNode(ExplodedNode *node) { in collectNode() function in ExplodedGraph183 collectNode(node); in reclaimRecentlyAllocatedNodes()
455 void collectNode(ExplodedNode *node);