Home
last modified time | relevance | path

Searched refs:ExplodedGraph (Results 1 – 20 of 20) sorted by relevance

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DExplodedGraph.cpp40 ExplodedGraph::ExplodedGraph() = default;
42 ExplodedGraph::~ExplodedGraph() = default;
48 bool ExplodedGraph::isInterestingLValueExpr(const Expr *Ex) { in isInterestingLValueExpr()
54 bool ExplodedGraph::shouldCollect(const ExplodedNode *node) { in shouldCollect()
151 void ExplodedGraph::collectNode(ExplodedNode *node) { in collectNode()
167 void ExplodedGraph::reclaimRecentlyAllocatedNodes() { in reclaimRecentlyAllocatedNodes()
202 void ExplodedNode::addPredecessor(ExplodedNode *V, ExplodedGraph &G) { in addPredecessor()
217 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 DBugReporter.cpp214 std::unique_ptr<const ExplodedGraph> BugPath;
236 BugReporterContext BRC, std::unique_ptr<ExplodedGraph> BugPath,
2017 BugReporterContext BRC, std::unique_ptr<ExplodedGraph> BugPath, in PathDiagnosticBuilder()
2519 const ExplodedGraph &PathSensitiveBugReporter::getGraph() const { in getGraph()
2563 std::unique_ptr<ExplodedGraph> BugPath;
2571 std::unique_ptr<ExplodedGraph> TrimmedGraph;
2615 BugPathGetter(const ExplodedGraph *OriginalGraph,
2623 BugPathGetter::BugPathGetter(const ExplodedGraph *OriginalGraph, in BugPathGetter()
2696 auto GNew = std::make_unique<ExplodedGraph>(); in getNextBugPath()
H A DExprEngine.cpp2525 ExplodedGraph &G) { in getInlinedLocationContext()
3973 struct DOTGraphTraits<ExplodedGraph*> : public DefaultDOTGraphTraits {
4017 static bool isNodeHidden(const ExplodedNode *N, const ExplodedGraph *G) { in isNodeHidden()
4021 static std::string getNodeLabel(const ExplodedNode *N, ExplodedGraph *G){ in getNodeLabel()
4098 std::unique_ptr<ExplodedGraph> TrimmedG(G.trim(Nodes)); in DumpGraph()
H A DCheckerManager.cpp457 void CheckerManager::runCheckersForEndAnalysis(ExplodedGraph &G, in runCheckersForEndAnalysis()
H A DBugReporterVisitors.cpp2302 if (ExplodedGraph::isInterestingLValueExpr(Inner)) { in handle()
2489 if (ExplodedGraph::isInterestingLValueExpr(Inner)) in handle()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExplodedGraph.h55 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 {
343 ExplodedGraph();
344 ~ExplodedGraph();
421 std::unique_ptr<ExplodedGraph>
493 template <> struct GraphTraits<clang::ento::ExplodedGraph *> {
494 using GraphTy = clang::ento::ExplodedGraph *;
H A DExprEngine.h148 ExplodedGraph &G;
256 ExplodedGraph &getGraph() { return G; } in getGraph()
257 const ExplodedGraph &getGraph() const { return G; } in getGraph()
H A DCoreEngine.h70 mutable ExplodedGraph G;
147 ExplodedGraph &getGraph() { return G; } in getGraph()
H A DProgramState.h79 friend class ExplodedGraph; variable
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DAnalyzerStatsChecker.cpp36 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const;
40 void AnalyzerStatsChecker::checkEndAnalysis(ExplodedGraph &G, in checkEndAnalysis()
H A DUnreachableCodeChecker.cpp35 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,
49 void UnreachableCodeChecker::checkEndAnalysis(ExplodedGraph &G, in checkEndAnalysis()
H A DCheckerDocumentation.cpp244 void checkEndAnalysis(ExplodedGraph &G, in checkEndAnalysis()
H A DAnalysisOrderChecker.cpp174 void checkEndAnalysis(ExplodedGraph &G, BugReporter &BR, in checkEndAnalysis()
H A DExprInspectionChecker.cpp73 void checkEndAnalysis(ExplodedGraph &G, BugReporter &BR,
412 void ExprInspectionChecker::checkEndAnalysis(ExplodedGraph &G, BugReporter &BR, in checkEndAnalysis()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/
H A DCheckerManager.h47 class ExplodedGraph; variable
354 void runCheckersForEndAnalysis(ExplodedGraph &G, BugReporter &BR,
509 CheckerFn<void (ExplodedGraph &, BugReporter &, ExprEngine &)>;
H A DChecker.h242 static void _checkEndAnalysis(void *checker, ExplodedGraph &G, in _checkEndAnalysis()
H A DAnalyzerOptions.def460 "How often nodes in the ExplodedGraph should be recycled to save memory. "
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporter.h59 class ExplodedGraph; variable
702 const ExplodedGraph &getGraph() const;
/freebsd/lib/clang/libclang/
H A DMakefile831 SRCS_FUL+= StaticAnalyzer/Core/ExplodedGraph.cpp
/freebsd/contrib/llvm-project/llvm/include/llvm/Testing/Demangle/
H A DDemangleTestCases.inc6335 …ymous namespace)::AnalyzerStatsChecker::VisitEndAnalysis(clang::ento::ExplodedGraph&, clang::ento:…
6628 …namespace)::IdempotentOperationChecker::VisitEndAnalysis(clang::ento::ExplodedGraph&, clang::ento:…
6756 …_10ExprEngineE", "clang::ento::Checker::VisitEndAnalysis(clang::ento::ExplodedGraph&, clang::ento:…
6930 …ous namespace)::UnreachableCodeChecker::VisitEndAnalysis(clang::ento::ExplodedGraph&, clang::ento:…
7571 {"_ZN5clang4ento13ExplodedGraphD1Ev", "clang::ento::ExplodedGraph::~ExplodedGraph()"},
7572 {"_ZN5clang4ento13ExplodedGraphD2Ev", "clang::ento::ExplodedGraph::~ExplodedGraph()"},
7573 {"_ZN5clang4ento13ExplodedGraph29reclaimRecentlyAllocatedNodesEv", "clang::ento::ExplodedGraph::rec…
7574 …ang::ento::ExplodedNode::addPredecessor(clang::ento::ExplodedNode*, clang::ento::ExplodedGraph&)"},
7575 …:ento::ExplodedNode::NodeGroup::addNode(clang::ento::ExplodedNode*, clang::ento::ExplodedGraph&)"},
7580 …edGraph7getNodeERKNS_12ProgramPointEPKNS0_7GRStateEPb", "clang::ento::ExplodedGraph::getNode(clang…
[all …]