Coverage Report

Created: 2020-09-15 12:33

/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
522k
    : CallSite(CS), BlockID(ID) {}
30
31
2.00M
  bool operator==(const CountKey &RHS) const {
32
2.00M
    return (CallSite == RHS.CallSite) && 
(BlockID == RHS.BlockID)1.16M
;
33
2.00M
  }
34
35
1.34M
  bool operator<(const CountKey &RHS) const {
36
1.34M
    return std::tie(CallSite, BlockID) < std::tie(RHS.CallSite, RHS.BlockID);
37
1.34M
  }
38
39
463k
  void Profile(llvm::FoldingSetNodeID &ID) const {
40
463k
    ID.AddPointer(CallSite);
41
463k
    ID.AddInteger(BlockID);
42
463k
  }
43
};
44
45
}
46
47
typedef llvm::ImmutableMap<CountKey, unsigned> CountMap;
48
49
522k
static inline CountMap GetMap(void *D) {
50
522k
  return CountMap(static_cast<CountMap::TreeTy*>(D));
51
522k
}
52
53
136k
static inline CountMap::Factory& GetFactory(void *F) {
54
136k
  return *static_cast<CountMap::Factory*>(F);
55
136k
}
56
57
unsigned BlockCounter::getNumVisited(const StackFrameContext *CallSite,
58
400k
                                       unsigned BlockID) const {
59
400k
  CountMap M = GetMap(Data);
60
400k
  CountMap::data_type* T = M.lookup(CountKey(CallSite, BlockID));
61
235k
  return T ? *T : 
0165k
;
62
400k
}
63
64
13.6k
BlockCounter::Factory::Factory(llvm::BumpPtrAllocator& Alloc) {
65
13.6k
  F = new CountMap::Factory(Alloc);
66
13.6k
}
67
68
13.6k
BlockCounter::Factory::~Factory() {
69
13.6k
  delete static_cast<CountMap::Factory*>(F);
70
13.6k
}
71
72
BlockCounter
73
BlockCounter::Factory::IncrementCount(BlockCounter BC,
74
                                        const StackFrameContext *CallSite,
75
122k
                                        unsigned BlockID) {
76
122k
  return BlockCounter(GetFactory(F).add(GetMap(BC.Data),
77
122k
                                          CountKey(CallSite, BlockID),
78
122k
                             BC.getNumVisited(CallSite, BlockID)+1).getRoot());
79
122k
}
80
81
BlockCounter
82
13.6k
BlockCounter::Factory::GetEmptyCounter() {
83
13.6k
  return BlockCounter(GetFactory(F).getEmptyMap().getRoot());
84
13.6k
}