Added boilerplate to execute the CF reference count checker (which isn't yet implemented).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47982 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/Driver/ASTConsumers.cpp b/Driver/ASTConsumers.cpp
index c5e8e5e..f8fbdc9 100644
--- a/Driver/ASTConsumers.cpp
+++ b/Driver/ASTConsumers.cpp
@@ -636,6 +636,43 @@
}
}
+
+//===----------------------------------------------------------------------===//
+// Core Foundation Reference Counting Checker
+
+namespace {
+ class CFRefCountCheckerVisitor : public CFGVisitor {
+ Diagnostic &Diags;
+ ASTContext* Ctx;
+
+ public:
+ CFRefCountCheckerVisitor(Diagnostic &diags, const std::string& fname)
+ : CFGVisitor(fname), Diags(diags) {}
+
+ virtual void Initialize(ASTContext &Context) { Ctx = &Context; }
+ virtual void VisitCFG(CFG& C, FunctionDecl&);
+ virtual bool printFuncDeclStart() { return false; }
+ };
+} // end anonymous namespace
+
+
+ASTConsumer* clang::CreateCFRefChecker(Diagnostic &Diags,
+ const std::string& FunctionName) {
+
+ return new CFRefCountCheckerVisitor(Diags, FunctionName);
+}
+
+void CFRefCountCheckerVisitor::VisitCFG(CFG& C, FunctionDecl& FD) {
+
+ SourceLocation Loc = FD.getLocation();
+
+ if (!Loc.isFileID() ||
+ Loc.getFileID() != Ctx->getSourceManager().getMainFileID())
+ return;
+
+ CheckCFRefCount(C, FD, *Ctx, Diags);
+}
+
//===----------------------------------------------------------------------===//
// AST Serializer
diff --git a/Driver/ASTConsumers.h b/Driver/ASTConsumers.h
index 85940c8..3d2f949 100644
--- a/Driver/ASTConsumers.h
+++ b/Driver/ASTConsumers.h
@@ -45,6 +45,9 @@
ASTConsumer *CreateGRSimpleVals(Diagnostic &Diags,
const std::string& Function,
bool Visualize = false);
+
+ASTConsumer* CreateCFRefChecker(Diagnostic &Diags,
+ const std::string& FunctionName);
ASTConsumer *CreateCodeRewriterTest(const std::string& InFile,
Diagnostic &Diags);
diff --git a/Driver/clang.cpp b/Driver/clang.cpp
index f5790df..216e669 100644
--- a/Driver/clang.cpp
+++ b/Driver/clang.cpp
@@ -71,6 +71,7 @@
AnalysisLiveVariables, // Print results of live-variable analysis.
AnalysisGRSimpleVals, // Perform graph-reachability constant prop.
AnalysisGRSimpleValsView, // Visualize results of path-sens. analysis.
+ CheckerCFRef, // Run the Core Foundation Ref. Count Checker.
WarnDeadStores, // Run DeadStores checker on parsed ASTs.
WarnDeadStoresCheck, // Check diagnostics for "DeadStores".
WarnUninitVals, // Run UnitializedVariables checker.
@@ -119,6 +120,8 @@
"Perform path-sensitive constant propagation."),
clEnumValN(AnalysisGRSimpleValsView, "grsimple-view",
"View results of path-sensitive constant propagation."),
+ clEnumValN(CheckerCFRef, "check-cfref",
+ "Run the Core Foundation reference count checker."),
clEnumValN(TestSerialization, "test-pickling",
"Run prototype serializtion code."),
clEnumValN(EmitLLVM, "emit-llvm",
@@ -1038,6 +1041,9 @@
case AnalysisGRSimpleValsView:
return CreateGRSimpleVals(Diag, AnalyzeSpecificFunction, true);
+ case CheckerCFRef:
+ return CreateCFRefChecker(Diag, AnalyzeSpecificFunction);
+
case TestSerialization:
return CreateSerializationTest(Diag, FileMgr, LangOpts);