diff options
author | Ted Kremenek <kremenek@apple.com> | 2008-04-11 20:51:02 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2008-04-11 20:51:02 +0000 |
commit | 0a86fdb1ff5bc39294242078829208e4580636ed (patch) | |
tree | c036f99a2dc6720915a754f9163e8d7729b7bc16 /clang/lib/Analysis/CFRefCount.cpp | |
parent | 831f32756890e3669020aafe1b428abaf6533a99 (diff) | |
download | bcm5719-llvm-0a86fdb1ff5bc39294242078829208e4580636ed.tar.gz bcm5719-llvm-0a86fdb1ff5bc39294242078829208e4580636ed.zip |
Added FIXME
llvm-svn: 49558
Diffstat (limited to 'clang/lib/Analysis/CFRefCount.cpp')
-rw-r--r-- | clang/lib/Analysis/CFRefCount.cpp | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/clang/lib/Analysis/CFRefCount.cpp b/clang/lib/Analysis/CFRefCount.cpp index a9a7aaa1179..27812f5a74d 100644 --- a/clang/lib/Analysis/CFRefCount.cpp +++ b/clang/lib/Analysis/CFRefCount.cpp @@ -693,9 +693,13 @@ void CFRefCount::EvalCall(ExplodedNodeSet<ValueState>& Dst, break; } } - } - else if (isa<LVal>(V)) // Nuke all arguments passed by reference. + } + else if (isa<LVal>(V)) { // Nuke all arguments passed by reference. + + // FIXME: This is basically copy-and-paste from GRSimpleVals. We + // should compose behavior, not copy it. StateMgr.Unbind(StVals, cast<LVal>(V)); + } } if (hasError) { @@ -733,6 +737,8 @@ void CFRefCount::EvalCall(ExplodedNodeSet<ValueState>& Dst, case RetEffect::NoRet: // Make up a symbol for the return value (not reference counted). + // FIXME: This is basically copy-and-paste from GRSimpleVals. We + // should compose behavior, not copy it. if (CE->getType() != Eng.getContext().VoidTy) { unsigned Count = Builder.getCurrentBlockCount(); |