From: Ted Kremenek <kremenek@apple.com>
Date: Fri, 11 Apr 2008 22:25:11 +0000 (+0000)
Subject: Add some boilerplate to report memory leaks at the end of an analyzed function.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=e7bd9c20a9310c625bef899dec977aba688db06a;p=clang

Add some boilerplate to report memory leaks at the end of an analyzed function.
Still need some boilerplate in BugReporter to report bugs at the end
of a function (not associated with a particular statement).


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

diff --git a/lib/Analysis/CFRefCount.cpp b/lib/Analysis/CFRefCount.cpp
index 27812f5a74..ff78fd749e 100644
--- a/lib/Analysis/CFRefCount.cpp
+++ b/lib/Analysis/CFRefCount.cpp
@@ -63,7 +63,7 @@ public:
     assert(getKind() == Alias);
     return Data >> 2;
   }
-  
+    
   static RetEffect MakeAlias(unsigned Idx) { return RetEffect(Alias, Idx); }
   
   static RetEffect MakeOwned() { return RetEffect(OwnedSymbol, 0); }
@@ -485,6 +485,10 @@ public:
   
   static bool isError(Kind k) { return k >= ErrorUseAfterRelease; }
   
+  bool isOwned() const {
+    return getKind() == Owned;
+  }
+  
   static RefVal makeOwned(unsigned Count = 0) {
     return RefVal(Owned, Count);
   }
@@ -596,6 +600,11 @@ public:
                         CallExpr* CE, LVal L,
                         ExplodedNode<ValueState>* Pred);  
   
+  // End-of-path.
+  
+  virtual void EvalEndPath(GRExprEngine& Engine,
+                           GREndPathNodeBuilder<ValueState>& Builder);
+  
   // Error iterators.
 
   typedef UseAfterReleasesTy::iterator use_after_iterator;  
@@ -795,6 +804,25 @@ void CFRefCount::EvalCall(ExplodedNodeSet<ValueState>& Dst,
   Builder.MakeNode(Dst, CE, Pred, St);
 }
 
+// End-of-path.
+
+void CFRefCount::EvalEndPath(GRExprEngine& Engine,
+                             GREndPathNodeBuilder<ValueState>& Builder) {
+  
+  RefBindings B = GetRefBindings(*Builder.getState());
+  
+  // Scan the set of bindings for symbols that are in the Owned state.
+  
+  for (RefBindings::iterator I = B.begin(), E = B.end(); I != E; ++I)
+    if ((*I).second.isOwned()) {
+      
+      // FIXME: Register an error with the diagnostic engine.  Since we
+      //  don't have a Stmt* here, we need some extra machinery to get
+      //  a sourcelocation.
+    
+    }
+}
+
 
 CFRefCount::RefBindings CFRefCount::Update(RefBindings B, SymbolID sym,
                                            RefVal V, ArgEffect E,