commit 04bc87683acacce119967dfa5f7c35b4ecef012a
author Ted Kremenek <kremenek@apple.com> Thu Jun 26 23:59:48 2008 +0000
committer Ted Kremenek <kremenek@apple.com> Thu Jun 26 23:59:48 2008 +0000
tree 6b68eb95e6bc9f3e3fb0ac60c708993f7b05ac3f
parent 6b6b5372f4b60b1c5ee101709e71a04642c835f4

Added a simple static analysis check to look for improper uses of CFCreateNumber.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52799 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Analysis/GRSimpleVals.cpp

diff --git a/lib/Analysis/GRSimpleVals.cpp b/lib/Analysis/GRSimpleVals.cpp
index 0933265..c208f0c 100644
--- a/lib/Analysis/GRSimpleVals.cpp
+++ b/lib/Analysis/GRSimpleVals.cpp
@@ -354,11 +354,15 @@
   Eng.Register(MakeDeadStoresChecker());  
   
   // Add extra checkers.
+  ASTContext& Ctx = Eng.getContext();
+  ValueStateManager* VMgr = &Eng.getStateManager();
 
-  GRSimpleAPICheck* FoundationCheck =
-    CreateBasicObjCFoundationChecks(Eng.getContext(), &Eng.getStateManager());
+  GRSimpleAPICheck* Check = CreateBasicObjCFoundationChecks(Ctx, VMgr);  
+  Eng.AddObjCMessageExprCheck(Check);
   
-  Eng.AddObjCMessageExprCheck(FoundationCheck);
+  Check = CreateAuditCFNumberCreate(Ctx, VMgr);  
+  Eng.AddCallCheck(Check);
+  
 }
 
 //===----------------------------------------------------------------------===//