Home
last modified time | relevance | path

Searched refs:BlockCounter (Results 1 – 7 of 7) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DBlockCounter.cpp58 unsigned BlockCounter::getNumVisited(const StackFrameContext *CallSite, in getNumVisited()
65 BlockCounter::Factory::Factory(llvm::BumpPtrAllocator& Alloc) { in Factory()
69 BlockCounter::Factory::~Factory() { in ~Factory()
73 BlockCounter
74 BlockCounter::Factory::IncrementCount(BlockCounter BC, in IncrementCount()
77 return BlockCounter(GetFactory(F).add(GetMap(BC.Data), in IncrementCount()
82 BlockCounter
83 BlockCounter::Factory::GetEmptyCounter() { in GetEmptyCounter()
84 return BlockCounter(GetFactory(F).getEmptyMap().getRoot()); in GetEmptyCounter()
DCMakeLists.txt8 BlockCounter.cpp
DCoreEngine.cpp341 BlockCounter Counter = WList->getBlockCounter(); in HandleBlockEntrance()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DBlockCounter.h30 class BlockCounter {
33 BlockCounter(void *D) : Data(D) {} in BlockCounter() function
36 BlockCounter() : Data(nullptr) {} in BlockCounter() function
47 BlockCounter GetEmptyCounter();
48 BlockCounter IncrementCount(BlockCounter BC,
DWorkList.h30 BlockCounter counter;
35 WorkListUnit(ExplodedNode *N, BlockCounter C, in WorkListUnit()
42 explicit WorkListUnit(ExplodedNode *N, BlockCounter C) in WorkListUnit()
52 BlockCounter getBlockCounter() const { return counter; } in getBlockCounter()
62 BlockCounter CurrentCounter;
80 void setBlockCounter(BlockCounter C) { CurrentCounter = C; } in setBlockCounter()
81 BlockCounter getBlockCounter() const { return CurrentCounter; } in getBlockCounter()
DSubEngine.h35 class BlockCounter; variable
DCoreEngine.h73 BlockCounter::Factory BCounterFactory;