[cfe-commits] r125123 - in /cfe/trunk/lib/StaticAnalyzer/Checkers: CMakeLists.txt ExperimentalChecks.cpp ExprEngineExperimentalChecks.cpp

[Argyrios Kyrtzidis]

Author: akirtzidis
Date: Tue Feb  8 16:30:15 2011
New Revision: 125123

URL: http://llvm.org/viewvc/llvm-project?rev=125123&view=rev
Log:
[analyzer] lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.cpp -> lib/StaticAnalyzer/Checkers/ExperimentalChecks.cpp

Added:
    cfe/trunk/lib/StaticAnalyzer/Checkers/ExperimentalChecks.cpp
      - copied, changed from r125122, cfe/trunk/lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.cpp
Removed:
    cfe/trunk/lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.cpp
Modified:
    cfe/trunk/lib/StaticAnalyzer/Checkers/CMakeLists.txt

Modified: cfe/trunk/lib/StaticAnalyzer/Checkers/CMakeLists.txt
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Checkers/CMakeLists.txt?rev=125123&r1=125122&r2=125123&view=diff
==============================================================================
--- cfe/trunk/lib/StaticAnalyzer/Checkers/CMakeLists.txt (original)
+++ cfe/trunk/lib/StaticAnalyzer/Checkers/CMakeLists.txt Tue Feb  8 16:30:15 2011
@@ -23,7 +23,7 @@
   DereferenceChecker.cpp
   DivZeroChecker.cpp
   ExprEngine.cpp
-  ExprEngineExperimentalChecks.cpp
+  ExperimentalChecks.cpp
   FixedAddressChecker.cpp
   FrontendActions.cpp
   IdempotentOperationChecker.cpp

Copied: cfe/trunk/lib/StaticAnalyzer/Checkers/ExperimentalChecks.cpp (from r125122, cfe/trunk/lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.cpp)
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Checkers/ExperimentalChecks.cpp?p2=cfe/trunk/lib/StaticAnalyzer/Checkers/ExperimentalChecks.cpp&p1=cfe/trunk/lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.cpp&r1=125122&r2=125123&rev=125123&view=diff
==============================================================================
    (empty)

Removed: cfe/trunk/lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.cpp?rev=125122&view=auto
==============================================================================
--- cfe/trunk/lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.cpp (original)
+++ cfe/trunk/lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.cpp (removed)
@@ -1,46 +0,0 @@
-//=-- ExperimentalChecks.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 ExprEngine.
-//
-//===----------------------------------------------------------------------===//
-
-#include "InternalChecks.h"
-#include "ExperimentalChecks.h"
-#include "clang/StaticAnalyzer/Checkers/LocalCheckers.h"
-
-using namespace clang;
-using namespace ento;
-
-void ento::RegisterExperimentalChecks(ExprEngine &Eng) {
-  // These are checks that never belong as internal checks
-  // within ExprEngine.
-  RegisterCStringChecker(Eng);
-  RegisterChrootChecker(Eng);
-  RegisterMallocChecker(Eng);
-  RegisterPthreadLockChecker(Eng);
-  RegisterStreamChecker(Eng);
-  RegisterUnreachableCodeChecker(Eng);
-}
-
-void ento::RegisterExperimentalInternalChecks(ExprEngine &Eng) {
-  // These are internal checks that should eventually migrate to
-  // RegisterInternalChecks() once they have been further tested.
-  
-  // Note that this must be registered after ReturnStackAddresEngsChecker.
-  RegisterReturnPointerRangeChecker(Eng);
-  
-  RegisterArrayBoundChecker(Eng);
-  RegisterCastSizeChecker(Eng);
-  RegisterCastToStructChecker(Eng);
-  RegisterFixedAddressChecker(Eng);
-  RegisterPointerArithChecker(Eng);
-  RegisterPointerSubChecker(Eng);
-}