clang  6.0.0svn
BlockCounter.h
Go to the documentation of this file.
1 //==- BlockCounter.h - ADT for counting block visits ---------------*- C++ -*-//
2 //
3 // The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 //
10 // This file defines BlockCounter, an abstract data type used to count
11 // the number of times a given block has been visited along a path
12 // analyzed by CoreEngine.
13 //
14 //===----------------------------------------------------------------------===//
15 
16 #ifndef LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_BLOCKCOUNTER_H
17 #define LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_BLOCKCOUNTER_H
18 
19 #include "llvm/Support/Allocator.h"
20 
21 namespace clang {
22 
23 class StackFrameContext;
24 
25 namespace ento {
26 
27 /// \class BlockCounter
28 /// \brief An abstract data type used to count the number of times a given
29 /// block has been visited along a path analyzed by CoreEngine.
30 class BlockCounter {
31  void *Data;
32 
33  BlockCounter(void *D) : Data(D) {}
34 
35 public:
36  BlockCounter() : Data(nullptr) {}
37 
38  unsigned getNumVisited(const StackFrameContext *CallSite,
39  unsigned BlockID) const;
40 
41  class Factory {
42  void *F;
43  public:
44  Factory(llvm::BumpPtrAllocator& Alloc);
45  ~Factory();
46 
49  const StackFrameContext *CallSite,
50  unsigned BlockID);
51  };
52 
53  friend class Factory;
54 };
55 
56 } // end GR namespace
57 
58 } // end clang namespace
59 
60 #endif
An abstract data type used to count the number of times a given block has been visited along a path a...
Definition: BlockCounter.h:30
Factory(llvm::BumpPtrAllocator &Alloc)
unsigned getNumVisited(const StackFrameContext *CallSite, unsigned BlockID) const
Dataflow Directional Tag Classes.
BlockCounter IncrementCount(BlockCounter BC, const StackFrameContext *CallSite, unsigned BlockID)