HomeSort by relevance Sort by last modified time
    Searched refs:BlockCounter (Results 1 - 6 of 6) sorted by null

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
BlockCounter.h 1 //==- 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 {
33 BlockCounter(void *D) : Data(D) {}
36 BlockCounter() : Data(nullptr) {}
47 BlockCounter GetEmptyCounter();
48 BlockCounter IncrementCount(BlockCounter BC,
WorkList.h 18 #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; }
SubEngine.h 35 class BlockCounter;
CoreEngine.h 20 #include "clang/StaticAnalyzer/Core/PathSensitive/BlockCounter.h"
70 /// BCounterFactory - A factory object for created BlockCounter objects.
73 BlockCounter::Factory BCounterFactory;
  /external/clang/lib/StaticAnalyzer/Core/
BlockCounter.cpp 1 //==- 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(GetFactory(F).add(GetMap(BC.Data)
    [all...]
CoreEngine.cpp 341 BlockCounter Counter = WList->getBlockCounter();

Completed in 613 milliseconds