It's unnecessary to check for unknown at this point.

llvm-svn: 89437
2009-11-20 01:56:48 +00:00 · 2009-11-20 01:56:48 +00:00 · 6d9a942174
parent f7535121a2
commit 6d9a942174
1 changed files with 1 additions and 2 deletions
--- a/clang/lib/Analysis/GRExprEngine.cpp
+++ b/clang/lib/Analysis/GRExprEngine.cpp
@ -1278,8 +1278,7 @@ void GRExprEngine::EvalLocation(ExplodedNodeSet &Dst, Stmt *S,
                                ExplodedNode* Pred,
                                const GRState* state, SVal location,
                                const void *tag, bool isLoad) {
-
-  if (location.isUnknown() || Checkers.empty()) {
+  if (Checkers.empty()) {
    Dst.Add(Pred);
    return;
  }