From: Ted Kremenek <kremenek@apple.com>
Date: Mon, 20 Jul 2009 20:38:59 +0000 (+0000)
Subject: Add FIXME.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=1ff83399660fcfc6aec810ee6885b382647547a0;p=clang

Add FIXME.


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

diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp
index 97e75fa0ac..7459b806e2 100644
--- a/lib/Analysis/GRExprEngine.cpp
+++ b/lib/Analysis/GRExprEngine.cpp
@@ -1310,6 +1310,11 @@ static bool EvalOSAtomicCompareAndSwap(ExplodedNodeSet<GRState>& Dst,
     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,