From f0c8ef0237ad135480b56c886abef1f137400cfc Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Mon, 18 Feb 2008 21:19:49 +0000 Subject: [PATCH] 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 --- Analysis/GRSimpleVals.cpp | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) 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(RHS) && "FIXME: Implement unification."); + // FIXME: Implement unification + return cast(UnknownVal()); + //assert (!isa(RHS) && "FIXME: Implement unification."); break; } -- 2.50.1