commit 99b0ecb2112d818e0c13e32b39879a4488231400
author Ted Kremenek <kremenek@apple.com> Fri Apr 11 18:40:51 2008 +0000
committer Ted Kremenek <kremenek@apple.com> Fri Apr 11 18:40:51 2008 +0000
tree 82e46e33159065fae54356b379d9ada8154a96d2
parent 965c2fd30d881004fc64d71aadb0966da6d2281f

Use RangedBugReport to report better ranges for reference count errors.


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

lib/Analysis/CFRefCount.cpp

diff --git a/lib/Analysis/CFRefCount.cpp b/lib/Analysis/CFRefCount.cpp
index 575eb4c..1748e45 100644
--- a/lib/Analysis/CFRefCount.cpp
+++ b/lib/Analysis/CFRefCount.cpp
@@ -538,8 +538,8 @@
   typedef llvm::ImmutableMap<SymbolID, RefVal> RefBindings;
   typedef RefBindings::Factory RefBFactoryTy;
   
-  typedef llvm::SmallPtrSet<GRExprEngine::NodeTy*,2> UseAfterReleasesTy;
-  typedef llvm::SmallPtrSet<GRExprEngine::NodeTy*,2> ReleasesNotOwnedTy;
+  typedef llvm::DenseMap<GRExprEngine::NodeTy*,Expr*> UseAfterReleasesTy;
+  typedef llvm::DenseMap<GRExprEngine::NodeTy*,Expr*> ReleasesNotOwnedTy;
   
   class BindingsPrinter : public ValueState::CheckerStatePrinter {
   public:
@@ -704,8 +704,10 @@
   
   unsigned idx = 0;
   
-  for (CallExpr::arg_iterator I=CE->arg_begin(), E=CE->arg_end();
-        I!=E; ++I, ++idx) {
+  Expr* ErrorExpr = NULL;
+  
+  for (CallExpr::arg_iterator I = CE->arg_begin(), E = CE->arg_end();
+        I != E; ++I, ++idx) {
     
     RVal V = StateMgr.GetRVal(St, *I);
     
@@ -716,7 +718,11 @@
       if (RefBindings::TreeTy* T = B.SlimFind(Sym)) {
         B = Update(B, Sym, T->getValue().second, Summ->getArg(idx), hasError);
         SetRefBindings(StVals, B);
-        if (hasError) break;
+        
+        if (hasError) {
+          ErrorExpr = *I;
+          break;
+        }
       }
     }
   }    
@@ -731,11 +737,11 @@
       switch (hasError) {
         default: assert(false);
         case RefVal::ErrorUseAfterRelease:
-          UseAfterReleases.insert(N);
+          UseAfterReleases[N] = ErrorExpr;
           break;
           
         case RefVal::ErrorReleaseNotOwned:
-          ReleasesNotOwned.insert(N);
+          ReleasesNotOwned[N] = ErrorExpr;
           break;
       }
     }
@@ -886,8 +892,9 @@
   for (CFRefCount::use_after_iterator I = TF.use_after_begin(),
         E = TF.use_after_end(); I != E; ++I) {
     
-    BugReport report(*this);
-    BR.EmitPathWarning(report, *I);    
+    RangedBugReport report(*this);
+    report.addRange(I->second->getSourceRange());    
+    BR.EmitPathWarning(report, I->first);    
   }
 }
 
@@ -896,8 +903,10 @@
   for (CFRefCount::bad_release_iterator I = TF.bad_release_begin(),
        E = TF.bad_release_end(); I != E; ++I) {
     
-    BugReport report(*this);
-    BR.EmitPathWarning(report, *I);    
+    RangedBugReport report(*this);
+    report.addRange(I->second->getSourceRange());    
+    BR.EmitPathWarning(report, I->first); 
+
   }  
 }