commit a1f9c7fb3b81ef0074c2dbbc26320e5b6e7203e1
author Ted Kremenek <kremenek@apple.com> Mon Jul 20 20:38:59 2009 +0000
committer Ted Kremenek <kremenek@apple.com> Mon Jul 20 20:38:59 2009 +0000
tree 0d1520009bd5cc01b5c21d7a476f3770016a02f8
parent 2dd0bf8db060ca6b92c126304443b20e45b80164

Add FIXME.

llvm-svn: 76466

clang/lib/Analysis/GRExprEngine.cpp

diff --git a/clang/lib/Analysis/GRExprEngine.cpp b/clang/lib/Analysis/GRExprEngine.cpp
index 97e75fa..7459b80 100644
--- a/clang/lib/Analysis/GRExprEngine.cpp
+++ b/clang/lib/Analysis/GRExprEngine.cpp
@@ -1310,6 +1310,11 @@
     const GRState *stateLoad = N->getState();
     SVal theValueVal = stateLoad->getSVal(theValueExpr);
     SVal oldValueVal = stateLoad->getSVal(oldValueExpr);
+    
+    // FIXME: Issue an error.
+    if (theValueVal.isUndef() || oldValueVal.isUndef()) {
+      return false;      
+    }
         
     // Perform the comparison.
     SVal Cmp = Engine.EvalBinOp(stateLoad, BinaryOperator::EQ, theValueVal,