| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExplodedGraph.cpp | 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()
392 ExplodedNode *ExplodedGraph::getNode(const ProgramPoint &L, in getNode()
430 ExplodedNode *ExplodedGraph::createUncachedNode(const ProgramPoint &L, in createUncachedNode()
[all …]
|
| H A D | BugReporter.cpp | 220 std::unique_ptr<const ExplodedGraph> BugPath;
242 BugReporterContext BRC, std::unique_ptr<ExplodedGraph> BugPath,
2000 BugReporterContext BRC, std::unique_ptr<ExplodedGraph> BugPath, in PathDiagnosticBuilder()
2476 const ExplodedGraph &PathSensitiveBugReporter::getGraph() const { in getGraph()
2520 std::unique_ptr<ExplodedGraph> BugPath;
2528 std::unique_ptr<ExplodedGraph> TrimmedGraph;
2572 BugPathGetter(const ExplodedGraph *OriginalGraph,
2580 BugPathGetter::BugPathGetter(const ExplodedGraph *OriginalGraph, in BugPathGetter()
2654 auto GNew = std::make_unique<ExplodedGraph>(); in getNextBugPath()
|
| H A D | ExprEngine.cpp | 3822 struct DOTGraphTraits<ExplodedGraph*> : public DefaultDOTGraphTraits {
3866 static bool isNodeHidden(const ExplodedNode *N, const ExplodedGraph *G) { in isNodeHidden()
3870 static std::string getNodeLabel(const ExplodedNode *N, ExplodedGraph *G){ in getNodeLabel()
3947 std::unique_ptr<ExplodedGraph> TrimmedG(G.trim(Nodes)); in DumpGraph()
|
| H A D | CheckerManager.cpp | 400 void CheckerManager::runCheckersForEndAnalysis(ExplodedGraph &G, in runCheckersForEndAnalysis()
|
| H A D | BugReporterVisitors.cpp | 2350 if (ExplodedGraph::isInterestingLValueExpr(Inner)) { in handle()
2537 if (ExplodedGraph::isInterestingLValueExpr(Inner)) in handle()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ExplodedGraph.h | 55 class ExplodedGraph; variable
70 friend class ExplodedGraph; variable
107 void addNode(ExplodedNode *N, ExplodedGraph &G);
196 void addPredecessor(ExplodedNode *V, ExplodedGraph &G);
303 class ExplodedGraph {
345 ExplodedGraph();
346 ~ExplodedGraph();
365 std::unique_ptr<ExplodedGraph> MakeEmptyGraph() const { in MakeEmptyGraph()
366 return std::make_unique<ExplodedGraph>(); in MakeEmptyGraph()
434 std::unique_ptr<ExplodedGraph>
[all …]
|
| H A D | ExprEngine.h | 148 ExplodedGraph &G;
256 ExplodedGraph &getGraph() { return G; } in getGraph()
257 const ExplodedGraph &getGraph() const { return G; } in getGraph()
|
| H A D | CoreEngine.h | 76 mutable ExplodedGraph G;
145 ExplodedGraph &getGraph() { return G; } in getGraph()
|
| H A D | ProgramState.h | 80 friend class ExplodedGraph; variable
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | AnalyzerStatsChecker.cpp | 38 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const;
42 void AnalyzerStatsChecker::checkEndAnalysis(ExplodedGraph &G, in checkEndAnalysis()
|
| H A D | UnreachableCodeChecker.cpp | 35 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,
49 void UnreachableCodeChecker::checkEndAnalysis(ExplodedGraph &G, in checkEndAnalysis()
|
| H A D | CheckerDocumentation.cpp | 208 void checkEndAnalysis(ExplodedGraph &G, in checkEndAnalysis()
|
| H A D | AnalysisOrderChecker.cpp | 175 void checkEndAnalysis(ExplodedGraph &G, BugReporter &BR, in checkEndAnalysis()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | CheckerManager.h | 46 class ExplodedGraph; variable
346 void runCheckersForEndAnalysis(ExplodedGraph &G, BugReporter &BR,
498 CheckerFn<void (ExplodedGraph &, BugReporter &, ExprEngine &)>;
|
| H A D | AnalyzerOptions.def | 396 "How often nodes in the ExplodedGraph should be recycled to save memory. "
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporter.h | 59 class ExplodedGraph; variable
697 const ExplodedGraph &getGraph() const;
|
| /freebsd/lib/clang/libclang/ |
| H A D | Makefile | 788 SRCS_FUL+= StaticAnalyzer/Core/ExplodedGraph.cpp
|