diff options
Diffstat (limited to 'lib/Analysis/CFRefCount.cpp')
| -rw-r--r-- | lib/Analysis/CFRefCount.cpp | 30 |
1 files changed, 29 insertions, 1 deletions
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, |