From ac172fc5747aca29e571257799ff96e19e19675a Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Sat, 15 Nov 2008 02:35:08 +0000 Subject: [PATCH] Re-enable an assertion that I mistakenly removed. llvm-svn: 59348 --- clang/lib/Analysis/GRExprEngine.cpp | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/clang/lib/Analysis/GRExprEngine.cpp b/clang/lib/Analysis/GRExprEngine.cpp index b1272c2496bb..c6f7e9bc88b9 100644 --- a/clang/lib/Analysis/GRExprEngine.cpp +++ b/clang/lib/Analysis/GRExprEngine.cpp @@ -870,13 +870,7 @@ void GRExprEngine::VisitDeclRefExpr(DeclRefExpr* Ex, NodeTy* Pred, NodeSet& Dst, return; } else if (const FunctionDecl* FD = dyn_cast(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;