16 #ifndef LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_BLOCKCOUNTER_H
17 #define LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_BLOCKCOUNTER_H
19 #include "llvm/Support/Allocator.h"
23 class StackFrameContext;
39 unsigned BlockID)
const;
44 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)
BlockCounter GetEmptyCounter()
unsigned getNumVisited(const StackFrameContext *CallSite, unsigned BlockID) const
BlockCounter IncrementCount(BlockCounter BC, const StackFrameContext *CallSite, unsigned BlockID)