forked from OSchip/llvm-project
Remove default value for 'Pred' argument to GRCoreEngineImpl::GenerateNode().
llvm-svn: 55392
This commit is contained in:
parent
b39e0decf8
commit
af665820e4
|
@ -62,7 +62,7 @@ protected:
|
|||
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
|
||||
|
|
|
@ -75,7 +75,7 @@ bool GRCoreEngineImpl::ExecuteWorkList(unsigned Steps) {
|
|||
WList->setBlockCounter(BCounterFactory.GetEmptyCounter());
|
||||
|
||||
// Generate the root.
|
||||
GenerateNode(StartLoc, getInitialState());
|
||||
GenerateNode(StartLoc, getInitialState(), 0);
|
||||
}
|
||||
|
||||
while (Steps && WList->hasWork()) {
|
||||
|
|
Loading…
Reference in New Issue