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 27812f5..ff78fd7 100644
--- a/lib/Analysis/CFRefCount.cpp
+++ b/lib/Analysis/CFRefCount.cpp
@@ -63,7 +63,7 @@
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 @@
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 @@
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 @@
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,