From e580c1bcc59296430bb002b75e0750f26e738933 Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Fri, 31 Oct 2008 15:33:11 +0000 Subject: [PATCH] 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 --- lib/Analysis/GRExprEngine.cpp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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)); -- 2.50.1