| /freebsd-9-stable/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| D | ExplodedGraph.cpp | 50 ExplodedGraph::ExplodedGraph() in ExplodedGraph() function in ExplodedGraph
53 ExplodedGraph::~ExplodedGraph() {} in ~ExplodedGraph()
59 bool ExplodedGraph::isInterestingLValueExpr(const Expr *Ex) { in isInterestingLValueExpr()
67 bool ExplodedGraph::shouldCollect(const ExplodedNode *node) { in shouldCollect()
159 void ExplodedGraph::collectNode(ExplodedNode *node) { in collectNode()
175 void ExplodedGraph::reclaimRecentlyAllocatedNodes() { in reclaimRecentlyAllocatedNodes()
213 void ExplodedNode::addPredecessor(ExplodedNode *V, ExplodedGraph &G) { in addPredecessor()
231 void ExplodedNode::NodeGroup::addNode(ExplodedNode *N, ExplodedGraph &G) { in addNode()
296 ExplodedNode *ExplodedGraph::getNode(const ProgramPoint &L, in getNode()
334 ExplodedGraph *
[all …]
|
| D | BugReporter.cpp | 2761 ExplodedGraph &GRBugReporter::getGraph() { return Eng.getGraph(); } in getGraph()
2823 OwningPtr<ExplodedGraph> Graph;
2838 OwningPtr<ExplodedGraph> G;
2868 TrimmedGraph(const ExplodedGraph *OriginalGraph,
2875 TrimmedGraph::TrimmedGraph(const ExplodedGraph *OriginalGraph, in TrimmedGraph()
2944 ExplodedGraph *GNew = new ExplodedGraph(); in popNextReportGraph()
|
| D | BugReporterVisitors.cpp | 912 if (ExplodedGraph::isInterestingLValueExpr(Ex) || CallEvent::isCallStmt(Ex)) in trackNullOrUndefValue()
950 if (Inner && ExplodedGraph::isInterestingLValueExpr(Inner)) { in trackNullOrUndefValue()
|
| D | CoreEngine.cpp | 276 for (ExplodedGraph::eop_iterator I = G->eop_begin(), in ExecuteWorkListWithInitialState()
|
| D | CheckerManager.cpp | 346 void CheckerManager::runCheckersForEndAnalysis(ExplodedGraph &G, in runCheckersForEndAnalysis()
|
| D | ExprEngine.cpp | 2518 OwningPtr<ExplodedGraph> TrimmedG(G.trim(Nodes)); in ViewGraph()
|
| /freebsd-9-stable/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ExplodedGraph.h | 43 class ExplodedGraph; variable
55 friend class ExplodedGraph; variable
95 void addNode(ExplodedNode *N, ExplodedGraph &G);
178 void addPredecessor(ExplodedNode *V, ExplodedGraph &G);
249 class ExplodedGraph {
300 ExplodedGraph* MakeEmptyGraph() const { in MakeEmptyGraph()
301 return new ExplodedGraph(); in MakeEmptyGraph()
316 ExplodedGraph();
318 ~ExplodedGraph();
375 ExplodedGraph *trim(ArrayRef<const NodeTy *> Nodes,
|
| D | CoreEngine.h | 63 OwningPtr<ExplodedGraph> G;
113 : SubEng(subengine), G(new ExplodedGraph()), in CoreEngine()
119 ExplodedGraph& getGraph() { return *G.get(); } in getGraph()
123 ExplodedGraph* takeGraph() { return G.take(); } in takeGraph()
|
| D | ExprEngine.h | 67 ExplodedGraph& G;
160 ExplodedGraph& getGraph() { return G; } in getGraph()
161 const ExplodedGraph& getGraph() const { return G; } in getGraph()
|
| D | ProgramState.h | 81 friend class ExplodedGraph; variable
|
| /freebsd-9-stable/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| D | AnalyzerStatsChecker.cpp | 37 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const;
41 void AnalyzerStatsChecker::checkEndAnalysis(ExplodedGraph &G, in checkEndAnalysis()
55 for (ExplodedGraph::node_iterator I = G.nodes_begin(); in checkEndAnalysis()
|
| D | UnreachableCodeChecker.cpp | 39 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,
53 void UnreachableCodeChecker::checkEndAnalysis(ExplodedGraph &G, in checkEndAnalysis()
66 for (ExplodedGraph::node_iterator I = G.nodes_begin(), E = G.nodes_end(); in checkEndAnalysis()
|
| D | CheckerDocumentation.cpp | 172 void checkEndAnalysis(ExplodedGraph &G, in checkEndAnalysis()
|
| D | DebugCheckers.cpp | 197 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const { in checkEndAnalysis()
|
| D | IdempotentOperationChecker.cpp | 76 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const;
345 void IdempotentOperationChecker::checkEndAnalysis(ExplodedGraph &G, in checkEndAnalysis()
|
| D | RetainCountChecker.cpp | 2365 void checkEndAnalysis(ExplodedGraph &G, BugReporter &BR, in checkEndAnalysis()
|
| /freebsd-9-stable/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| D | BugReporter.h | 41 class ExplodedGraph; variable
494 ExplodedGraph &getGraph();
528 ExplodedGraph &getGraph() { return BR.getGraph(); }
|
| /freebsd-9-stable/lib/clang/libclangstaticanalyzercore/ |
| D | Makefile | 25 ExplodedGraph.cpp \
|
| /freebsd-9-stable/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/ |
| D | CheckerManager.h | 41 class ExplodedGraph; variable
303 void runCheckersForEndAnalysis(ExplodedGraph &G, BugReporter &BR,
442 typedef CheckerFn<void (ExplodedGraph &, BugReporter &, ExprEngine &)>
|
| D | Checker.h | 217 static void _checkEndAnalysis(void *checker, ExplodedGraph &G, in _checkEndAnalysis()
|