From: Ted Kremenek <kremenek@apple.com>
Date: Mon, 18 Feb 2008 21:19:49 +0000 (+0000)
Subject: Temporary solution to push analysis through to analyzing PCRE.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=f0c8ef0237ad135480b56c886abef1f137400cfc;p=clang

Temporary solution to push analysis through to analyzing PCRE.
We will implement symbol "unification" later.


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

diff --git a/Analysis/GRSimpleVals.cpp b/Analysis/GRSimpleVals.cpp
index 558a87625e..58f0729a70 100644
--- a/Analysis/GRSimpleVals.cpp
+++ b/Analysis/GRSimpleVals.cpp
@@ -31,7 +31,7 @@ namespace clang {
     CheckerState->setTransferFunctions(GRSV);
     
     // Execute the worklist algorithm.
-    Engine.ExecuteWorkList();
+    Engine.ExecuteWorkList(200);
     
     // Look for explicit-Null dereferences and warn about them.
     for (GRExprEngine::null_iterator I=CheckerState->null_begin(),
@@ -228,7 +228,9 @@ NonLValue GRSimpleVals::EvalEQ(ValueManager& ValMgr, LValue LHS, LValue RHS) {
           return nonlval::SymIntConstraintVal(C);
         }
         
-        assert (!isa<lval::SymbolVal>(RHS) && "FIXME: Implement unification.");
+        // FIXME: Implement unification
+        return cast<NonLValue>(UnknownVal());
+          //assert (!isa<lval::SymbolVal>(RHS) && "FIXME: Implement unification.");
         
         break;
       }