Author: kremenek
Date: Mon Nov 9 15:56:44 2009
New Revision: 86595
URL: http://llvm.org/viewvc/llvm-project?rev=86595&view=rev
Log:
Remove stale FIXME.
Modified:
cfe/trunk/lib/Analysis/GRExprEngine.cpp
Modified: cfe/trunk/lib/Analysis/GRExprEngine.cpp
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/GRExprEngine.cpp?rev=86595&r1=86594&r2=86595&view=diff
==============================================================================
--- cfe/trunk/lib/Analysis/GRExprEngine.cpp (original)
+++ cfe/trunk/lib/Analysis/GRExprEngine.cpp Mon Nov 9 15:56:44 2009
@@ -1221,9 +1221,6 @@
// 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()),
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
