Lines Matching refs:ExplodedGraph

1 //===- ExplodedGraph.cpp - Local, Path-Sens. "Exploded Graph" -------------===//
9 //  This file defines the template classes ExplodedNode and ExplodedGraph,
14 #include "clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h"
42 ExplodedGraph::ExplodedGraph() = default;
44 ExplodedGraph::~ExplodedGraph() = default;
50 bool ExplodedGraph::isInterestingLValueExpr(const Expr *Ex) {
56 bool ExplodedGraph::shouldCollect(const ExplodedNode *node) {
153 void ExplodedGraph::collectNode(ExplodedNode *node) {
169 void ExplodedGraph::reclaimRecentlyAllocatedNodes() {
193 // BumpVector allocated with the ExplodedGraph's allocator. This allows the
204 void ExplodedNode::addPredecessor(ExplodedNode *V, ExplodedGraph &G) {
219 void ExplodedNode::NodeGroup::addNode(ExplodedNode *N, ExplodedGraph &G) {
394 ExplodedNode *ExplodedGraph::getNode(const ProgramPoint &L,
432 ExplodedNode *ExplodedGraph::createUncachedNode(const ProgramPoint &L,
441 std::unique_ptr<ExplodedGraph>
442 ExplodedGraph::trim(ArrayRef<const NodeTy *> Sinks,
485   std::unique_ptr<ExplodedGraph> G = MakeEmptyGraph();