summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--lib/CMakeLists.txt1
-rw-r--r--lib/StaticAnalyzer/CMakeLists.txt44
-rw-r--r--lib/StaticAnalyzer/Checkers/AnalyzerStatsChecker.cpp (renamed from lib/StaticAnalyzer/AnalyzerStatsChecker.cpp)2
-rw-r--r--lib/StaticAnalyzer/Checkers/CMakeLists.txt1
-rw-r--r--lib/StaticAnalyzer/Core/AggExprVisitor.cpp (renamed from lib/StaticAnalyzer/AggExprVisitor.cpp)0
-rw-r--r--lib/StaticAnalyzer/Core/AnalysisManager.cpp (renamed from lib/StaticAnalyzer/AnalysisManager.cpp)0
-rw-r--r--lib/StaticAnalyzer/Core/BasicConstraintManager.cpp (renamed from lib/StaticAnalyzer/BasicConstraintManager.cpp)0
-rw-r--r--lib/StaticAnalyzer/Core/BasicStore.cpp (renamed from lib/StaticAnalyzer/BasicStore.cpp)0
-rw-r--r--lib/StaticAnalyzer/Core/BasicValueFactory.cpp (renamed from lib/StaticAnalyzer/BasicValueFactory.cpp)0
-rw-r--r--lib/StaticAnalyzer/Core/BlockCounter.cpp (renamed from lib/StaticAnalyzer/BlockCounter.cpp)0
-rw-r--r--lib/StaticAnalyzer/Core/BugReporter.cpp (renamed from lib/StaticAnalyzer/BugReporter.cpp)0
-rw-r--r--lib/StaticAnalyzer/Core/BugReporterVisitors.cpp (renamed from lib/StaticAnalyzer/BugReporterVisitors.cpp)0
-rw-r--r--lib/StaticAnalyzer/Core/CFRefCount.cpp (renamed from lib/StaticAnalyzer/CFRefCount.cpp)0
-rw-r--r--lib/StaticAnalyzer/Core/CMakeLists.txt41
-rw-r--r--lib/StaticAnalyzer/Core/CXXExprEngine.cpp (renamed from lib/StaticAnalyzer/CXXExprEngine.cpp)0
-rw-r--r--lib/StaticAnalyzer/Core/Checker.cpp (renamed from lib/StaticAnalyzer/Checker.cpp)0
-rw-r--r--lib/StaticAnalyzer/Core/CheckerHelpers.cpp (renamed from lib/StaticAnalyzer/CheckerHelpers.cpp)0
-rw-r--r--lib/StaticAnalyzer/Core/CoreEngine.cpp (renamed from lib/StaticAnalyzer/CoreEngine.cpp)0
-rw-r--r--lib/StaticAnalyzer/Core/Environment.cpp (renamed from lib/StaticAnalyzer/Environment.cpp)0
-rw-r--r--lib/StaticAnalyzer/Core/ExplodedGraph.cpp (renamed from lib/StaticAnalyzer/ExplodedGraph.cpp)0
-rw-r--r--lib/StaticAnalyzer/Core/FlatStore.cpp (renamed from lib/StaticAnalyzer/FlatStore.cpp)0
-rw-r--r--lib/StaticAnalyzer/Core/GRState.cpp (renamed from lib/StaticAnalyzer/GRState.cpp)0
-rw-r--r--lib/StaticAnalyzer/Core/HTMLDiagnostics.cpp (renamed from lib/StaticAnalyzer/HTMLDiagnostics.cpp)0
-rw-r--r--lib/StaticAnalyzer/Core/Makefile17
-rw-r--r--lib/StaticAnalyzer/Core/ManagerRegistry.cpp (renamed from lib/StaticAnalyzer/ManagerRegistry.cpp)0
-rw-r--r--lib/StaticAnalyzer/Core/MemRegion.cpp (renamed from lib/StaticAnalyzer/MemRegion.cpp)0
-rw-r--r--lib/StaticAnalyzer/Core/ObjCMessage.cpp (renamed from lib/StaticAnalyzer/ObjCMessage.cpp)0
-rw-r--r--lib/StaticAnalyzer/Core/PathDiagnostic.cpp (renamed from lib/StaticAnalyzer/PathDiagnostic.cpp)0
-rw-r--r--lib/StaticAnalyzer/Core/PlistDiagnostics.cpp (renamed from lib/StaticAnalyzer/PlistDiagnostics.cpp)0
-rw-r--r--lib/StaticAnalyzer/Core/RangeConstraintManager.cpp (renamed from lib/StaticAnalyzer/RangeConstraintManager.cpp)0
-rw-r--r--lib/StaticAnalyzer/Core/RegionStore.cpp (renamed from lib/StaticAnalyzer/RegionStore.cpp)0
-rw-r--r--lib/StaticAnalyzer/Core/SValBuilder.cpp (renamed from lib/StaticAnalyzer/SValBuilder.cpp)0
-rw-r--r--lib/StaticAnalyzer/Core/SVals.cpp (renamed from lib/StaticAnalyzer/SVals.cpp)0
-rw-r--r--lib/StaticAnalyzer/Core/SimpleConstraintManager.cpp (renamed from lib/StaticAnalyzer/SimpleConstraintManager.cpp)0
-rw-r--r--lib/StaticAnalyzer/Core/SimpleConstraintManager.h (renamed from lib/StaticAnalyzer/SimpleConstraintManager.h)0
-rw-r--r--lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp (renamed from lib/StaticAnalyzer/SimpleSValBuilder.cpp)0
-rw-r--r--lib/StaticAnalyzer/Core/Store.cpp (renamed from lib/StaticAnalyzer/Store.cpp)0
-rw-r--r--lib/StaticAnalyzer/Core/SymbolManager.cpp (renamed from lib/StaticAnalyzer/SymbolManager.cpp)0
-rw-r--r--lib/StaticAnalyzer/Core/TextPathDiagnostics.cpp (renamed from lib/StaticAnalyzer/TextPathDiagnostics.cpp)0
-rw-r--r--lib/StaticAnalyzer/Makefile6
40 files changed, 64 insertions, 48 deletions
diff --git a/lib/CMakeLists.txt b/lib/CMakeLists.txt
index a75dd22386..b4574344bc 100644
--- a/lib/CMakeLists.txt
+++ b/lib/CMakeLists.txt
@@ -13,4 +13,3 @@ add_subdirectory(Frontend)
add_subdirectory(FrontendTool)
add_subdirectory(Index)
add_subdirectory(StaticAnalyzer)
-add_subdirectory(StaticAnalyzer/Checkers)
diff --git a/lib/StaticAnalyzer/CMakeLists.txt b/lib/StaticAnalyzer/CMakeLists.txt
index 352138599e..b2b778a437 100644
--- a/lib/StaticAnalyzer/CMakeLists.txt
+++ b/lib/StaticAnalyzer/CMakeLists.txt
@@ -1,42 +1,2 @@
-set(LLVM_NO_RTTI 1)
-
-set(LLVM_USED_LIBS clangBasic clangLex clangAST clangFrontend clangRewrite)
-
-add_clang_library(clangStaticAnalyzerCore
- AggExprVisitor.cpp
- AnalysisManager.cpp
- AnalyzerStatsChecker.cpp
- BasicConstraintManager.cpp
- BasicStore.cpp
- BasicValueFactory.cpp
- BugReporter.cpp
- BugReporterVisitors.cpp
- CFRefCount.cpp
- Checker.cpp
- CheckerHelpers.cpp
- Environment.cpp
- ExplodedGraph.cpp
- FlatStore.cpp
- BlockCounter.cpp
- CXXExprEngine.cpp
- CoreEngine.cpp
- GRState.cpp
- HTMLDiagnostics.cpp
- ManagerRegistry.cpp
- MemRegion.cpp
- ObjCMessage.cpp
- PathDiagnostic.cpp
- PlistDiagnostics.cpp
- RangeConstraintManager.cpp
- RegionStore.cpp
- SimpleConstraintManager.cpp
- SimpleSValBuilder.cpp
- Store.cpp
- SValBuilder.cpp
- SVals.cpp
- SymbolManager.cpp
- TextPathDiagnostics.cpp
- )
-
-add_dependencies(clangStaticAnalyzerCore ClangAttrClasses ClangAttrList ClangDeclNodes
- ClangStmtNodes)
+add_subdirectory(Core)
+add_subdirectory(Checkers)
diff --git a/lib/StaticAnalyzer/AnalyzerStatsChecker.cpp b/lib/StaticAnalyzer/Checkers/AnalyzerStatsChecker.cpp
index 24a73cbb23..26d0e02c31 100644
--- a/lib/StaticAnalyzer/AnalyzerStatsChecker.cpp
+++ b/lib/StaticAnalyzer/Checkers/AnalyzerStatsChecker.cpp
@@ -14,7 +14,7 @@
#include "clang/StaticAnalyzer/BugReporter/BugReporter.h"
// FIXME: Restructure checker registration.
-#include "Checkers/ExperimentalChecks.h"
+#include "ExperimentalChecks.h"
#include "clang/Basic/SourceManager.h"
#include "llvm/ADT/SmallPtrSet.h"
diff --git a/lib/StaticAnalyzer/Checkers/CMakeLists.txt b/lib/StaticAnalyzer/Checkers/CMakeLists.txt
index cf6e9760ee..9a6ad7fbf8 100644
--- a/lib/StaticAnalyzer/Checkers/CMakeLists.txt
+++ b/lib/StaticAnalyzer/Checkers/CMakeLists.txt
@@ -5,6 +5,7 @@ set(LLVM_USED_LIBS clangBasic clangAST)
add_clang_library(clangStaticAnalyzerCheckers
AdjustedReturnValueChecker.cpp
AnalysisConsumer.cpp
+ AnalyzerStatsChecker.cpp
ArrayBoundChecker.cpp
ArrayBoundCheckerV2.cpp
AttrNonNullChecker.cpp
diff --git a/lib/StaticAnalyzer/AggExprVisitor.cpp b/lib/StaticAnalyzer/Core/AggExprVisitor.cpp
index 0cc23900ed..0cc23900ed 100644
--- a/lib/StaticAnalyzer/AggExprVisitor.cpp
+++ b/lib/StaticAnalyzer/Core/AggExprVisitor.cpp
diff --git a/lib/StaticAnalyzer/AnalysisManager.cpp b/lib/StaticAnalyzer/Core/AnalysisManager.cpp
index cc5e271393..cc5e271393 100644
--- a/lib/StaticAnalyzer/AnalysisManager.cpp
+++ b/lib/StaticAnalyzer/Core/AnalysisManager.cpp
diff --git a/lib/StaticAnalyzer/BasicConstraintManager.cpp b/lib/StaticAnalyzer/Core/BasicConstraintManager.cpp
index bbffa1a2fb..bbffa1a2fb 100644
--- a/lib/StaticAnalyzer/BasicConstraintManager.cpp
+++ b/lib/StaticAnalyzer/Core/BasicConstraintManager.cpp
diff --git a/lib/StaticAnalyzer/BasicStore.cpp b/lib/StaticAnalyzer/Core/BasicStore.cpp
index abeac0d00c..abeac0d00c 100644
--- a/lib/StaticAnalyzer/BasicStore.cpp
+++ b/lib/StaticAnalyzer/Core/BasicStore.cpp
diff --git a/lib/StaticAnalyzer/BasicValueFactory.cpp b/lib/StaticAnalyzer/Core/BasicValueFactory.cpp
index d8b501bc7c..d8b501bc7c 100644
--- a/lib/StaticAnalyzer/BasicValueFactory.cpp
+++ b/lib/StaticAnalyzer/Core/BasicValueFactory.cpp
diff --git a/lib/StaticAnalyzer/BlockCounter.cpp b/lib/StaticAnalyzer/Core/BlockCounter.cpp
index 47f6088a47..47f6088a47 100644
--- a/lib/StaticAnalyzer/BlockCounter.cpp
+++ b/lib/StaticAnalyzer/Core/BlockCounter.cpp
diff --git a/lib/StaticAnalyzer/BugReporter.cpp b/lib/StaticAnalyzer/Core/BugReporter.cpp
index 8edbe14878..8edbe14878 100644
--- a/lib/StaticAnalyzer/BugReporter.cpp
+++ b/lib/StaticAnalyzer/Core/BugReporter.cpp
diff --git a/lib/StaticAnalyzer/BugReporterVisitors.cpp b/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
index 91d727592c..91d727592c 100644
--- a/lib/StaticAnalyzer/BugReporterVisitors.cpp
+++ b/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
diff --git a/lib/StaticAnalyzer/CFRefCount.cpp b/lib/StaticAnalyzer/Core/CFRefCount.cpp
index 2790d54520..2790d54520 100644
--- a/lib/StaticAnalyzer/CFRefCount.cpp
+++ b/lib/StaticAnalyzer/Core/CFRefCount.cpp
diff --git a/lib/StaticAnalyzer/Core/CMakeLists.txt b/lib/StaticAnalyzer/Core/CMakeLists.txt
new file mode 100644
index 0000000000..5fc72fb296
--- /dev/null
+++ b/lib/StaticAnalyzer/Core/CMakeLists.txt
@@ -0,0 +1,41 @@
+set(LLVM_NO_RTTI 1)
+
+set(LLVM_USED_LIBS clangBasic clangLex clangAST clangFrontend clangRewrite)
+
+add_clang_library(clangStaticAnalyzerCore
+ AggExprVisitor.cpp
+ AnalysisManager.cpp
+ BasicConstraintManager.cpp
+ BasicStore.cpp
+ BasicValueFactory.cpp
+ BugReporter.cpp
+ BugReporterVisitors.cpp
+ CFRefCount.cpp
+ Checker.cpp
+ CheckerHelpers.cpp
+ Environment.cpp
+ ExplodedGraph.cpp
+ FlatStore.cpp
+ BlockCounter.cpp
+ CXXExprEngine.cpp
+ CoreEngine.cpp
+ GRState.cpp
+ HTMLDiagnostics.cpp
+ ManagerRegistry.cpp
+ MemRegion.cpp
+ ObjCMessage.cpp
+ PathDiagnostic.cpp
+ PlistDiagnostics.cpp
+ RangeConstraintManager.cpp
+ RegionStore.cpp
+ SimpleConstraintManager.cpp
+ SimpleSValBuilder.cpp
+ Store.cpp
+ SValBuilder.cpp
+ SVals.cpp
+ SymbolManager.cpp
+ TextPathDiagnostics.cpp
+ )
+
+add_dependencies(clangStaticAnalyzerCore ClangAttrClasses ClangAttrList ClangDeclNodes
+ ClangStmtNodes)
diff --git a/lib/StaticAnalyzer/CXXExprEngine.cpp b/lib/StaticAnalyzer/Core/CXXExprEngine.cpp
index 9d11e076ba..9d11e076ba 100644
--- a/lib/StaticAnalyzer/CXXExprEngine.cpp
+++ b/lib/StaticAnalyzer/Core/CXXExprEngine.cpp
diff --git a/lib/StaticAnalyzer/Checker.cpp b/lib/StaticAnalyzer/Core/Checker.cpp
index c5112339c5..c5112339c5 100644
--- a/lib/StaticAnalyzer/Checker.cpp
+++ b/lib/StaticAnalyzer/Core/Checker.cpp
diff --git a/lib/StaticAnalyzer/CheckerHelpers.cpp b/lib/StaticAnalyzer/Core/CheckerHelpers.cpp
index be9fee548f..be9fee548f 100644
--- a/lib/StaticAnalyzer/CheckerHelpers.cpp
+++ b/lib/StaticAnalyzer/Core/CheckerHelpers.cpp
diff --git a/lib/StaticAnalyzer/CoreEngine.cpp b/lib/StaticAnalyzer/Core/CoreEngine.cpp
index 13cca35aac..13cca35aac 100644
--- a/lib/StaticAnalyzer/CoreEngine.cpp
+++ b/lib/StaticAnalyzer/Core/CoreEngine.cpp
diff --git a/lib/StaticAnalyzer/Environment.cpp b/lib/StaticAnalyzer/Core/Environment.cpp
index 08ebf39b58..08ebf39b58 100644
--- a/lib/StaticAnalyzer/Environment.cpp
+++ b/lib/StaticAnalyzer/Core/Environment.cpp
diff --git a/lib/StaticAnalyzer/ExplodedGraph.cpp b/lib/StaticAnalyzer/Core/ExplodedGraph.cpp
index 4c4612fab5..4c4612fab5 100644
--- a/lib/StaticAnalyzer/ExplodedGraph.cpp
+++ b/lib/StaticAnalyzer/Core/ExplodedGraph.cpp
diff --git a/lib/StaticAnalyzer/FlatStore.cpp b/lib/StaticAnalyzer/Core/FlatStore.cpp
index e6cb58d819..e6cb58d819 100644
--- a/lib/StaticAnalyzer/FlatStore.cpp
+++ b/lib/StaticAnalyzer/Core/FlatStore.cpp
diff --git a/lib/StaticAnalyzer/GRState.cpp b/lib/StaticAnalyzer/Core/GRState.cpp
index 18995b2ce7..18995b2ce7 100644
--- a/lib/StaticAnalyzer/GRState.cpp
+++ b/lib/StaticAnalyzer/Core/GRState.cpp
diff --git a/lib/StaticAnalyzer/HTMLDiagnostics.cpp b/lib/StaticAnalyzer/Core/HTMLDiagnostics.cpp
index bd20d481a9..bd20d481a9 100644
--- a/lib/StaticAnalyzer/HTMLDiagnostics.cpp
+++ b/lib/StaticAnalyzer/Core/HTMLDiagnostics.cpp
diff --git a/lib/StaticAnalyzer/Core/Makefile b/lib/StaticAnalyzer/Core/Makefile
new file mode 100644
index 0000000000..4aebc163dd
--- /dev/null
+++ b/lib/StaticAnalyzer/Core/Makefile
@@ -0,0 +1,17 @@
+##===- clang/lib/StaticAnalyzer/Core/Makefile --------------*- Makefile -*-===##
+#
+# The LLVM Compiler Infrastructure
+#
+# This file is distributed under the University of Illinois Open Source
+# License. See LICENSE.TXT for details.
+#
+##===----------------------------------------------------------------------===##
+#
+# This implements analyses built on top of source-level CFGs.
+#
+##===----------------------------------------------------------------------===##
+
+CLANG_LEVEL := ../../..
+LIBRARYNAME := clangStaticAnalyzerCore
+
+include $(CLANG_LEVEL)/Makefile
diff --git a/lib/StaticAnalyzer/ManagerRegistry.cpp b/lib/StaticAnalyzer/Core/ManagerRegistry.cpp
index 3f9ed61db7..3f9ed61db7 100644
--- a/lib/StaticAnalyzer/ManagerRegistry.cpp
+++ b/lib/StaticAnalyzer/Core/ManagerRegistry.cpp
diff --git a/lib/StaticAnalyzer/MemRegion.cpp b/lib/StaticAnalyzer/Core/MemRegion.cpp
index eca7619d3f..eca7619d3f 100644
--- a/lib/StaticAnalyzer/MemRegion.cpp
+++ b/lib/StaticAnalyzer/Core/MemRegion.cpp
diff --git a/lib/StaticAnalyzer/ObjCMessage.cpp b/lib/StaticAnalyzer/Core/ObjCMessage.cpp
index 53c7175013..53c7175013 100644
--- a/lib/StaticAnalyzer/ObjCMessage.cpp
+++ b/lib/StaticAnalyzer/Core/ObjCMessage.cpp
diff --git a/lib/StaticAnalyzer/PathDiagnostic.cpp b/lib/StaticAnalyzer/Core/PathDiagnostic.cpp
index f05dec820d..f05dec820d 100644
--- a/lib/StaticAnalyzer/PathDiagnostic.cpp
+++ b/lib/StaticAnalyzer/Core/PathDiagnostic.cpp
diff --git a/lib/StaticAnalyzer/PlistDiagnostics.cpp b/lib/StaticAnalyzer/Core/PlistDiagnostics.cpp
index ecc0cff5c3..ecc0cff5c3 100644
--- a/lib/StaticAnalyzer/PlistDiagnostics.cpp
+++ b/lib/StaticAnalyzer/Core/PlistDiagnostics.cpp
diff --git a/lib/StaticAnalyzer/RangeConstraintManager.cpp b/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp
index 5f0a386c1a..5f0a386c1a 100644
--- a/lib/StaticAnalyzer/RangeConstraintManager.cpp
+++ b/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp
diff --git a/lib/StaticAnalyzer/RegionStore.cpp b/lib/StaticAnalyzer/Core/RegionStore.cpp
index d5af1c2747..d5af1c2747 100644
--- a/lib/StaticAnalyzer/RegionStore.cpp
+++ b/lib/StaticAnalyzer/Core/RegionStore.cpp
diff --git a/lib/StaticAnalyzer/SValBuilder.cpp b/lib/StaticAnalyzer/Core/SValBuilder.cpp
index f87fb7ee1e..f87fb7ee1e 100644
--- a/lib/StaticAnalyzer/SValBuilder.cpp
+++ b/lib/StaticAnalyzer/Core/SValBuilder.cpp
diff --git a/lib/StaticAnalyzer/SVals.cpp b/lib/StaticAnalyzer/Core/SVals.cpp
index 1b2f1de49d..1b2f1de49d 100644
--- a/lib/StaticAnalyzer/SVals.cpp
+++ b/lib/StaticAnalyzer/Core/SVals.cpp
diff --git a/lib/StaticAnalyzer/SimpleConstraintManager.cpp b/lib/StaticAnalyzer/Core/SimpleConstraintManager.cpp
index 11bc5698a9..11bc5698a9 100644
--- a/lib/StaticAnalyzer/SimpleConstraintManager.cpp
+++ b/lib/StaticAnalyzer/Core/SimpleConstraintManager.cpp
diff --git a/lib/StaticAnalyzer/SimpleConstraintManager.h b/lib/StaticAnalyzer/Core/SimpleConstraintManager.h
index 75f67f7f17..75f67f7f17 100644
--- a/lib/StaticAnalyzer/SimpleConstraintManager.h
+++ b/lib/StaticAnalyzer/Core/SimpleConstraintManager.h
diff --git a/lib/StaticAnalyzer/SimpleSValBuilder.cpp b/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp
index 6c65da4635..6c65da4635 100644
--- a/lib/StaticAnalyzer/SimpleSValBuilder.cpp
+++ b/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp
diff --git a/lib/StaticAnalyzer/Store.cpp b/lib/StaticAnalyzer/Core/Store.cpp
index fa671a3bb0..fa671a3bb0 100644
--- a/lib/StaticAnalyzer/Store.cpp
+++ b/lib/StaticAnalyzer/Core/Store.cpp
diff --git a/lib/StaticAnalyzer/SymbolManager.cpp b/lib/StaticAnalyzer/Core/SymbolManager.cpp
index 518bb172d5..518bb172d5 100644
--- a/lib/StaticAnalyzer/SymbolManager.cpp
+++ b/lib/StaticAnalyzer/Core/SymbolManager.cpp
diff --git a/lib/StaticAnalyzer/TextPathDiagnostics.cpp b/lib/StaticAnalyzer/Core/TextPathDiagnostics.cpp
index 9ca378f2d4..9ca378f2d4 100644
--- a/lib/StaticAnalyzer/TextPathDiagnostics.cpp
+++ b/lib/StaticAnalyzer/Core/TextPathDiagnostics.cpp
diff --git a/lib/StaticAnalyzer/Makefile b/lib/StaticAnalyzer/Makefile
index 08ace28e35..f762531b82 100644
--- a/lib/StaticAnalyzer/Makefile
+++ b/lib/StaticAnalyzer/Makefile
@@ -1,4 +1,4 @@
-##===- clang/lib/Checker/Makefile --------------------------*- Makefile -*-===##
+##===- clang/lib/StaticAnalyzer/Makefile -------------------*- Makefile -*-===##
#
# The LLVM Compiler Infrastructure
#
@@ -12,8 +12,6 @@
##===----------------------------------------------------------------------===##
CLANG_LEVEL := ../..
-LIBRARYNAME := clangStaticAnalyzerCore
-PARALLEL_DIRS := Checkers
+PARALLEL_DIRS := Core Checkers
include $(CLANG_LEVEL)/Makefile
-