Lines Matching refs:ExplodedGraph

42 ExplodedGraph::ExplodedGraph() = default;
44 ExplodedGraph::~ExplodedGraph() = default;
50 bool ExplodedGraph::isInterestingLValueExpr(const Expr *Ex) {  in isInterestingLValueExpr()
56 bool ExplodedGraph::shouldCollect(const ExplodedNode *node) {  in shouldCollect()
153 void ExplodedGraph::collectNode(ExplodedNode *node) {  in collectNode()
169 void ExplodedGraph::reclaimRecentlyAllocatedNodes() {  in reclaimRecentlyAllocatedNodes()
204 void ExplodedNode::addPredecessor(ExplodedNode *V, ExplodedGraph &G) {  in addPredecessor()
219 void ExplodedNode::NodeGroup::addNode(ExplodedNode *N, ExplodedGraph &G) {  in addNode()
393 ExplodedNode *ExplodedGraph::getNode(const ProgramPoint &L,  in getNode()
431 ExplodedNode *ExplodedGraph::createUncachedNode(const ProgramPoint &L,  in createUncachedNode()
440 std::unique_ptr<ExplodedGraph>
441 ExplodedGraph::trim(ArrayRef<const NodeTy *> Sinks,  in trim()
484   std::unique_ptr<ExplodedGraph> G = MakeEmptyGraph();  in trim()