clang: include/clang/StaticAnalyzer/Core/PathSensitive/BlockCounter.h Source File (original) (raw)

Go to the documentation of this file.

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15#ifndef LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_BLOCKCOUNTER_H

16#define LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_BLOCKCOUNTER_H

17

18#include "llvm/Support/Allocator.h"

19

21

22class StackFrameContext;

23

24namespace ento {

25

26

27

28

30 void *Data;

31

33

34public:

36

38 unsigned BlockID) const;

39

41 void *F;

42 public:

43 Factory(llvm::BumpPtrAllocator& Alloc);

45

49 unsigned BlockID);

50 };

51

53};

54

55}

56

57}

58

59#endif

It represents a stack frame of the call stack (based on CallEvent).

BlockCounter IncrementCount(BlockCounter BC, const StackFrameContext *CallSite, unsigned BlockID)

BlockCounter GetEmptyCounter()

An abstract data type used to count the number of times a given block has been visited along a path a...

unsigned getNumVisited(const StackFrameContext *CallSite, unsigned BlockID) const

The JSON file list parser is used to communicate input to InstallAPI.