reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
498 ExplodedNode *NewN = G->createUncachedNode(N->getLocation(), N->State, 507 G->addRoot(NewN); 520 NewN->addPredecessor(const_cast<ExplodedNode *>(PI->second), *G); 531 const_cast<ExplodedNode *>(PI->second)->addPredecessor(NewN, *G); 541 return G;