[cfe-commits] r58510 - /cfe/trunk/lib/Analysis/GRExprEngine.cpp

[Ted Kremenek]

Author: kremenek
Date: Fri Oct 31 10:33:11 2008
New Revision: 58510

URL: http://llvm.org/viewvc/llvm-project?rev=58510&view=rev
Log:
Comment out invalid assertion.  I'm leaving it in the code for now as a reminder to produce a test case.

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=58510&r1=58509&r2=58510&view=diff

==============================================================================
--- cfe/trunk/lib/Analysis/GRExprEngine.cpp (original)
+++ cfe/trunk/lib/Analysis/GRExprEngine.cpp Fri Oct 31 10:33:11 2008
@@ -864,7 +864,9 @@
     // FIXME: Does this need to be revised?  We were getting cases in
     //  real code that did this.
 
-    assert(asLValue); // Can we assume this?
+    // FIXME: This is not a valid assertion.  Produce a test case that
+    // refutes it.
+    // assert(asLValue); // Can we assume this?
 
     SVal V = loc::FuncVal(FD);
     MakeNode(Dst, Ex, Pred, BindExpr(St, Ex, V));