[cfe-commits] r86595 - /cfe/trunk/lib/Analysis/GRExprEngine.cpp
Ted Kremenek
kremenek at apple.com
Mon Nov 9 13:56:45 PST 2009
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()),
More information about the cfe-commits
mailing list