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;