]> granicus.if.org Git - clang/commitdiff
Re-enable an assertion that I mistakenly removed.
authorTed Kremenek <kremenek@apple.com>
Sat, 15 Nov 2008 02:35:08 +0000 (02:35 +0000)
committerTed Kremenek <kremenek@apple.com>
Sat, 15 Nov 2008 02:35:08 +0000 (02:35 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@59348 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Analysis/GRExprEngine.cpp

index b1272c2496bb020cb422361b473f4cbac6a4580d..c6f7e9bc88b99329ed11387c7d0beab44cf70be3 100644 (file)
@@ -870,13 +870,7 @@ void GRExprEngine::VisitDeclRefExpr(DeclRefExpr* Ex, NodeTy* Pred, NodeSet& Dst,
     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;