From aedb7434c8cdbca163d08af90ad09ecb02a19fcc Mon Sep 17 00:00:00 2001
From: Ted Kremenek <kremenek@apple.com>
Date: Fri, 13 Nov 2009 01:15:47 +0000
Subject: Add clang-cc option "-analyzer-experimental-checks" to enable
 experimental path-sensitive checks.  The idea is to separate "barely working"
 or "skunkworks" checks from ones that should always run.  Later we need more
 fine-grain checker control.

llvm-svn: 87053
---
 clang/lib/Analysis/CMakeLists.txt                  |  1 +
 .../Analysis/GRExprEngineExperimentalChecks.cpp    | 23 ++++++++++++++++++++++
 2 files changed, 24 insertions(+)
 create mode 100644 clang/lib/Analysis/GRExprEngineExperimentalChecks.cpp

(limited to 'clang/lib/Analysis')

diff --git a/clang/lib/Analysis/CMakeLists.txt b/clang/lib/Analysis/CMakeLists.txt
index 3638b831a7f..8e8c1e7b25e 100644
--- a/clang/lib/Analysis/CMakeLists.txt
+++ b/clang/lib/Analysis/CMakeLists.txt
@@ -30,6 +30,7 @@ add_clang_library(clangAnalysis
   GRBlockCounter.cpp
   GRCoreEngine.cpp
   GRExprEngine.cpp
+  GRExprEngineExperimentalChecks.cpp
   GRExprEngineInternalChecks.cpp
   GRState.cpp
   LiveVariables.cpp
diff --git a/clang/lib/Analysis/GRExprEngineExperimentalChecks.cpp b/clang/lib/Analysis/GRExprEngineExperimentalChecks.cpp
new file mode 100644
index 00000000000..e50dbeba688
--- /dev/null
+++ b/clang/lib/Analysis/GRExprEngineExperimentalChecks.cpp
@@ -0,0 +1,23 @@
+//=-- GRExprEngineExperimentalChecks.h ------------------------------*- C++ -*-=
+//
+//                     The LLVM Compiler Infrastructure
+//
+// This file is distributed under the University of Illinois Open Source
+// License. See LICENSE.TXT for details.
+//
+//===----------------------------------------------------------------------===//
+//
+//  This file defines functions to instantiate and register experimental
+//  checks in GRExprEngine.
+//
+//===----------------------------------------------------------------------===//
+
+#include "GRExprEngineExperimentalChecks.h"
+#include "clang/Analysis/LocalCheckers.h"
+
+using namespace clang;
+
+void clang::RegisterExperimentalChecks(GRExprEngine &Eng) {
+  RegisterPthreadLockChecker(Eng);  
+}
+
-- 
cgit v1.2.3