Searched refs:BlockCounter (Results 1 - 7 of 7) sorted by path

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DBlockCounter.h1 //==- BlockCounter.h - ADT for counting block visits ---------------*- C++ -*-//
10 // This file defines BlockCounter, an abstract data type used to count
27 /// \class BlockCounter
30 class BlockCounter { class in namespace:clang::ento
33 BlockCounter(void *D) : Data(D) {} function in class:clang::ento::BlockCounter
36 BlockCounter() : Data(nullptr) {} function in class:clang::ento::BlockCounter
47 BlockCounter GetEmptyCounter();
48 BlockCounter IncrementCount(BlockCounter BC,
H A DCoreEngine.h20 #include "clang/StaticAnalyzer/Core/PathSensitive/BlockCounter.h"
70 /// BCounterFactory - A factory object for created BlockCounter objects.
73 BlockCounter::Factory BCounterFactory;
H A DSubEngine.h35 class BlockCounter;
H A DWorkList.h18 #include "clang/StaticAnalyzer/Core/PathSensitive/BlockCounter.h"
30 BlockCounter counter;
35 WorkListUnit(ExplodedNode *N, BlockCounter C,
42 explicit WorkListUnit(ExplodedNode *N, BlockCounter C)
52 BlockCounter getBlockCounter() const { return counter; }
62 BlockCounter CurrentCounter;
80 void setBlockCounter(BlockCounter C) { CurrentCounter = C; }
81 BlockCounter getBlockCounter() const { return CurrentCounter; }
/external/clang/lib/StaticAnalyzer/Core/
H A DAndroid.mk17 BlockCounter.cpp \
H A DBlockCounter.cpp1 //==- BlockCounter.h - ADT for counting block visits -------------*- C++ -*-//
10 // This file defines BlockCounter, an abstract data type used to count
16 #include "clang/StaticAnalyzer/Core/PathSensitive/BlockCounter.h"
58 unsigned BlockCounter::getNumVisited(const StackFrameContext *CallSite,
65 BlockCounter::Factory::Factory(llvm::BumpPtrAllocator& Alloc) {
69 BlockCounter::Factory::~Factory() {
73 BlockCounter
74 BlockCounter::Factory::IncrementCount(BlockCounter BC,
77 return BlockCounter(GetFactor
[all...]
H A DCoreEngine.cpp328 BlockCounter Counter = WList->getBlockCounter();

Completed in 789 milliseconds