Coverage Report

Created: 2020-03-31 06:27

/Users/buildslave/jenkins/workspace/coverage/llvm-project/clang/lib/StaticAnalyzer/Core/BlockCounter.cpp
Line
Count
Source
1
//==- BlockCounter.h - ADT for counting block visits -------------*- C++ -*-//
2
//
3
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4
// See https://llvm.org/LICENSE.txt for license information.
5
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6
//
7
//===----------------------------------------------------------------------===//
8
//
9
//  This file defines BlockCounter, an abstract data type used to count
10
//  the number of times a given block has been visited along a path
11
//  analyzed by CoreEngine.
12
//
13
//===----------------------------------------------------------------------===//
14
15
#include "clang/StaticAnalyzer/Core/PathSensitive/BlockCounter.h"
16
#include "llvm/ADT/ImmutableMap.h"
17
18
using namespace clang;
19
using namespace ento;
20
21
namespace {
22
23
class CountKey {
24
  const StackFrameContext *CallSite;
25
  unsigned BlockID;
26
27
public:
28
  CountKey(const StackFrameContext *CS, unsigned ID)
29
675k
    : CallSite(CS), BlockID(ID) {}
30
31
3.12M
  bool operator==(const CountKey &RHS) const {
32
3.12M
    return (CallSite == RHS.CallSite) && 
(BlockID == RHS.BlockID)1.24M
;
33
3.12M
  }
34
35
2.41M
  bool operator<(const CountKey &RHS) const {
36
2.41M
    return std::tie(CallSite, BlockID) < std::tie(RHS.CallSite, RHS.BlockID);
37
2.41M
  }
38
39
733k
  void Profile(llvm::FoldingSetNodeID &ID) const {
40
733k
    ID.AddPointer(CallSite);
41
733k
    ID.AddInteger(BlockID);
42
733k
  }
43
};
44
45
}
46
47
typedef llvm::ImmutableMap<CountKey, unsigned> CountMap;
48
49
675k
static inline CountMap GetMap(void *D) {
50
675k
  return CountMap(static_cast<CountMap::TreeTy*>(D));
51
675k
}
52
53
167k
static inline CountMap::Factory& GetFactory(void *F) {
54
167k
  return *static_cast<CountMap::Factory*>(F);
55
167k
}
56
57
unsigned BlockCounter::getNumVisited(const StackFrameContext *CallSite,
58
521k
                                       unsigned BlockID) const {
59
521k
  CountMap M = GetMap(Data);
60
521k
  CountMap::data_type* T = M.lookup(CountKey(CallSite, BlockID));
61
521k
  return T ? 
*T289k
:
0231k
;
62
521k
}
63
64
13.2k
BlockCounter::Factory::Factory(llvm::BumpPtrAllocator& Alloc) {
65
13.2k
  F = new CountMap::Factory(Alloc);
66
13.2k
}
67
68
13.2k
BlockCounter::Factory::~Factory() {
69
13.2k
  delete static_cast<CountMap::Factory*>(F);
70
13.2k
}
71
72
BlockCounter
73
BlockCounter::Factory::IncrementCount(BlockCounter BC,
74
                                        const StackFrameContext *CallSite,
75
154k
                                        unsigned BlockID) {
76
154k
  return BlockCounter(GetFactory(F).add(GetMap(BC.Data),
77
154k
                                          CountKey(CallSite, BlockID),
78
154k
                             BC.getNumVisited(CallSite, BlockID)+1).getRoot());
79
154k
}
80
81
BlockCounter
82
13.2k
BlockCounter::Factory::GetEmptyCounter() {
83
13.2k
  return BlockCounter(GetFactory(F).getEmptyMap().getRoot());
84
13.2k
}