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);
-}
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
