diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp
index b1272c2..c6f7e9b 100644
--- a/lib/Analysis/GRExprEngine.cpp
+++ b/lib/Analysis/GRExprEngine.cpp
@@ -870,13 +870,7 @@
     return;
 
   } else if (const FunctionDecl* FD = dyn_cast<FunctionDecl>(D)) {
-    // FIXME: Does this need to be revised?  We were getting cases in
-    //  real code that did this.
-
-    // FIXME: This is not a valid assertion.  Produce a test case that
-    // refutes it.
-    // assert(asLValue); // Can we assume this?
-
+    assert(asLValue);
     SVal V = loc::FuncVal(FD);
     MakeNode(Dst, Ex, Pred, BindExpr(St, Ex, V));
     return;