diff options
| -rw-r--r-- | include/clang/Analysis/PathSensitive/GRCoreEngine.h | 2 | ||||
| -rw-r--r-- | lib/Analysis/GRCoreEngine.cpp | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/include/clang/Analysis/PathSensitive/GRCoreEngine.h b/include/clang/Analysis/PathSensitive/GRCoreEngine.h index 013a315376..4f09c9089b 100644 --- a/include/clang/Analysis/PathSensitive/GRCoreEngine.h +++ b/include/clang/Analysis/PathSensitive/GRCoreEngine.h @@ -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 diff --git a/lib/Analysis/GRCoreEngine.cpp b/lib/Analysis/GRCoreEngine.cpp index 1c64c28c37..a7e1458e7a 100644 --- a/lib/Analysis/GRCoreEngine.cpp +++ b/lib/Analysis/GRCoreEngine.cpp @@ -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()) { |