15 #ifndef LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_BLOCKCOUNTER_H 16 #define LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_BLOCKCOUNTER_H 18 #include "llvm/Support/Allocator.h" 22 class StackFrameContext;
38 unsigned BlockID)
const;
43 Factory(llvm::BumpPtrAllocator& Alloc);
An abstract data type used to count the number of times a given block has been visited along a path a...
Factory(llvm::BumpPtrAllocator &Alloc)
unsigned getNumVisited(const StackFrameContext *CallSite, unsigned BlockID) const
Dataflow Directional Tag Classes.
BlockCounter GetEmptyCounter()
BlockCounter IncrementCount(BlockCounter BC, const StackFrameContext *CallSite, unsigned BlockID)