]> granicus.if.org Git - clang/commitdiff
Remove stale FIXME.
authorTed Kremenek <kremenek@apple.com>
Mon, 9 Nov 2009 21:56:44 +0000 (21:56 +0000)
committerTed Kremenek <kremenek@apple.com>
Mon, 9 Nov 2009 21:56:44 +0000 (21:56 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@86595 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Analysis/GRExprEngine.cpp

index 41c5da9ee19226514a28fa57b1d2a255165e67fc..7dbb08515376e456ce90bf2f674767b54e0ba500 100644 (file)
@@ -1221,9 +1221,6 @@ void GRExprEngine::EvalLoad(ExplodedNodeSet& Dst, Expr* Ex, ExplodedNode* Pred,
   // Proceed with the load.
   ProgramPoint::Kind K = ProgramPoint::PostLoadKind;
 
-  // FIXME: Currently symbolic analysis "generates" new symbols
-  //  for the contents of values.  We need a better approach.
-
   if (location.isUnknown()) {
     // This is important.  We must nuke the old binding.
     MakeNode(Dst, Ex, Pred, state->BindExpr(Ex, UnknownVal()),