Searched refs:BlockCounter (Results 1 – 6 of 6) sorted by relevance
57 unsigned BlockCounter::getNumVisited(const StackFrameContext *CallSite, in getNumVisited()64 BlockCounter::Factory::Factory(llvm::BumpPtrAllocator& Alloc) { in Factory()68 BlockCounter::Factory::~Factory() { in ~Factory()72 BlockCounter73 BlockCounter::Factory::IncrementCount(BlockCounter BC, in IncrementCount()76 return BlockCounter(GetFactory(F).add(GetMap(BC.Data), in IncrementCount()81 BlockCounter82 BlockCounter::Factory::GetEmptyCounter() { in GetEmptyCounter()83 return BlockCounter(GetFactory(F).getEmptyMap().getRoot()); in GetEmptyCounter()
81 void CoreEngine::setBlockCounter(BlockCounter C) { in setBlockCounter()299 BlockCounter Counter = WList->getBlockCounter(); in HandleBlockEntrance()
29 class BlockCounter {32 BlockCounter(void *D) : Data(D) {} in BlockCounter() function35 BlockCounter() : Data(nullptr) {} in BlockCounter() function46 BlockCounter GetEmptyCounter();47 BlockCounter IncrementCount(BlockCounter BC,
29 BlockCounter counter;34 WorkListUnit(ExplodedNode *N, BlockCounter C, in WorkListUnit()41 explicit WorkListUnit(ExplodedNode *N, BlockCounter C) in WorkListUnit()51 BlockCounter getBlockCounter() const { return counter; } in getBlockCounter()61 BlockCounter CurrentCounter;79 void setBlockCounter(BlockCounter C) { CurrentCounter = C; } in setBlockCounter()80 BlockCounter getBlockCounter() const { return CurrentCounter; } in getBlockCounter()
87 BlockCounter::Factory BCounterFactory;106 void setBlockCounter(BlockCounter C);
792 SRCS_FUL+= StaticAnalyzer/Core/BlockCounter.cpp