reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
500 Pass2[N] = NewN; 503 if (InverseMap) (*InverseMap)[NewN] = N; 507 G->addRoot(NewN); 520 NewN->addPredecessor(const_cast<ExplodedNode *>(PI->second), *G); 531 const_cast<ExplodedNode *>(PI->second)->addPredecessor(NewN, *G);