Searched defs:ExplodedGraph (Results 1 - 2 of 2) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
H A DExplodedGraph.cpp1 //=-- ExplodedGraph.cpp - Local, Path-Sens. "Exploded Graph" -*- C++ -*------=//
10 // This file defines the template classes ExplodedNode and ExplodedGraph,
15 #include "clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h"
50 ExplodedGraph::ExplodedGraph() function in class:ExplodedGraph
53 ExplodedGraph::~ExplodedGraph() {}
59 bool ExplodedGraph::shouldCollect(const ExplodedNode *node) {
114 void ExplodedGraph::collectNode(ExplodedNode *node) {
130 void ExplodedGraph
[all...]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExplodedGraph.h1 //=-- ExplodedGraph.h - Local, Path-Sens. "Exploded Graph" -*- C++ -*-------==//
10 // This file defines the template classes ExplodedNode and ExplodedGraph,
43 class ExplodedGraph;
46 // ExplodedGraph "implementation" classes. These classes are not typed to
55 friend class ExplodedGraph;
91 void addNode(ExplodedNode *N, ExplodedGraph &G);
167 void addPredecessor(ExplodedNode *V, ExplodedGraph &G);
235 friend class ExplodedGraph;
244 class ExplodedGraph { class in namespace:clang::ento
293 ExplodedGraph* MakeEmptyGrap
[all...]

Completed in 106 milliseconds