From: Zhongxing Xu <xuzhongxing@gmail.com>
Date: Fri, 31 Oct 2008 06:05:32 +0000 (+0000)
Subject: Add a tentative assertion.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=da6b9997bd9bfd3da847261f1965885fc5920f4f;p=clang

Add a tentative assertion.

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

diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp
index cf8c25a227..21fe3daa7a 100644
--- a/lib/Analysis/GRExprEngine.cpp
+++ b/lib/Analysis/GRExprEngine.cpp
@@ -861,10 +861,11 @@ void GRExprEngine::VisitDeclRefExpr(DeclRefExpr* Ex, NodeTy* Pred, NodeSet& Dst,
     return;
 
   } else if (const FunctionDecl* FD = dyn_cast<FunctionDecl>(D)) {
-    // We return the loc::FuncVal for an FunctionDecl in both rvalue
-    // and lvalue contexts.
     // FIXME: Does this need to be revised?  We were getting cases in
     //  real code that did this.
+
+    assert(asLValue); // Can we assume this?
+
     SVal V = loc::FuncVal(FD);
     MakeNode(Dst, Ex, Pred, BindExpr(St, Ex, V));
     return;