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::isInterestingLValueExpr(const Expr *Ex) {
67 bool ExplodedGraph::shouldCollect(const ExplodedNode *node) {
164 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;
67 /// common case in an ExplodedGraph, where most nodes have only one
95 void addNode(ExplodedNode *N, ExplodedGraph &G);
178 void addPredecessor(ExplodedNode *V, ExplodedGraph &G);
249 class ExplodedGraph { class in namespace:clang::ento
300 ExplodedGraph* MakeEmptyGrap
[all...]

Completed in 155 milliseconds