llvm-project/clang/lib/Analysis/CMakeLists.txt

set(LLVM_USED_LIBS clangBasic clangAST clangIndex)

add_clang_library(clangAnalysis
  AnalysisContext.cpp
  CFG.cpp
  CFGReachabilityAnalysis.cpp
  CFGStmtMap.cpp
  CocoaConventions.cpp
  FormatString.cpp
  LiveVariables.cpp
  PrintfFormatString.cpp
  PseudoConstantAnalysis.cpp
  ReachableCode.cpp
  ScanfFormatString.cpp
  UninitializedValues.cpp
  )

add_dependencies(clangAnalysis ClangAttrClasses ClangAttrList
                 ClangDiagnosticAnalysis ClangDeclNodes ClangStmtNodes)
Revert "CMake: Update to use standard CMake dependency tracking facilities instead" This reverts commit r113631 Conflicts: CMakeLists.txt lib/CodeGen/CMakeLists.txt llvm-svn: 113817 2010-09-14 07:54:41 +08:00			`set(LLVM_USED_LIBS clangBasic clangAST clangIndex)`

CMake: Builds and installs clang binary and libs (no docs yet). It must be under the `tools' subdirectory of the LLVM source tree. llvm-svn: 58180 2008-10-26 08:56:18 +08:00			`add_clang_library(clangAnalysis`
Update CMakeLists.txt llvm-svn: 77577 2009-07-30 11:55:04 +08:00			`AnalysisContext.cpp`
Move the source-level CFG from libAST to libAnalysis. llvm-svn: 76092 2009-07-17 02:13:04 +08:00			`CFG.cpp`
Migrate CFGReachabilityAnalysis out of the IdempotentOperationsChecker and into its own analysis file. llvm-svn: 126289 2011-02-23 09:51:59 +08:00			`CFGReachabilityAnalysis.cpp`
Add CFGStmtMap, which defines a mapping from Stmt* to CFGBlock*. The immediate intended use is in the unreachable code analysis. llvm-svn: 110230 2010-08-05 02:23:15 +08:00			`CFGStmtMap.cpp`
Move CocoaConventions.[h,cpp] from libChecker to libAnalysis. Similar to Format (format string checking), CocoaConventions has the potential to serve clients other than the static analyzer. llvm-svn: 122040 2010-12-17 13:21:58 +08:00			`CocoaConventions.cpp`
Add most of the boilerplate support for scanf format string checking. This includes handling the parsing of scanf format strings and hooking the checking into Sema. Most of this checking logic piggybacks on what was already there for checking printf format strings, but the checking logic has been refactored to support both. What is left to be done is to support argument type checking in format strings and of course fix the usual tail of bugs that will follow. llvm-svn: 108500 2010-07-16 10:11:22 +08:00			`FormatString.cpp`
CMake: Builds and installs clang binary and libs (no docs yet). It must be under the `tools' subdirectory of the LLVM source tree. llvm-svn: 58180 2008-10-26 08:56:18 +08:00			`LiveVariables.cpp`
Add skeleton for a more structured way to analyzing pring format strings than what we currently have in Sema. This is both an experiment and a WIP. The idea is simple: parse the format string incrementally, constructing a well-structure representation of each format specifier. Each format specifier is then handed back one-by-one to a client via a callback. Malformed format strings are also handled with callbacks. The idea is to separate the parsing of the format string from the emission of diagnostics. Currently what we have in Sema for handling format strings is a mongrel of both that is hard to follow and difficult to modify (I can apply this label since I'm the original author of that code). This is in libAnalysis as it is reasonable generic and can potentially be used both by libSema and libChecker. Comments welcome. llvm-svn: 94702 2010-01-28 07:43:25 +08:00			`PrintfFormatString.cpp`
Several small changes to PseudoConstantAnalysis and the way IdempotentOperationChecker uses it. - Psuedo -> Pseudo (doh...) - C++ reference support - Added pseudoconstant test case for __block vars - Separated out static local checking from pseudoconstant analysis and generalized to non-local checking - Added missing test cases for storage false positives llvm-svn: 111832 2010-08-24 03:51:57 +08:00			`PseudoConstantAnalysis.cpp`
Start moving some of the logic for the unreachable code analysis out of libSema and into libAnalysis. llvm-svn: 96872 2010-02-23 10:39:16 +08:00			`ReachableCode.cpp`
Add most of the boilerplate support for scanf format string checking. This includes handling the parsing of scanf format strings and hooking the checking into Sema. Most of this checking logic piggybacks on what was already there for checking printf format strings, but the checking logic has been refactored to support both. What is left to be done is to support argument type checking in format strings and of course fix the usual tail of bugs that will follow. llvm-svn: 108500 2010-07-16 10:11:22 +08:00			`ScanfFormatString.cpp`
Rename UninitializedValuesV2 to UninitializedValues. llvm-svn: 127657 2011-03-15 11:17:07 +08:00			`UninitializedValues.cpp`
CMake: Builds and installs clang binary and libs (no docs yet). It must be under the `tools' subdirectory of the LLVM source tree. llvm-svn: 58180 2008-10-26 08:56:18 +08:00			`)`
Build system changes to use TableGen to generate the various diagnostics. This builds on the patch that Sebastian committed and then revert. Major differences are: - We don't remove or use the current ".def" files. Instead, for now, we just make sure that we're building the ".inc" files. - Fixed CMake makefiles to run TableGen and build the ".inc" files when needed. Tested with both the Xcode and Makefile generators provided by CMake, so it should be solid. - Fixed normal makefiles to handle out-of-source builds that involve the ".inc" files. I'll send a separate patch to the list with Sebastian's changes that eliminate the use of the .def files. llvm-svn: 67058 2009-03-17 07:06:59 +08:00
Revert "CMake: Update to use standard CMake dependency tracking facilities instead" This reverts commit r113631 Conflicts: CMakeLists.txt lib/CodeGen/CMakeLists.txt llvm-svn: 113817 2010-09-14 07:54:41 +08:00			`add_dependencies(clangAnalysis ClangAttrClasses ClangAttrList`
			`ClangDiagnosticAnalysis ClangDeclNodes ClangStmtNodes)`