diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-11-15 02:35:08 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-11-15 02:35:08 +0000 |
| commit | ac172fc5747aca29e571257799ff96e19e19675a (patch) | |
| tree | 2203a78ce335172ad49e9a0bd8af45d6a8e63755 | |
| parent | 2c10b22b6212b7e5f63b40f24514c5444ca803ac (diff) | |
| download | bcm5719-llvm-ac172fc5747aca29e571257799ff96e19e19675a.tar.gz bcm5719-llvm-ac172fc5747aca29e571257799ff96e19e19675a.zip | |
Re-enable an assertion that I mistakenly removed.
llvm-svn: 59348
| -rw-r--r-- | clang/lib/Analysis/GRExprEngine.cpp | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/clang/lib/Analysis/GRExprEngine.cpp b/clang/lib/Analysis/GRExprEngine.cpp index b1272c2496b..c6f7e9bc88b 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<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; |
