[cfe-commits] r55392 - in /cfe/trunk: include/clang/Analysis/PathSensitive/GRCoreEngine.h lib/Analysis/GRCoreEngine.cpp
Ted Kremenek
kremenek at apple.com
Tue Aug 26 15:34:24 PDT 2008
Author: kremenek
Date: Tue Aug 26 17:34:23 2008
New Revision: 55392
URL: http://llvm.org/viewvc/llvm-project?rev=55392&view=rev
Log:
Remove default value for 'Pred' argument to GRCoreEngineImpl::GenerateNode().
Modified:
cfe/trunk/include/clang/Analysis/PathSensitive/GRCoreEngine.h
cfe/trunk/lib/Analysis/GRCoreEngine.cpp
Modified: cfe/trunk/include/clang/Analysis/PathSensitive/GRCoreEngine.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Analysis/PathSensitive/GRCoreEngine.h?rev=55392&r1=55391&r2=55392&view=diff
==============================================================================
--- cfe/trunk/include/clang/Analysis/PathSensitive/GRCoreEngine.h (original)
+++ cfe/trunk/include/clang/Analysis/PathSensitive/GRCoreEngine.h Tue Aug 26 17:34:23 2008
@@ -62,7 +62,7 @@
GRBlockCounter::Factory BCounterFactory;
void GenerateNode(const ProgramPoint& Loc, const void* State,
- ExplodedNodeImpl* Pred = NULL);
+ ExplodedNodeImpl* Pred);
/// getInitialState - Gets the void* representing the initial 'state'
/// of the analysis. This is simply a wrapper (implemented
Modified: cfe/trunk/lib/Analysis/GRCoreEngine.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/GRCoreEngine.cpp?rev=55392&r1=55391&r2=55392&view=diff
==============================================================================
--- cfe/trunk/lib/Analysis/GRCoreEngine.cpp (original)
+++ cfe/trunk/lib/Analysis/GRCoreEngine.cpp Tue Aug 26 17:34:23 2008
@@ -75,7 +75,7 @@
WList->setBlockCounter(BCounterFactory.GetEmptyCounter());
// Generate the root.
- GenerateNode(StartLoc, getInitialState());
+ GenerateNode(StartLoc, getInitialState(), 0);
}
while (Steps && WList->hasWork()) {
More information about the cfe-commits
mailing list