]> granicus.if.org Git - clang/commitdiff
Added FIXME
authorTed Kremenek <kremenek@apple.com>
Fri, 11 Apr 2008 20:51:02 +0000 (20:51 +0000)
committerTed Kremenek <kremenek@apple.com>
Fri, 11 Apr 2008 20:51:02 +0000 (20:51 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@49558 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Analysis/CFRefCount.cpp

index a9a7aaa11791540f07ba259527ce6d12849dfb98..27812f5a74de81fc8cd155e6b1ad0ef45ff521d9 100644 (file)
@@ -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();