From: Ted Kremenek <kremenek@apple.com>
Date: Fri, 31 Oct 2008 15:33:11 +0000 (+0000)
Subject: Comment out invalid assertion.  I'm leaving it in the code for now as a reminder... 
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=e580c1bcc59296430bb002b75e0750f26e738933;p=clang

Comment out invalid assertion.  I'm leaving it in the code for now as a reminder to produce a test case.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@58510 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp
index 30a83e76ab..dc5f3faa20 100644
--- a/lib/Analysis/GRExprEngine.cpp
+++ b/lib/Analysis/GRExprEngine.cpp
@@ -864,7 +864,9 @@ void GRExprEngine::VisitDeclRefExpr(DeclRefExpr* Ex, NodeTy* Pred, NodeSet& Dst,
     // 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));