[cfe-commits] r76466 - /cfe/trunk/lib/Analysis/GRExprEngine.cpp

[Ted Kremenek]

Author: kremenek
Date: Mon Jul 20 15:38:59 2009
New Revision: 76466

URL: http://llvm.org/viewvc/llvm-project?rev=76466&view=rev
Log:
Add FIXME.

Modified:
    cfe/trunk/lib/Analysis/GRExprEngine.cpp

Modified: cfe/trunk/lib/Analysis/GRExprEngine.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/GRExprEngine.cpp?rev=76466&r1=76465&r2=76466&view=diff

==============================================================================
--- cfe/trunk/lib/Analysis/GRExprEngine.cpp (original)
+++ cfe/trunk/lib/Analysis/GRExprEngine.cpp Mon Jul 20 15:38:59 2009
@@ -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,