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 558a876..58f0729 100644
--- a/Analysis/GRSimpleVals.cpp
+++ b/Analysis/GRSimpleVals.cpp
@@ -31,7 +31,7 @@
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 @@
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;
}