reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
140 ExplodedGraph &getGraph() { return G; }
tools/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp77 BCounterFactory(G.getAllocator()), FunctionSummaries(FS) {} 82 if (G.num_roots() == 0) { // Initialize the analysis by constructing 110 ExplodedNode *Node = G.getNode(StartLoc, InitState, false, &IsNew); 112 G.addRoot(Node); 127 G.reserve(std::min(Steps,PreReservationCap)); 202 for (ExplodedGraph::eop_iterator I = G.eop_begin(), E = G.eop_end(); I != E; 202 for (ExplodedGraph::eop_iterator I = G.eop_begin(), E = G.eop_end(); I != E; 500 ExplodedNode *Node = G.getNode(Loc, State, false, &IsNew); 503 Node->addPredecessor(Pred, G); // Link 'Node' with its predecessor. 506 G.addRoot(Node); // 'Node' has no predecessor. Make it a root. 556 ExplodedNode *Succ = G.getNode(Loc, N->getState(), false, &IsNew); 557 Succ->addPredecessor(N, G); 572 ExplodedNode *Node = G.getNode(Loc, N->getState(), false, &isNew); 573 Node->addPredecessor(N, G); 597 G.addEndOfPath(I); 611 ExplodedNode *N = C.Eng.G.getNode(Loc, State, MarkAsSink, &IsNew); 612 N->addPredecessor(FromN, C.Eng.G); 653 Eng.G.getNode(BlockEdge(Src, I.getBlock(), Pred->getLocationContext()), 655 Succ->addPredecessor(Pred, Eng.G); 671 Eng.G.getNode(BlockEdge(Src, I.getBlock(), Pred->getLocationContext()), 673 Succ->addPredecessor(Pred, Eng.G); 695 Eng.G.getNode(BlockEdge(Src, DefaultBlock, Pred->getLocationContext()), 697 Succ->addPredecessor(Pred, Eng.G);