diff options
author | Ted Kremenek <kremenek@apple.com> | 2008-07-22 16:21:24 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2008-07-22 16:21:24 +0000 |
commit | 78d46242e3351484c2b773f5610beba5d316914b (patch) | |
tree | 522f6ebb9fd3e2b21e39c6f0451a1bb1d08d7462 /lib/Analysis/BasicObjCFoundationChecks.cpp | |
parent | e3ae82accd04fd582525be58570044305b6407bb (diff) |
Moved registration of basic path-sensitive checks from GRSimpleVals.cpp to GRExprEngineInternalChecks.cpp.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@53909 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/BasicObjCFoundationChecks.cpp')
-rw-r--r-- | lib/Analysis/BasicObjCFoundationChecks.cpp | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/lib/Analysis/BasicObjCFoundationChecks.cpp b/lib/Analysis/BasicObjCFoundationChecks.cpp index 37cfc280b8..7009e38425 100644 --- a/lib/Analysis/BasicObjCFoundationChecks.cpp +++ b/lib/Analysis/BasicObjCFoundationChecks.cpp @@ -17,9 +17,12 @@ #include "clang/Analysis/PathSensitive/ExplodedGraph.h" #include "clang/Analysis/PathSensitive/GRSimpleAPICheck.h" +#include "clang/Analysis/PathSensitive/GRExprEngine.h" #include "clang/Analysis/PathSensitive/ValueState.h" #include "clang/Analysis/PathSensitive/BugReporter.h" #include "clang/Analysis/PathDiagnostic.h" +#include "clang/Analysis/LocalCheckers.h" + #include "clang/AST/Expr.h" #include "clang/AST/ExprObjC.h" #include "clang/AST/ASTContext.h" @@ -547,3 +550,15 @@ clang::CreateAuditCFNumberCreate(ASTContext& Ctx, return new AuditCFNumberCreate(Ctx, VMgr); } +//===----------------------------------------------------------------------===// +// Check registration. + +void clang::RegisterAppleChecks(GRExprEngine& Eng) { + ASTContext& Ctx = Eng.getContext(); + ValueStateManager* VMgr = &Eng.getStateManager(); + + Eng.AddCheck(CreateBasicObjCFoundationChecks(Ctx, VMgr), + Stmt::ObjCMessageExprClass); + + Eng.AddCheck(CreateAuditCFNumberCreate(Ctx, VMgr), Stmt::CallExprClass); +} |