commit 1ff83399660fcfc6aec810ee6885b382647547a0
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 1e81c18dd9c73bceeb24ffcbd3dee27c199b7dce
parent ec820c6bc49aef01767b5810e765bba853909ef8

Add FIXME.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76466 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Analysis/GRExprEngine.cpp

diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp
index 97e75fa..7459b80 100644
--- a/lib/Analysis/GRExprEngine.cpp
+++ b/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,