diff options
Diffstat (limited to 'lib/Checker/GRBlockCounter.cpp')
-rw-r--r-- | lib/Checker/GRBlockCounter.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Checker/GRBlockCounter.cpp b/lib/Checker/GRBlockCounter.cpp index cd26060ef0..75fb16a2d5 100644 --- a/lib/Checker/GRBlockCounter.cpp +++ b/lib/Checker/GRBlockCounter.cpp @@ -74,12 +74,12 @@ GRBlockCounter GRBlockCounter::Factory::IncrementCount(GRBlockCounter BC, const StackFrameContext *CallSite, unsigned BlockID) { - return GRBlockCounter(GetFactory(F).Add(GetMap(BC.Data), + return GRBlockCounter(GetFactory(F).add(GetMap(BC.Data), CountKey(CallSite, BlockID), BC.getNumVisited(CallSite, BlockID)+1).getRoot()); } GRBlockCounter GRBlockCounter::Factory::GetEmptyCounter() { - return GRBlockCounter(GetFactory(F).GetEmptyMap().getRoot()); + return GRBlockCounter(GetFactory(F).getEmptyMap().getRoot()); } |