Re-enable an assertion that I mistakenly removed.

llvm-svn: 59348
This commit is contained in:
Ted Kremenek 2008-11-15 02:35:08 +00:00
parent 2c10b22b62
commit ac172fc574
1 changed files with 1 additions and 7 deletions

View 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;