reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
493 if (Pass2.find(N) != Pass2.end()) 498 ExplodedNode *NewN = G->createUncachedNode(N->getLocation(), N->State, 498 ExplodedNode *NewN = G->createUncachedNode(N->getLocation(), N->State, 499 N->getID(), N->isSink()); 499 N->getID(), N->isSink()); 500 Pass2[N] = NewN; 503 if (InverseMap) (*InverseMap)[NewN] = N; 506 if (N->Preds.empty()) 514 for (ExplodedNode::pred_iterator I = N->Preds.begin(), E = N->Preds.end(); 514 for (ExplodedNode::pred_iterator I = N->Preds.begin(), E = N->Preds.end(); 527 for (ExplodedNode::succ_iterator I = N->Succs.begin(), E = N->Succs.end(); 527 for (ExplodedNode::succ_iterator I = N->Succs.begin(), E = N->Succs.end();