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)
unsigned getNumVisited(const StackFrameContext *CallSite, unsigned BlockID) const
Dataflow Directional Tag Classes.
BlockCounter GetEmptyCounter()
BlockCounter IncrementCount(BlockCounter BC, const StackFrameContext *CallSite, unsigned BlockID)