reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
160 assert(node->pred_size() == 1 || node->succ_size() == 1); 160 assert(node->pred_size() == 1 || node->succ_size() == 1); 161 ExplodedNode *pred = *(node->pred_begin()); 162 ExplodedNode *succ = *(node->succ_begin()); 165 FreeNodes.push_back(node); 166 Nodes.RemoveNode(node); 168 node->~ExplodedNode();