Coverage Report

Created: 2018-09-25 23:22

/Users/buildslave/jenkins/workspace/clang-stage2-coverage-R/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h
Line
Count
Source
1
//ProgramStateTrait.h - Partial implementations of ProgramStateTrait -*- 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 partial implementations of template specializations of
11
//  the class ProgramStateTrait<>.  ProgramStateTrait<> is used by ProgramState
12
//  to implement set/get methods for manipulating a ProgramState's
13
//  generic data map.
14
//
15
//===----------------------------------------------------------------------===//
16
17
#ifndef LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_PROGRAMSTATETRAIT_H
18
#define LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_PROGRAMSTATETRAIT_H
19
20
#include "llvm/ADT/ImmutableList.h"
21
#include "llvm/ADT/ImmutableMap.h"
22
#include "llvm/ADT/ImmutableSet.h"
23
#include "llvm/Support/Allocator.h"
24
#include <cstdint>
25
26
namespace clang {
27
namespace ento {
28
29
  template <typename T> struct ProgramStatePartialTrait;
30
31
  /// Declares a program state trait for type \p Type called \p Name, and
32
  /// introduce a type named \c NameTy.
33
  /// The macro should not be used inside namespaces.
34
  #define REGISTER_TRAIT_WITH_PROGRAMSTATE(Name, Type) \
35
    namespace { \
36
      class Name {}; \
37
      using Name ## Ty = Type; \
38
    } \
39
    namespace clang { \
40
    namespace ento { \
41
      template <> \
42
      struct ProgramStateTrait<Name> \
43
        : public ProgramStatePartialTrait<Name ## Ty> { \
44
1.52M
        static void *GDMIndex() { static int Index; return &Index; } \
BasicObjCFoundationChecks.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerCountMap>::GDMIndex()
Line
Count
Source
44
1.95k
        static void *GDMIndex() { static int Index; return &Index; } \
BasicObjCFoundationChecks.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerNonEmptyMap>::GDMIndex()
Line
Count
Source
44
1.59k
        static void *GDMIndex() { static int Index; return &Index; } \
BlockInCriticalSectionChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::MutexCounter>::GDMIndex()
Line
Count
Source
44
94
        static void *GDMIndex() { static int Index; return &Index; } \
CStringChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CStringLength>::GDMIndex()
Line
Count
Source
44
179k
        static void *GDMIndex() { static int Index; return &Index; } \
CheckObjCDealloc.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::UnreleasedIvarMap>::GDMIndex()
Line
Count
Source
44
4.84k
        static void *GDMIndex() { static int Index; return &Index; } \
DynamicTypePropagation.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::MostSpecializedTypeArgsMap>::GDMIndex()
Line
Count
Source
44
48.2k
        static void *GDMIndex() { static int Index; return &Index; } \
ExprInspectionChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::MarkedSymbols>::GDMIndex()
Line
Count
Source
44
7.18k
        static void *GDMIndex() { static int Index; return &Index; } \
ExprInspectionChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DenotedSymbols>::GDMIndex()
Line
Count
Source
44
8.43k
        static void *GDMIndex() { static int Index; return &Index; } \
GenericTaintChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TaintArgsOnPostVisit>::GDMIndex()
Line
Count
Source
44
1.07k
        static void *GDMIndex() { static int Index; return &Index; } \
InnerPointerChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RawPtrMap>::GDMIndex()
Line
Count
Source
44
14.4k
        static void *GDMIndex() { static int Index; return &Index; } \
IteratorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::IteratorRegionMap>::GDMIndex()
Line
Count
Source
44
22.1k
        static void *GDMIndex() { static int Index; return &Index; } \
IteratorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::IteratorSymbolMap>::GDMIndex()
Line
Count
Source
44
9.24k
        static void *GDMIndex() { static int Index; return &Index; } \
IteratorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerMap>::GDMIndex()
Line
Count
Source
44
10.7k
        static void *GDMIndex() { static int Index; return &Index; } \
IteratorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::IteratorComparisonMap>::GDMIndex()
Line
Count
Source
44
2.62k
        static void *GDMIndex() { static int Index; return &Index; } \
LocalizationChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LocalizedMemMap>::GDMIndex()
Line
Count
Source
44
777
        static void *GDMIndex() { static int Index; return &Index; } \
MacOSKeychainAPIChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::AllocatedData>::GDMIndex()
Line
Count
Source
44
2.54k
        static void *GDMIndex() { static int Index; return &Index; } \
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::GDMIndex()
Line
Count
Source
44
333k
        static void *GDMIndex() { static int Index; return &Index; } \
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocPairs>::GDMIndex()
Line
Count
Source
44
172k
        static void *GDMIndex() { static int Index; return &Index; } \
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::FreeReturnValue>::GDMIndex()
Line
Count
Source
44
18.8k
        static void *GDMIndex() { static int Index; return &Index; } \
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocSizeZeroSymbols>::GDMIndex()
Line
Count
Source
44
13.2k
        static void *GDMIndex() { static int Index; return &Index; } \
MisusedMovedObjectChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TrackedRegionMap>::GDMIndex()
Line
Count
Source
44
15.7k
        static void *GDMIndex() { static int Index; return &Index; } \
NSErrorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NSErrorOut>::GDMIndex()
Line
Count
Source
44
11
        static void *GDMIndex() { static int Index; return &Index; } \
NSErrorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CFErrorOut>::GDMIndex()
Line
Count
Source
44
22
        static void *GDMIndex() { static int Index; return &Index; } \
NullabilityChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NullabilityMap>::GDMIndex()
Line
Count
Source
44
4.95k
        static void *GDMIndex() { static int Index; return &Index; } \
NullabilityChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::InvariantViolated>::GDMIndex()
Line
Count
Source
44
1.79k
        static void *GDMIndex() { static int Index; return &Index; } \
ObjCContainersChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ArraySizeMap>::GDMIndex()
Line
Count
Source
44
645
        static void *GDMIndex() { static int Index; return &Index; } \
ObjCSelfInitChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::SelfFlag>::GDMIndex()
Line
Count
Source
44
1.71k
        static void *GDMIndex() { static int Index; return &Index; } \
ObjCSelfInitChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CalledInit>::GDMIndex()
Line
Count
Source
44
259
        static void *GDMIndex() { static int Index; return &Index; } \
ObjCSelfInitChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::PreCallSelfFlags>::GDMIndex()
Line
Count
Source
44
178
        static void *GDMIndex() { static int Index; return &Index; } \
ObjCSuperDeallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CalledSuperDealloc>::GDMIndex()
Line
Count
Source
44
459
        static void *GDMIndex() { static int Index; return &Index; } \
PointerArithChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::GDMIndex()
Line
Count
Source
44
26.2k
        static void *GDMIndex() { static int Index; return &Index; } \
PthreadLockChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LockMap>::GDMIndex()
Line
Count
Source
44
732
        static void *GDMIndex() { static int Index; return &Index; } \
PthreadLockChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LockSet>::GDMIndex()
Line
Count
Source
44
234
        static void *GDMIndex() { static int Index; return &Index; } \
PthreadLockChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DestroyRetVal>::GDMIndex()
Line
Count
Source
44
550
        static void *GDMIndex() { static int Index; return &Index; } \
RetainCountChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RefBindings>::GDMIndex()
Line
Count
Source
44
89.8k
        static void *GDMIndex() { static int Index; return &Index; } \
SimpleStreamChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::GDMIndex()
Line
Count
Source
44
349
        static void *GDMIndex() { static int Index; return &Index; } \
StreamChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::GDMIndex()
Line
Count
Source
44
158
        static void *GDMIndex() { static int Index; return &Index; } \
TestAfterDivZeroChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DivZeroMap>::GDMIndex()
Line
Count
Source
44
2.12k
        static void *GDMIndex() { static int Index; return &Index; } \
TrustNonnullChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NonNullImplicationMap>::GDMIndex()
Line
Count
Source
44
419
        static void *GDMIndex() { static int Index; return &Index; } \
TrustNonnullChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NullImplicationMap>::GDMIndex()
Line
Count
Source
44
419
        static void *GDMIndex() { static int Index; return &Index; } \
VforkChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::VforkResultRegion>::GDMIndex()
Line
Count
Source
44
631
        static void *GDMIndex() { static int Index; return &Index; } \
ValistChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::InitializedVALists>::GDMIndex()
Line
Count
Source
44
5.26k
        static void *GDMIndex() { static int Index; return &Index; } \
VirtualCallChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CtorDtorMap>::GDMIndex()
Line
Count
Source
44
434
        static void *GDMIndex() { static int Index; return &Index; } \
ExprEngine.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ObjectsUnderConstruction>::GDMIndex()
Line
Count
Source
44
504k
        static void *GDMIndex() { static int Index; return &Index; } \
ExprEngine.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::InitializedGlobalsSet>::GDMIndex()
Line
Count
Source
44
761
        static void *GDMIndex() { static int Index; return &Index; } \
ExprEngineCallAndReturn.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicDispatchBifurcationMap>::GDMIndex()
Line
Count
Source
44
69
        static void *GDMIndex() { static int Index; return &Index; } \
LoopUnrolling.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LoopStack>::GDMIndex()
Line
Count
Source
44
8.31k
        static void *GDMIndex() { static int Index; return &Index; } \
45
      }; \
46
    } \
47
    }
48
49
  /// Declares a factory for objects of type \p Type in the program state
50
  /// manager. The type must provide a ::Factory sub-class. Commonly used for
51
  /// ImmutableMap, ImmutableSet, ImmutableList. The macro should not be used
52
  /// inside namespaces.
53
  #define REGISTER_FACTORY_WITH_PROGRAMSTATE(Type) \
54
    namespace clang { \
55
    namespace ento { \
56
      template <> \
57
      struct ProgramStateTrait<Type> \
58
        : public ProgramStatePartialTrait<Type> { \
59
11.9k
        static void *GDMIndex() { static int Index; return &Index; } \
60
      }; \
61
    } \
62
    }
63
64
  /// Helper for registering a map trait.
65
  ///
66
  /// If the map type were written directly in the invocation of
67
  /// REGISTER_TRAIT_WITH_PROGRAMSTATE, the comma in the template arguments
68
  /// would be treated as a macro argument separator, which is wrong.
69
  /// This allows the user to specify a map type in a way that the preprocessor
70
  /// can deal with.
71
  #define CLANG_ENTO_PROGRAMSTATE_MAP(Key, Value) llvm::ImmutableMap<Key, Value>
72
73
  /// Declares an immutable map of type \p NameTy, suitable for placement into
74
  /// the ProgramState. This is implementing using llvm::ImmutableMap.
75
  ///
76
  /// \code
77
  /// State = State->set<Name>(K, V);
78
  /// const Value *V = State->get<Name>(K); // Returns NULL if not in the map.
79
  /// State = State->remove<Name>(K);
80
  /// NameTy Map = State->get<Name>();
81
  /// \endcode
82
  ///
83
  /// The macro should not be used inside namespaces, or for traits that must
84
  /// be accessible from more than one translation unit.
85
  #define REGISTER_MAP_WITH_PROGRAMSTATE(Name, Key, Value) \
86
    REGISTER_TRAIT_WITH_PROGRAMSTATE(Name, \
87
                                     CLANG_ENTO_PROGRAMSTATE_MAP(Key, Value))
88
89
  /// Declares an immutable map type \p Name and registers the factory
90
  /// for such maps in the program state, but does not add the map itself
91
  /// to the program state. Useful for managing lifetime of maps that are used
92
  /// as elements of other program state data structures.
93
  #define REGISTER_MAP_FACTORY_WITH_PROGRAMSTATE(Name, Key, Value) \
94
    using Name = llvm::ImmutableMap<Key, Value>; \
95
    REGISTER_FACTORY_WITH_PROGRAMSTATE(Name)
96
97
98
  /// Declares an immutable set of type \p NameTy, suitable for placement into
99
  /// the ProgramState. This is implementing using llvm::ImmutableSet.
100
  ///
101
  /// \code
102
  /// State = State->add<Name>(E);
103
  /// State = State->remove<Name>(E);
104
  /// bool Present = State->contains<Name>(E);
105
  /// NameTy Set = State->get<Name>();
106
  /// \endcode
107
  ///
108
  /// The macro should not be used inside namespaces, or for traits that must
109
  /// be accessible from more than one translation unit.
110
  #define REGISTER_SET_WITH_PROGRAMSTATE(Name, Elem) \
111
    REGISTER_TRAIT_WITH_PROGRAMSTATE(Name, llvm::ImmutableSet<Elem>)
112
113
  /// Declares an immutable set type \p Name and registers the factory
114
  /// for such sets in the program state, but does not add the set itself
115
  /// to the program state. Useful for managing lifetime of sets that are used
116
  /// as elements of other program state data structures.
117
  #define REGISTER_SET_FACTORY_WITH_PROGRAMSTATE(Name, Elem) \
118
    using Name = llvm::ImmutableSet<Elem>; \
119
    REGISTER_FACTORY_WITH_PROGRAMSTATE(Name)
120
121
122
  /// Declares an immutable list type \p NameTy, suitable for placement into
123
  /// the ProgramState. This is implementing using llvm::ImmutableList.
124
  ///
125
  /// \code
126
  /// State = State->add<Name>(E); // Adds to the /end/ of the list.
127
  /// bool Present = State->contains<Name>(E);
128
  /// NameTy List = State->get<Name>();
129
  /// \endcode
130
  ///
131
  /// The macro should not be used inside namespaces, or for traits that must
132
  /// be accessible from more than one translation unit.
133
  #define REGISTER_LIST_WITH_PROGRAMSTATE(Name, Elem) \
134
    REGISTER_TRAIT_WITH_PROGRAMSTATE(Name, llvm::ImmutableList<Elem>)
135
136
  /// Declares an immutable list of type \p Name and registers the factory
137
  /// for such lists in the program state, but does not add the list itself
138
  /// to the program state. Useful for managing lifetime of lists that are used
139
  /// as elements of other program state data structures.
140
  #define REGISTER_LIST_FACTORY_WITH_PROGRAMSTATE(Name, Elem) \
141
    using Name = llvm::ImmutableList<Elem>; \
142
    REGISTER_FACTORY_WITH_PROGRAMSTATE(Name)
143
144
145
  // Partial-specialization for ImmutableMap.
146
  template <typename Key, typename Data, typename Info>
147
  struct ProgramStatePartialTrait<llvm::ImmutableMap<Key, Data, Info>> {
148
    using data_type = llvm::ImmutableMap<Key, Data, Info>;
149
    using context_type = typename data_type::Factory &;
150
    using key_type = Key;
151
    using value_type = Data;
152
    using lookup_type = const value_type *;
153
154
2.23M
    static data_type MakeData(void *const *p) {
155
2.23M
      return p ? 
data_type((typename data_type::TreeTy *) *p)1.14M
156
2.23M
               : 
data_type(nullptr)1.08M
;
157
2.23M
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> > >::MakeData(void* const*)
Line
Count
Source
154
19.3k
    static data_type MakeData(void *const *p) {
155
19.3k
      return p ? 
data_type((typename data_type::TreeTy *) *p)2.14k
156
19.3k
               : 
data_type(nullptr)17.2k
;
157
19.3k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> > >::MakeData(void* const*)
Line
Count
Source
154
694
    static data_type MakeData(void *const *p) {
155
694
      return p ? 
data_type((typename data_type::TreeTy *) *p)564
156
694
               : 
data_type(nullptr)130
;
157
694
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> > >::MakeData(void* const*)
Line
Count
Source
154
175k
    static data_type MakeData(void *const *p) {
155
175k
      return p ? 
data_type((typename data_type::TreeTy *) *p)5.09k
156
175k
               : 
data_type(nullptr)170k
;
157
175k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > > >::MakeData(void* const*)
Line
Count
Source
154
4.22k
    static data_type MakeData(void *const *p) {
155
4.22k
      return p ? 
data_type((typename data_type::TreeTy *) *p)1.14k
156
4.22k
               : 
data_type(nullptr)3.07k
;
157
4.22k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> > >::MakeData(void* const*)
Line
Count
Source
154
49.2k
    static data_type MakeData(void *const *p) {
155
49.2k
      return p ? 
data_type((typename data_type::TreeTy *) *p)10.4k
156
49.2k
               : 
data_type(nullptr)38.8k
;
157
49.2k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*> > >::MakeData(void* const*)
Line
Count
Source
154
47.8k
    static data_type MakeData(void *const *p) {
155
47.8k
      return p ? 
data_type((typename data_type::TreeTy *) *p)5.77k
156
47.8k
               : 
data_type(nullptr)42.0k
;
157
47.8k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::StringLiteral const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::StringLiteral const*> > >::MakeData(void* const*)
Line
Count
Source
154
7.78k
    static data_type MakeData(void *const *p) {
155
7.78k
      return p ? 
data_type((typename data_type::TreeTy *) *p)647
156
7.78k
               : 
data_type(nullptr)7.13k
;
157
7.78k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > > >::MakeData(void* const*)
Line
Count
Source
154
14.2k
    static data_type MakeData(void *const *p) {
155
14.2k
      return p ? 
data_type((typename data_type::TreeTy *) *p)1.63k
156
14.2k
               : 
data_type(nullptr)12.6k
;
157
14.2k
    }
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition> > >::MakeData(void* const*)
Line
Count
Source
154
15.8k
    static data_type MakeData(void *const *p) {
155
15.8k
      return p ? 
data_type((typename data_type::TreeTy *) *p)12.6k
156
15.8k
               : 
data_type(nullptr)3.23k
;
157
15.8k
    }
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition> > >::MakeData(void* const*)
Line
Count
Source
154
8.41k
    static data_type MakeData(void *const *p) {
155
8.41k
      return p ? 
data_type((typename data_type::TreeTy *) *p)1.18k
156
8.41k
               : 
data_type(nullptr)7.23k
;
157
8.41k
    }
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData> > >::MakeData(void* const*)
Line
Count
Source
154
9.29k
    static data_type MakeData(void *const *p) {
155
9.29k
      return p ? 
data_type((typename data_type::TreeTy *) *p)6.47k
156
9.29k
               : 
data_type(nullptr)2.81k
;
157
9.29k
    }
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison> > >::MakeData(void* const*)
Line
Count
Source
154
2.53k
    static data_type MakeData(void *const *p) {
155
2.53k
      return p ? 
data_type((typename data_type::TreeTy *) *p)130
156
2.53k
               : 
data_type(nullptr)2.40k
;
157
2.53k
    }
LocalizationChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState> > >::MakeData(void* const*)
Line
Count
Source
154
389
    static data_type MakeData(void *const *p) {
155
389
      return p ? 
data_type((typename data_type::TreeTy *) *p)344
156
389
               : 
data_type(nullptr)45
;
157
389
    }
MacOSKeychainAPIChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState> > >::MakeData(void* const*)
Line
Count
Source
154
2.38k
    static data_type MakeData(void *const *p) {
155
2.38k
      return p ? 
data_type((typename data_type::TreeTy *) *p)1.37k
156
2.38k
               : 
data_type(nullptr)1.00k
;
157
2.38k
    }
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefState> > >::MakeData(void* const*)
Line
Count
Source
154
292k
    static data_type MakeData(void *const *p) {
155
292k
      return p ? 
data_type((typename data_type::TreeTy *) *p)146k
156
292k
               : 
data_type(nullptr)146k
;
157
292k
    }
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair> > >::MakeData(void* const*)
Line
Count
Source
154
172k
    static data_type MakeData(void *const *p) {
155
172k
      return p ? 
data_type((typename data_type::TreeTy *) *p)859
156
172k
               : 
data_type(nullptr)171k
;
157
172k
    }
MisusedMovedObjectChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::RegionState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::RegionState> > >::MakeData(void* const*)
Line
Count
Source
154
13.3k
    static data_type MakeData(void *const *p) {
155
13.3k
      return p ? 
data_type((typename data_type::TreeTy *) *p)11.0k
156
13.3k
               : 
data_type(nullptr)2.31k
;
157
13.3k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::mpi::Request> > >::MakeData(void* const*)
Line
Count
Source
154
1.02k
    static data_type MakeData(void *const *p) {
155
1.02k
      return p ? 
data_type((typename data_type::TreeTy *) *p)914
156
1.02k
               : 
data_type(nullptr)112
;
157
1.02k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> > >::MakeData(void* const*)
Line
Count
Source
154
28.0k
    static data_type MakeData(void *const *p) {
155
28.0k
      return p ? 
data_type((typename data_type::TreeTy *) *p)23.9k
156
28.0k
               : 
data_type(nullptr)4.16k
;
157
28.0k
    }
NullabilityChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> > >::MakeData(void* const*)
Line
Count
Source
154
4.63k
    static data_type MakeData(void *const *p) {
155
4.63k
      return p ? 
data_type((typename data_type::TreeTy *) *p)3.24k
156
4.63k
               : 
data_type(nullptr)1.38k
;
157
4.63k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DefinedSVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DefinedSVal> > >::MakeData(void* const*)
Line
Count
Source
154
225
    static data_type MakeData(void *const *p) {
155
225
      return p ? 
data_type((typename data_type::TreeTy *) *p)191
156
225
               : 
data_type(nullptr)34
;
157
225
    }
PointerArithChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind> > >::MakeData(void* const*)
Line
Count
Source
154
15.3k
    static data_type MakeData(void *const *p) {
155
15.3k
      return p ? 
data_type((typename data_type::TreeTy *) *p)14.8k
156
15.3k
               : 
data_type(nullptr)549
;
157
15.3k
    }
PthreadLockChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LockState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LockState> > >::MakeData(void* const*)
Line
Count
Source
154
382
    static data_type MakeData(void *const *p) {
155
382
      return p ? 
data_type((typename data_type::TreeTy *) *p)262
156
382
               : 
data_type(nullptr)120
;
157
382
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SymExpr const*> > >::MakeData(void* const*)
Line
Count
Source
154
418
    static data_type MakeData(void *const *p) {
155
418
      return p ? 
data_type((typename data_type::TreeTy *) *p)128
156
418
               : 
data_type(nullptr)290
;
157
418
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal> > >::MakeData(void* const*)
Line
Count
Source
154
66.7k
    static data_type MakeData(void *const *p) {
155
66.7k
      return p ? 
data_type((typename data_type::TreeTy *) *p)54.9k
156
66.7k
               : 
data_type(nullptr)11.7k
;
157
66.7k
    }
SimpleStreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> > >::MakeData(void* const*)
Line
Count
Source
154
159
    static data_type MakeData(void *const *p) {
155
159
      return p ? 
data_type((typename data_type::TreeTy *) *p)128
156
159
               : 
data_type(nullptr)31
;
157
159
    }
StreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> > >::MakeData(void* const*)
Line
Count
Source
154
106
    static data_type MakeData(void *const *p) {
155
106
      return p ? 
data_type((typename data_type::TreeTy *) *p)34
156
106
               : 
data_type(nullptr)72
;
157
106
    }
VirtualCallChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState> > >::MakeData(void* const*)
Line
Count
Source
154
166
    static data_type MakeData(void *const *p) {
155
166
      return p ? 
data_type((typename data_type::TreeTy *) *p)153
156
166
               : 
data_type(nullptr)13
;
157
166
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::RangeSet> > >::MakeData(void* const*)
Line
Count
Source
154
812k
    static data_type MakeData(void *const *p) {
155
812k
      return p ? 
data_type((typename data_type::TreeTy *) *p)715k
156
812k
               : 
data_type(nullptr)97.3k
;
157
812k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<ConstructedObjectKey, clang::ento::SVal> > >::MakeData(void* const*)
Line
Count
Source
154
464k
    static data_type MakeData(void *const *p) {
155
464k
      return p ? 
data_type((typename data_type::TreeTy *) *p)125k
156
464k
               : 
data_type(nullptr)339k
;
157
464k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, unsigned int> > >::MakeData(void* const*)
Line
Count
Source
154
33
    static data_type MakeData(void *const *p) {
155
33
      return p ? 
data_type((typename data_type::TreeTy *) *p)6
156
33
               : 
data_type(nullptr)27
;
157
33
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> > > > >::MakeData(void* const*)
Line
Count
Source
154
2.36k
    static data_type MakeData(void *const *p) {
155
2.36k
      return p ? 
data_type((typename data_type::TreeTy *) *p)222
156
2.36k
               : 
data_type(nullptr)2.13k
;
157
2.36k
    }
158
159
242k
    static void *MakeVoidPtr(data_type B) {
160
242k
      return B.getRoot();
161
242k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> >)
Line
Count
Source
159
449
    static void *MakeVoidPtr(data_type B) {
160
449
      return B.getRoot();
161
449
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> >)
Line
Count
Source
159
1.13k
    static void *MakeVoidPtr(data_type B) {
160
1.13k
      return B.getRoot();
161
1.13k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> >)
Line
Count
Source
159
2.19k
    static void *MakeVoidPtr(data_type B) {
160
2.19k
      return B.getRoot();
161
2.19k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > >)
Line
Count
Source
159
314
    static void *MakeVoidPtr(data_type B) {
160
314
      return B.getRoot();
161
314
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> >)
Line
Count
Source
159
5.28k
    static void *MakeVoidPtr(data_type B) {
160
5.28k
      return B.getRoot();
161
5.28k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*> >)
Line
Count
Source
159
208
    static void *MakeVoidPtr(data_type B) {
160
208
      return B.getRoot();
161
208
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::StringLiteral const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::StringLiteral const*> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::StringLiteral const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::StringLiteral const*> >)
Line
Count
Source
159
328
    static void *MakeVoidPtr(data_type B) {
160
328
      return B.getRoot();
161
328
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > >)
Line
Count
Source
159
86
    static void *MakeVoidPtr(data_type B) {
160
86
      return B.getRoot();
161
86
    }
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition> >)
Line
Count
Source
159
3.14k
    static void *MakeVoidPtr(data_type B) {
160
3.14k
      return B.getRoot();
161
3.14k
    }
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition> >)
Line
Count
Source
159
298
    static void *MakeVoidPtr(data_type B) {
160
298
      return B.getRoot();
161
298
    }
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData> >)
Line
Count
Source
159
748
    static void *MakeVoidPtr(data_type B) {
160
748
      return B.getRoot();
161
748
    }
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison> >)
Line
Count
Source
159
41
    static void *MakeVoidPtr(data_type B) {
160
41
      return B.getRoot();
161
41
    }
LocalizationChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState> >)
Line
Count
Source
159
194
    static void *MakeVoidPtr(data_type B) {
160
194
      return B.getRoot();
161
194
    }
MacOSKeychainAPIChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState> >)
Line
Count
Source
159
80
    static void *MakeVoidPtr(data_type B) {
160
80
      return B.getRoot();
161
80
    }
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefState> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefState> >)
Line
Count
Source
159
20.2k
    static void *MakeVoidPtr(data_type B) {
160
20.2k
      return B.getRoot();
161
20.2k
    }
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair> >)
Line
Count
Source
159
132
    static void *MakeVoidPtr(data_type B) {
160
132
      return B.getRoot();
161
132
    }
MisusedMovedObjectChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::RegionState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::RegionState> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::RegionState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::RegionState> >)
Line
Count
Source
159
1.17k
    static void *MakeVoidPtr(data_type B) {
160
1.17k
      return B.getRoot();
161
1.17k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::mpi::Request> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::mpi::Request> >)
Line
Count
Source
159
153
    static void *MakeVoidPtr(data_type B) {
160
153
      return B.getRoot();
161
153
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> >)
Line
Count
Source
159
506
    static void *MakeVoidPtr(data_type B) {
160
506
      return B.getRoot();
161
506
    }
NullabilityChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> >)
Line
Count
Source
159
160
    static void *MakeVoidPtr(data_type B) {
160
160
      return B.getRoot();
161
160
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DefinedSVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DefinedSVal> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DefinedSVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DefinedSVal> >)
Line
Count
Source
159
210
    static void *MakeVoidPtr(data_type B) {
160
210
      return B.getRoot();
161
210
    }
PointerArithChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind> >)
Line
Count
Source
159
5.42k
    static void *MakeVoidPtr(data_type B) {
160
5.42k
      return B.getRoot();
161
5.42k
    }
PthreadLockChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LockState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LockState> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LockState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LockState> >)
Line
Count
Source
159
175
    static void *MakeVoidPtr(data_type B) {
160
175
      return B.getRoot();
161
175
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SymExpr const*> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SymExpr const*> >)
Line
Count
Source
159
66
    static void *MakeVoidPtr(data_type B) {
160
66
      return B.getRoot();
161
66
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal> >)
Line
Count
Source
159
9.30k
    static void *MakeVoidPtr(data_type B) {
160
9.30k
      return B.getRoot();
161
9.30k
    }
SimpleStreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> >)
Line
Count
Source
159
95
    static void *MakeVoidPtr(data_type B) {
160
95
      return B.getRoot();
161
95
    }
StreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> >)
Line
Count
Source
159
26
    static void *MakeVoidPtr(data_type B) {
160
26
      return B.getRoot();
161
26
    }
VirtualCallChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState> >)
Line
Count
Source
159
134
    static void *MakeVoidPtr(data_type B) {
160
134
      return B.getRoot();
161
134
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<ConstructedObjectKey, clang::ento::SVal> > >::MakeVoidPtr(llvm::ImmutableMap<ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<ConstructedObjectKey, clang::ento::SVal> >)
Line
Count
Source
159
20.0k
    static void *MakeVoidPtr(data_type B) {
160
20.0k
      return B.getRoot();
161
20.0k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, unsigned int> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, unsigned int> >)
Line
Count
Source
159
18
    static void *MakeVoidPtr(data_type B) {
160
18
      return B.getRoot();
161
18
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> > > > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> > > >)
Line
Count
Source
159
6
    static void *MakeVoidPtr(data_type B) {
160
6
      return B.getRoot();
161
6
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::RangeSet> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::RangeSet> >)
Line
Count
Source
159
170k
    static void *MakeVoidPtr(data_type B) {
160
170k
      return B.getRoot();
161
170k
    }
162
163
767k
    static lookup_type Lookup(data_type B, key_type K) {
164
767k
      return B.lookup(K);
165
767k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> > >::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> >, clang::ento::SymExpr const*)
Line
Count
Source
163
890
    static lookup_type Lookup(data_type B, key_type K) {
164
890
      return B.lookup(K);
165
890
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> > >::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> >, clang::ento::SymExpr const*)
Line
Count
Source
163
245
    static lookup_type Lookup(data_type B, key_type K) {
164
245
      return B.lookup(K);
165
245
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> > >::Lookup(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> >, clang::ento::MemRegion const*)
Line
Count
Source
163
921
    static lookup_type Lookup(data_type B, key_type K) {
164
921
      return B.lookup(K);
165
921
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > > >::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > >, clang::ento::SymExpr const*)
Line
Count
Source
163
432
    static lookup_type Lookup(data_type B, key_type K) {
164
432
      return B.lookup(K);
165
432
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*> > >::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*> >, clang::ento::SymExpr const*)
Line
Count
Source
163
10.1k
    static lookup_type Lookup(data_type B, key_type K) {
164
10.1k
      return B.lookup(K);
165
10.1k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> > >::Lookup(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> >, clang::ento::MemRegion const*)
Line
Count
Source
163
6.47k
    static lookup_type Lookup(data_type B, key_type K) {
164
6.47k
      return B.lookup(K);
165
6.47k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::StringLiteral const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::StringLiteral const*> > >::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::StringLiteral const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::StringLiteral const*> >, clang::ento::SymExpr const*)
Line
Count
Source
163
319
    static lookup_type Lookup(data_type B, key_type K) {
164
319
      return B.lookup(K);
165
319
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > > >::Lookup(llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > >, clang::ento::MemRegion const*)
Line
Count
Source
163
416
    static lookup_type Lookup(data_type B, key_type K) {
164
416
      return B.lookup(K);
165
416
    }
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition> > >::Lookup(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition> >, clang::ento::MemRegion const*)
Line
Count
Source
163
4.33k
    static lookup_type Lookup(data_type B, key_type K) {
164
4.33k
      return B.lookup(K);
165
4.33k
    }
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition> > >::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition> >, clang::ento::SymExpr const*)
Line
Count
Source
163
163
    static lookup_type Lookup(data_type B, key_type K) {
164
163
      return B.lookup(K);
165
163
    }
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData> > >::Lookup(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData> >, clang::ento::MemRegion const*)
Line
Count
Source
163
1.07k
    static lookup_type Lookup(data_type B, key_type K) {
164
1.07k
      return B.lookup(K);
165
1.07k
    }
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison> > >::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison> >, clang::ento::SymExpr const*)
Line
Count
Source
163
1.40k
    static lookup_type Lookup(data_type B, key_type K) {
164
1.40k
      return B.lookup(K);
165
1.40k
    }
LocalizationChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState> > >::Lookup(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState> >, clang::ento::MemRegion const*)
Line
Count
Source
163
195
    static lookup_type Lookup(data_type B, key_type K) {
164
195
      return B.lookup(K);
165
195
    }
MacOSKeychainAPIChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState> > >::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState> >, clang::ento::SymExpr const*)
Line
Count
Source
163
1.68k
    static lookup_type Lookup(data_type B, key_type K) {
164
1.68k
      return B.lookup(K);
165
1.68k
    }
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefState> > >::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefState> >, clang::ento::SymExpr const*)
Line
Count
Source
163
117k
    static lookup_type Lookup(data_type B, key_type K) {
164
117k
      return B.lookup(K);
165
117k
    }
MisusedMovedObjectChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::RegionState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::RegionState> > >::Lookup(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::RegionState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::RegionState> >, clang::ento::MemRegion const*)
Line
Count
Source
163
4.43k
    static lookup_type Lookup(data_type B, key_type K) {
164
4.43k
      return B.lookup(K);
165
4.43k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::mpi::Request> > >::Lookup(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::mpi::Request> >, clang::ento::MemRegion const*)
Line
Count
Source
163
650
    static lookup_type Lookup(data_type B, key_type K) {
164
650
      return B.lookup(K);
165
650
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> > >::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> >, clang::ento::SymExpr const*)
Line
Count
Source
163
27.5k
    static lookup_type Lookup(data_type B, key_type K) {
164
27.5k
      return B.lookup(K);
165
27.5k
    }
NullabilityChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> > >::Lookup(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> >, clang::ento::MemRegion const*)
Line
Count
Source
163
3.95k
    static lookup_type Lookup(data_type B, key_type K) {
164
3.95k
      return B.lookup(K);
165
3.95k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DefinedSVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DefinedSVal> > >::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DefinedSVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DefinedSVal> >, clang::ento::SymExpr const*)
Line
Count
Source
163
15
    static lookup_type Lookup(data_type B, key_type K) {
164
15
      return B.lookup(K);
165
15
    }
PointerArithChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind> > >::Lookup(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind> >, clang::ento::MemRegion const*)
Line
Count
Source
163
9.92k
    static lookup_type Lookup(data_type B, key_type K) {
164
9.92k
      return B.lookup(K);
165
9.92k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SymExpr const*> > >::Lookup(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SymExpr const*> >, clang::ento::MemRegion const*)
Line
Count
Source
163
169
    static lookup_type Lookup(data_type B, key_type K) {
164
169
      return B.lookup(K);
165
169
    }
PthreadLockChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LockState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LockState> > >::Lookup(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LockState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LockState> >, clang::ento::MemRegion const*)
Line
Count
Source
163
207
    static lookup_type Lookup(data_type B, key_type K) {
164
207
      return B.lookup(K);
165
207
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal> > >::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal> >, clang::ento::SymExpr const*)
Line
Count
Source
163
42.3k
    static lookup_type Lookup(data_type B, key_type K) {
164
42.3k
      return B.lookup(K);
165
42.3k
    }
SimpleStreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> > >::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> >, clang::ento::SymExpr const*)
Line
Count
Source
163
5
    static lookup_type Lookup(data_type B, key_type K) {
164
5
      return B.lookup(K);
165
5
    }
StreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> > >::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> >, clang::ento::SymExpr const*)
Line
Count
Source
163
80
    static lookup_type Lookup(data_type B, key_type K) {
164
80
      return B.lookup(K);
165
80
    }
VirtualCallChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState> > >::Lookup(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState> >, clang::ento::MemRegion const*)
Line
Count
Source
163
32
    static lookup_type Lookup(data_type B, key_type K) {
164
32
      return B.lookup(K);
165
32
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<ConstructedObjectKey, clang::ento::SVal> > >::Lookup(llvm::ImmutableMap<ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<ConstructedObjectKey, clang::ento::SVal> >, ConstructedObjectKey)
Line
Count
Source
163
138k
    static lookup_type Lookup(data_type B, key_type K) {
164
138k
      return B.lookup(K);
165
138k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, unsigned int> > >::Lookup(llvm::ImmutableMap<clang::ento::MemRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, unsigned int> >, clang::ento::MemRegion const*)
Line
Count
Source
163
15
    static lookup_type Lookup(data_type B, key_type K) {
164
15
      return B.lookup(K);
165
15
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> > > > >::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> > > >, clang::ento::SymExpr const*)
Line
Count
Source
163
2.35k
    static lookup_type Lookup(data_type B, key_type K) {
164
2.35k
      return B.lookup(K);
165
2.35k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::RangeSet> > >::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::RangeSet> >, clang::ento::SymExpr const*)
Line
Count
Source
163
391k
    static lookup_type Lookup(data_type B, key_type K) {
164
391k
      return B.lookup(K);
165
391k
    }
166
167
    static data_type Set(data_type B, key_type K, value_type E,
168
150k
                         context_type F) {
169
150k
      return F.add(B, K, E);
170
150k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> > >::Set(llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> >, clang::ento::SymExpr const*, bool, llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> >::Factory&)
Line
Count
Source
168
92
                         context_type F) {
169
92
      return F.add(B, K, E);
170
92
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> > >::Set(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> >, clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> >::Factory&)
Line
Count
Source
168
63
                         context_type F) {
169
63
      return F.add(B, K, E);
170
63
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> > >::Set(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> >, clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> >::Factory&)
Line
Count
Source
168
737
                         context_type F) {
169
737
      return F.add(B, K, E);
170
737
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > > >::Set(llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > >, clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > >::Factory&)
Line
Count
Source
168
189
                         context_type F) {
169
189
      return F.add(B, K, E);
170
189
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*> > >::Set(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*> >, clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*> >::Factory&)
Line
Count
Source
168
106
                         context_type F) {
169
106
      return F.add(B, K, E);
170
106
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::StringLiteral const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::StringLiteral const*> > >::Set(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::StringLiteral const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::StringLiteral const*> >, clang::ento::SymExpr const*, clang::StringLiteral const*, llvm::ImmutableMap<clang::ento::SymExpr const*, clang::StringLiteral const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::StringLiteral const*> >::Factory&)
Line
Count
Source
168
164
                         context_type F) {
169
164
      return F.add(B, K, E);
170
164
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > > >::Set(llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > >, clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > >::Factory&)
Line
Count
Source
168
45
                         context_type F) {
169
45
      return F.add(B, K, E);
170
45
    }
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData> > >::Set(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData> >, clang::ento::MemRegion const*, (anonymous namespace)::ContainerData, llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData> >::Factory&)
Line
Count
Source
168
488
                         context_type F) {
169
488
      return F.add(B, K, E);
170
488
    }
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison> > >::Set(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison> >, clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison, llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison> >::Factory&)
Line
Count
Source
168
15
                         context_type F) {
169
15
      return F.add(B, K, E);
170
15
    }
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition> > >::Set(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition> >, clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition, llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition> >::Factory&)
Line
Count
Source
168
1.83k
                         context_type F) {
169
1.83k
      return F.add(B, K, E);
170
1.83k
    }
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition> > >::Set(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition> >, clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition, llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition> >::Factory&)
Line
Count
Source
168
152
                         context_type F) {
169
152
      return F.add(B, K, E);
170
152
    }
LocalizationChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState> > >::Set(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState> >, clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState, llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState> >::Factory&)
Line
Count
Source
168
194
                         context_type F) {
169
194
      return F.add(B, K, E);
170
194
    }
MacOSKeychainAPIChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState> > >::Set(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState> >, clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState, llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState> >::Factory&)
Line
Count
Source
168
27
                         context_type F) {
169
27
      return F.add(B, K, E);
170
27
    }
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefState> > >::Set(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefState> >, clang::ento::SymExpr const*, (anonymous namespace)::RefState, llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefState> >::Factory&)
Line
Count
Source
168
2.53k
                         context_type F) {
169
2.53k
      return F.add(B, K, E);
170
2.53k
    }
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair> > >::Set(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair> >, clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair, llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair> >::Factory&)
Line
Count
Source
168
52
                         context_type F) {
169
52
      return F.add(B, K, E);
170
52
    }
MisusedMovedObjectChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::RegionState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::RegionState> > >::Set(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::RegionState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::RegionState> >, clang::ento::MemRegion const*, (anonymous namespace)::RegionState, llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::RegionState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::RegionState> >::Factory&)
Line
Count
Source
168
642
                         context_type F) {
169
642
      return F.add(B, K, E);
170
642
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::mpi::Request> > >::Set(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::mpi::Request> >, clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::mpi::Request> >::Factory&)
Line
Count
Source
168
97
                         context_type F) {
169
97
      return F.add(B, K, E);
170
97
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> > >::Set(llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> >, clang::ento::SymExpr const*, unsigned int, llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> >::Factory&)
Line
Count
Source
168
506
                         context_type F) {
169
506
      return F.add(B, K, E);
170
506
    }
NullabilityChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> > >::Set(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> >, clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> >::Factory&)
Line
Count
Source
168
59
                         context_type F) {
169
59
      return F.add(B, K, E);
170
59
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DefinedSVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DefinedSVal> > >::Set(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DefinedSVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DefinedSVal> >, clang::ento::SymExpr const*, clang::ento::DefinedSVal, llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DefinedSVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DefinedSVal> >::Factory&)
Line
Count
Source
168
19
                         context_type F) {
169
19
      return F.add(B, K, E);
170
19
    }
PointerArithChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind> > >::Set(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind> >, clang::ento::MemRegion const*, (anonymous namespace)::AllocKind, llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind> >::Factory&)
Line
Count
Source
168
5.42k
                         context_type F) {
169
5.42k
      return F.add(B, K, E);
170
5.42k
    }
PthreadLockChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LockState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LockState> > >::Set(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LockState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LockState> >, clang::ento::MemRegion const*, (anonymous namespace)::LockState, llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LockState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LockState> >::Factory&)
Line
Count
Source
168
171
                         context_type F) {
169
171
      return F.add(B, K, E);
170
171
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SymExpr const*> > >::Set(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SymExpr const*> >, clang::ento::MemRegion const*, clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SymExpr const*> >::Factory&)
Line
Count
Source
168
28
                         context_type F) {
169
28
      return F.add(B, K, E);
170
28
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal> > >::Set(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal> >, clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal, llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal> >::Factory&)
Line
Count
Source
168
3.21k
                         context_type F) {
169
3.21k
      return F.add(B, K, E);
170
3.21k
    }
SimpleStreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> > >::Set(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> >, clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> >::Factory&)
Line
Count
Source
168
16
                         context_type F) {
169
16
      return F.add(B, K, E);
170
16
    }
StreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> > >::Set(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> >, clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> >::Factory&)
Line
Count
Source
168
26
                         context_type F) {
169
26
      return F.add(B, K, E);
170
26
    }
VirtualCallChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState> > >::Set(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState> >, clang::ento::MemRegion const*, (anonymous namespace)::ObjectState, llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState> >::Factory&)
Line
Count
Source
168
66
                         context_type F) {
169
66
      return F.add(B, K, E);
170
66
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> > >::Set(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> >, clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> >::Factory&)
Line
Count
Source
168
3.21k
                         context_type F) {
169
3.21k
      return F.add(B, K, E);
170
3.21k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<ConstructedObjectKey, clang::ento::SVal> > >::Set(llvm::ImmutableMap<ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<ConstructedObjectKey, clang::ento::SVal> >, ConstructedObjectKey, clang::ento::SVal, llvm::ImmutableMap<ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<ConstructedObjectKey, clang::ento::SVal> >::Factory&)
Line
Count
Source
168
9.89k
                         context_type F) {
169
9.89k
      return F.add(B, K, E);
170
9.89k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, unsigned int> > >::Set(llvm::ImmutableMap<clang::ento::MemRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, unsigned int> >, clang::ento::MemRegion const*, unsigned int, llvm::ImmutableMap<clang::ento::MemRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, unsigned int> >::Factory&)
Line
Count
Source
168
18
                         context_type F) {
169
18
      return F.add(B, K, E);
170
18
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> > > > >::Set(llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> > > >, clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> >, llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> > > >::Factory&)
Line
Count
Source
168
6
                         context_type F) {
169
6
      return F.add(B, K, E);
170
6
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::RangeSet> > >::Set(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::RangeSet> >, clang::ento::SymExpr const*, clang::ento::RangeSet, llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::RangeSet> >::Factory&)
Line
Count
Source
168
120k
                         context_type F) {
169
120k
      return F.add(B, K, E);
170
120k
    }
171
172
22.8k
    static data_type Remove(data_type B, key_type K, context_type F) {
173
22.8k
      return F.remove(B, K);
174
22.8k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> > >::Remove(llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> >, clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> >::Factory&)
Line
Count
Source
172
357
    static data_type Remove(data_type B, key_type K, context_type F) {
173
357
      return F.remove(B, K);
174
357
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> > >::Remove(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> >, clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> >::Factory&)
Line
Count
Source
172
1.06k
    static data_type Remove(data_type B, key_type K, context_type F) {
173
1.06k
      return F.remove(B, K);
174
1.06k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> > >::Remove(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> >, clang::ento::MemRegion const*, llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> >::Factory&)
Line
Count
Source
172
20
    static data_type Remove(data_type B, key_type K, context_type F) {
173
20
      return F.remove(B, K);
174
20
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > > >::Remove(llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > >, clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > >::Factory&)
Line
Count
Source
172
125
    static data_type Remove(data_type B, key_type K, context_type F) {
173
125
      return F.remove(B, K);
174
125
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> > >::Remove(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> >, clang::ento::MemRegion const*, llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> >::Factory&)
Line
Count
Source
172
2.06k
    static data_type Remove(data_type B, key_type K, context_type F) {
173
2.06k
      return F.remove(B, K);
174
2.06k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*> > >::Remove(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*> >, clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*> >::Factory&)
Line
Count
Source
172
102
    static data_type Remove(data_type B, key_type K, context_type F) {
173
102
      return F.remove(B, K);
174
102
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::StringLiteral const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::StringLiteral const*> > >::Remove(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::StringLiteral const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::StringLiteral const*> >, clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SymExpr const*, clang::StringLiteral const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::StringLiteral const*> >::Factory&)
Line
Count
Source
172
164
    static data_type Remove(data_type B, key_type K, context_type F) {
173
164
      return F.remove(B, K);
174
164
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > > >::Remove(llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > >, clang::ento::MemRegion const*, llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > >::Factory&)
Line
Count
Source
172
41
    static data_type Remove(data_type B, key_type K, context_type F) {
173
41
      return F.remove(B, K);
174
41
    }
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition> > >::Remove(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition> >, clang::ento::MemRegion const*, llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition> >::Factory&)
Line
Count
Source
172
1.10k
    static data_type Remove(data_type B, key_type K, context_type F) {
173
1.10k
      return F.remove(B, K);
174
1.10k
    }
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition> > >::Remove(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition> >, clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition> >::Factory&)
Line
Count
Source
172
146
    static data_type Remove(data_type B, key_type K, context_type F) {
173
146
      return F.remove(B, K);
174
146
    }
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData> > >::Remove(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData> >, clang::ento::MemRegion const*, llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData> >::Factory&)
Line
Count
Source
172
260
    static data_type Remove(data_type B, key_type K, context_type F) {
173
260
      return F.remove(B, K);
174
260
    }
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison> > >::Remove(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison> >, clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison> >::Factory&)
Line
Count
Source
172
26
    static data_type Remove(data_type B, key_type K, context_type F) {
173
26
      return F.remove(B, K);
174
26
    }
MacOSKeychainAPIChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState> > >::Remove(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState> >, clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState> >::Factory&)
Line
Count
Source
172
53
    static data_type Remove(data_type B, key_type K, context_type F) {
173
53
      return F.remove(B, K);
174
53
    }
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair> > >::Remove(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair> >, clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair> >::Factory&)
Line
Count
Source
172
80
    static data_type Remove(data_type B, key_type K, context_type F) {
173
80
      return F.remove(B, K);
174
80
    }
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefState> > >::Remove(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefState> >, clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefState> >::Factory&)
Line
Count
Source
172
1.04k
    static data_type Remove(data_type B, key_type K, context_type F) {
173
1.04k
      return F.remove(B, K);
174
1.04k
    }
MisusedMovedObjectChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::RegionState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::RegionState> > >::Remove(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::RegionState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::RegionState> >, clang::ento::MemRegion const*, llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::RegionState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::RegionState> >::Factory&)
Line
Count
Source
172
536
    static data_type Remove(data_type B, key_type K, context_type F) {
173
536
      return F.remove(B, K);
174
536
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::mpi::Request> > >::Remove(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::mpi::Request> >, clang::ento::MemRegion const*, llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::mpi::Request> >::Factory&)
Line
Count
Source
172
56
    static data_type Remove(data_type B, key_type K, context_type F) {
173
56
      return F.remove(B, K);
174
56
    }
NullabilityChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> > >::Remove(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> >, clang::ento::MemRegion const*, llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> >::Factory&)
Line
Count
Source
172
101
    static data_type Remove(data_type B, key_type K, context_type F) {
173
101
      return F.remove(B, K);
174
101
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DefinedSVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DefinedSVal> > >::Remove(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DefinedSVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DefinedSVal> >, clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DefinedSVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DefinedSVal> >::Factory&)
Line
Count
Source
172
191
    static data_type Remove(data_type B, key_type K, context_type F) {
173
191
      return F.remove(B, K);
174
191
    }
Unexecuted instantiation: clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> > >::Remove(llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> >, clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> >::Factory&)
PthreadLockChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LockState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LockState> > >::Remove(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LockState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LockState> >, clang::ento::MemRegion const*, llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LockState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LockState> >::Factory&)
Line
Count
Source
172
4
    static data_type Remove(data_type B, key_type K, context_type F) {
173
4
      return F.remove(B, K);
174
4
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SymExpr const*> > >::Remove(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SymExpr const*> >, clang::ento::MemRegion const*, llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SymExpr const*> >::Factory&)
Line
Count
Source
172
38
    static data_type Remove(data_type B, key_type K, context_type F) {
173
38
      return F.remove(B, K);
174
38
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal> > >::Remove(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal> >, clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal> >::Factory&)
Line
Count
Source
172
5.01k
    static data_type Remove(data_type B, key_type K, context_type F) {
173
5.01k
      return F.remove(B, K);
174
5.01k
    }
SimpleStreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> > >::Remove(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> >, clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> >::Factory&)
Line
Count
Source
172
79
    static data_type Remove(data_type B, key_type K, context_type F) {
173
79
      return F.remove(B, K);
174
79
    }
VirtualCallChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState> > >::Remove(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState> >, clang::ento::MemRegion const*, llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState> >::Factory&)
Line
Count
Source
172
68
    static data_type Remove(data_type B, key_type K, context_type F) {
173
68
      return F.remove(B, K);
174
68
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<ConstructedObjectKey, clang::ento::SVal> > >::Remove(llvm::ImmutableMap<ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<ConstructedObjectKey, clang::ento::SVal> >, ConstructedObjectKey, llvm::ImmutableMap<ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<ConstructedObjectKey, clang::ento::SVal> >::Factory&)
Line
Count
Source
172
10.1k
    static data_type Remove(data_type B, key_type K, context_type F) {
173
10.1k
      return F.remove(B, K);
174
10.1k
    }
175
176
610
    static bool Contains(data_type B, key_type K) {
177
610
      return B.contains(K);
178
610
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<ConstructedObjectKey, clang::ento::SVal> > >::Contains(llvm::ImmutableMap<ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<ConstructedObjectKey, clang::ento::SVal> >, ConstructedObjectKey)
Line
Count
Source
176
598
    static bool Contains(data_type B, key_type K) {
177
598
      return B.contains(K);
178
598
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> > >::Contains(llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> >, clang::ento::SymExpr const*)
Line
Count
Source
176
12
    static bool Contains(data_type B, key_type K) {
177
12
      return B.contains(K);
178
12
    }
179
180
498k
    static context_type MakeContext(void *p) {
181
498k
      return *((typename data_type::Factory *) p);
182
498k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> > >::MakeContext(void*)
Line
Count
Source
180
449
    static context_type MakeContext(void *p) {
181
449
      return *((typename data_type::Factory *) p);
182
449
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> > >::MakeContext(void*)
Line
Count
Source
180
1.13k
    static context_type MakeContext(void *p) {
181
1.13k
      return *((typename data_type::Factory *) p);
182
1.13k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> > >::MakeContext(void*)
Line
Count
Source
180
2.19k
    static context_type MakeContext(void *p) {
181
2.19k
      return *((typename data_type::Factory *) p);
182
2.19k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > > >::MakeContext(void*)
Line
Count
Source
180
314
    static context_type MakeContext(void *p) {
181
314
      return *((typename data_type::Factory *) p);
182
314
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> > >::MakeContext(void*)
Line
Count
Source
180
5.28k
    static context_type MakeContext(void *p) {
181
5.28k
      return *((typename data_type::Factory *) p);
182
5.28k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*> > >::MakeContext(void*)
Line
Count
Source
180
208
    static context_type MakeContext(void *p) {
181
208
      return *((typename data_type::Factory *) p);
182
208
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::StringLiteral const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::StringLiteral const*> > >::MakeContext(void*)
Line
Count
Source
180
328
    static context_type MakeContext(void *p) {
181
328
      return *((typename data_type::Factory *) p);
182
328
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > > >::MakeContext(void*)
Line
Count
Source
180
86
    static context_type MakeContext(void *p) {
181
86
      return *((typename data_type::Factory *) p);
182
86
    }
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition> > >::MakeContext(void*)
Line
Count
Source
180
3.16k
    static context_type MakeContext(void *p) {
181
3.16k
      return *((typename data_type::Factory *) p);
182
3.16k
    }
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition> > >::MakeContext(void*)
Line
Count
Source
180
526
    static context_type MakeContext(void *p) {
181
526
      return *((typename data_type::Factory *) p);
182
526
    }
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData> > >::MakeContext(void*)
Line
Count
Source
180
748
    static context_type MakeContext(void *p) {
181
748
      return *((typename data_type::Factory *) p);
182
748
    }
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison> > >::MakeContext(void*)
Line
Count
Source
180
41
    static context_type MakeContext(void *p) {
181
41
      return *((typename data_type::Factory *) p);
182
41
    }
LocalizationChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState> > >::MakeContext(void*)
Line
Count
Source
180
194
    static context_type MakeContext(void *p) {
181
194
      return *((typename data_type::Factory *) p);
182
194
    }
MacOSKeychainAPIChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState> > >::MakeContext(void*)
Line
Count
Source
180
80
    static context_type MakeContext(void *p) {
181
80
      return *((typename data_type::Factory *) p);
182
80
    }
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefState> > >::MakeContext(void*)
Line
Count
Source
180
20.2k
    static context_type MakeContext(void *p) {
181
20.2k
      return *((typename data_type::Factory *) p);
182
20.2k
    }
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair> > >::MakeContext(void*)
Line
Count
Source
180
132
    static context_type MakeContext(void *p) {
181
132
      return *((typename data_type::Factory *) p);
182
132
    }
MisusedMovedObjectChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::RegionState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::RegionState> > >::MakeContext(void*)
Line
Count
Source
180
1.17k
    static context_type MakeContext(void *p) {
181
1.17k
      return *((typename data_type::Factory *) p);
182
1.17k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::mpi::Request> > >::MakeContext(void*)
Line
Count
Source
180
153
    static context_type MakeContext(void *p) {
181
153
      return *((typename data_type::Factory *) p);
182
153
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> > >::MakeContext(void*)
Line
Count
Source
180
506
    static context_type MakeContext(void *p) {
181
506
      return *((typename data_type::Factory *) p);
182
506
    }
NullabilityChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> > >::MakeContext(void*)
Line
Count
Source
180
160
    static context_type MakeContext(void *p) {
181
160
      return *((typename data_type::Factory *) p);
182
160
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DefinedSVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DefinedSVal> > >::MakeContext(void*)
Line
Count
Source
180
210
    static context_type MakeContext(void *p) {
181
210
      return *((typename data_type::Factory *) p);
182
210
    }
PointerArithChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind> > >::MakeContext(void*)
Line
Count
Source
180
5.42k
    static context_type MakeContext(void *p) {
181
5.42k
      return *((typename data_type::Factory *) p);
182
5.42k
    }
PthreadLockChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LockState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LockState> > >::MakeContext(void*)
Line
Count
Source
180
175
    static context_type MakeContext(void *p) {
181
175
      return *((typename data_type::Factory *) p);
182
175
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SymExpr const*> > >::MakeContext(void*)
Line
Count
Source
180
66
    static context_type MakeContext(void *p) {
181
66
      return *((typename data_type::Factory *) p);
182
66
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal> > >::MakeContext(void*)
Line
Count
Source
180
13.8k
    static context_type MakeContext(void *p) {
181
13.8k
      return *((typename data_type::Factory *) p);
182
13.8k
    }
SimpleStreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> > >::MakeContext(void*)
Line
Count
Source
180
95
    static context_type MakeContext(void *p) {
181
95
      return *((typename data_type::Factory *) p);
182
95
    }
StreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> > >::MakeContext(void*)
Line
Count
Source
180
26
    static context_type MakeContext(void *p) {
181
26
      return *((typename data_type::Factory *) p);
182
26
    }
VirtualCallChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState> > >::MakeContext(void*)
Line
Count
Source
180
134
    static context_type MakeContext(void *p) {
181
134
      return *((typename data_type::Factory *) p);
182
134
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::RangeSet> > >::MakeContext(void*)
Line
Count
Source
180
421k
    static context_type MakeContext(void *p) {
181
421k
      return *((typename data_type::Factory *) p);
182
421k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<ConstructedObjectKey, clang::ento::SVal> > >::MakeContext(void*)
Line
Count
Source
180
20.0k
    static context_type MakeContext(void *p) {
181
20.0k
      return *((typename data_type::Factory *) p);
182
20.0k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, unsigned int> > >::MakeContext(void*)
Line
Count
Source
180
18
    static context_type MakeContext(void *p) {
181
18
      return *((typename data_type::Factory *) p);
182
18
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> > > > >::MakeContext(void*)
Line
Count
Source
180
6
    static context_type MakeContext(void *p) {
181
6
      return *((typename data_type::Factory *) p);
182
6
    }
183
184
18.7k
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
18.7k
      return new typename data_type::Factory(Alloc);
186
18.7k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
184
57
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
57
      return new typename data_type::Factory(Alloc);
186
57
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
184
582
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
582
      return new typename data_type::Factory(Alloc);
186
582
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
184
399
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
399
      return new typename data_type::Factory(Alloc);
186
399
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
184
65
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
65
      return new typename data_type::Factory(Alloc);
186
65
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
184
1.16k
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
1.16k
      return new typename data_type::Factory(Alloc);
186
1.16k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
184
78
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
78
      return new typename data_type::Factory(Alloc);
186
78
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::StringLiteral const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::StringLiteral const*> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
184
109
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
109
      return new typename data_type::Factory(Alloc);
186
109
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
184
31
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
31
      return new typename data_type::Factory(Alloc);
186
31
    }
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
184
240
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
240
      return new typename data_type::Factory(Alloc);
186
240
    }
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
184
194
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
194
      return new typename data_type::Factory(Alloc);
186
194
    }
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
184
240
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
240
      return new typename data_type::Factory(Alloc);
186
240
    }
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
184
11
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
11
      return new typename data_type::Factory(Alloc);
186
11
    }
LocalizationChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
184
35
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
35
      return new typename data_type::Factory(Alloc);
186
35
    }
MacOSKeychainAPIChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
184
23
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
23
      return new typename data_type::Factory(Alloc);
186
23
    }
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefState> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
184
2.31k
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
2.31k
      return new typename data_type::Factory(Alloc);
186
2.31k
    }
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
184
31
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
31
      return new typename data_type::Factory(Alloc);
186
31
    }
MisusedMovedObjectChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::RegionState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::RegionState> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
184
56
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
56
      return new typename data_type::Factory(Alloc);
186
56
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::mpi::Request> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
184
34
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
34
      return new typename data_type::Factory(Alloc);
186
34
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
184
130
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
130
      return new typename data_type::Factory(Alloc);
186
130
    }
NullabilityChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
184
37
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
37
      return new typename data_type::Factory(Alloc);
186
37
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DefinedSVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DefinedSVal> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
184
29
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
29
      return new typename data_type::Factory(Alloc);
186
29
    }
PointerArithChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
184
323
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
323
      return new typename data_type::Factory(Alloc);
186
323
    }
PthreadLockChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LockState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LockState> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
184
59
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
59
      return new typename data_type::Factory(Alloc);
186
59
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SymExpr const*> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
184
22
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
22
      return new typename data_type::Factory(Alloc);
186
22
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
184
800
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
800
      return new typename data_type::Factory(Alloc);
186
800
    }
SimpleStreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
184
21
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
21
      return new typename data_type::Factory(Alloc);
186
21
    }
StreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
184
9
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
9
      return new typename data_type::Factory(Alloc);
186
9
    }
VirtualCallChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
184
13
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
13
      return new typename data_type::Factory(Alloc);
186
13
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::RangeSet> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
184
9.66k
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
9.66k
      return new typename data_type::Factory(Alloc);
186
9.66k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<ConstructedObjectKey, clang::ento::SVal> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
184
2.02k
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
2.02k
      return new typename data_type::Factory(Alloc);
186
2.02k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, unsigned int> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
184
9
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
9
      return new typename data_type::Factory(Alloc);
186
9
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> > > > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
184
4
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
4
      return new typename data_type::Factory(Alloc);
186
4
    }
187
188
18.7k
    static void DeleteContext(void *Ctx) {
189
18.7k
      delete (typename data_type::Factory *) Ctx;
190
18.7k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> > >::DeleteContext(void*)
Line
Count
Source
188
57
    static void DeleteContext(void *Ctx) {
189
57
      delete (typename data_type::Factory *) Ctx;
190
57
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> > >::DeleteContext(void*)
Line
Count
Source
188
582
    static void DeleteContext(void *Ctx) {
189
582
      delete (typename data_type::Factory *) Ctx;
190
582
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> > >::DeleteContext(void*)
Line
Count
Source
188
399
    static void DeleteContext(void *Ctx) {
189
399
      delete (typename data_type::Factory *) Ctx;
190
399
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > > >::DeleteContext(void*)
Line
Count
Source
188
65
    static void DeleteContext(void *Ctx) {
189
65
      delete (typename data_type::Factory *) Ctx;
190
65
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> > >::DeleteContext(void*)
Line
Count
Source
188
1.16k
    static void DeleteContext(void *Ctx) {
189
1.16k
      delete (typename data_type::Factory *) Ctx;
190
1.16k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*> > >::DeleteContext(void*)
Line
Count
Source
188
78
    static void DeleteContext(void *Ctx) {
189
78
      delete (typename data_type::Factory *) Ctx;
190
78
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::StringLiteral const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::StringLiteral const*> > >::DeleteContext(void*)
Line
Count
Source
188
109
    static void DeleteContext(void *Ctx) {
189
109
      delete (typename data_type::Factory *) Ctx;
190
109
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > > >::DeleteContext(void*)
Line
Count
Source
188
31
    static void DeleteContext(void *Ctx) {
189
31
      delete (typename data_type::Factory *) Ctx;
190
31
    }
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition> > >::DeleteContext(void*)
Line
Count
Source
188
240
    static void DeleteContext(void *Ctx) {
189
240
      delete (typename data_type::Factory *) Ctx;
190
240
    }
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition> > >::DeleteContext(void*)
Line
Count
Source
188
194
    static void DeleteContext(void *Ctx) {
189
194
      delete (typename data_type::Factory *) Ctx;
190
194
    }
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData> > >::DeleteContext(void*)
Line
Count
Source
188
240
    static void DeleteContext(void *Ctx) {
189
240
      delete (typename data_type::Factory *) Ctx;
190
240
    }
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison> > >::DeleteContext(void*)
Line
Count
Source
188
11
    static void DeleteContext(void *Ctx) {
189
11
      delete (typename data_type::Factory *) Ctx;
190
11
    }
LocalizationChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState> > >::DeleteContext(void*)
Line
Count
Source
188
35
    static void DeleteContext(void *Ctx) {
189
35
      delete (typename data_type::Factory *) Ctx;
190
35
    }
MacOSKeychainAPIChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState> > >::DeleteContext(void*)
Line
Count
Source
188
23
    static void DeleteContext(void *Ctx) {
189
23
      delete (typename data_type::Factory *) Ctx;
190
23
    }
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefState> > >::DeleteContext(void*)
Line
Count
Source
188
2.31k
    static void DeleteContext(void *Ctx) {
189
2.31k
      delete (typename data_type::Factory *) Ctx;
190
2.31k
    }
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair> > >::DeleteContext(void*)
Line
Count
Source
188
31
    static void DeleteContext(void *Ctx) {
189
31
      delete (typename data_type::Factory *) Ctx;
190
31
    }
MisusedMovedObjectChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::RegionState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::RegionState> > >::DeleteContext(void*)
Line
Count
Source
188
56
    static void DeleteContext(void *Ctx) {
189
56
      delete (typename data_type::Factory *) Ctx;
190
56
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::mpi::Request> > >::DeleteContext(void*)
Line
Count
Source
188
34
    static void DeleteContext(void *Ctx) {
189
34
      delete (typename data_type::Factory *) Ctx;
190
34
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> > >::DeleteContext(void*)
Line
Count
Source
188
130
    static void DeleteContext(void *Ctx) {
189
130
      delete (typename data_type::Factory *) Ctx;
190
130
    }
NullabilityChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> > >::DeleteContext(void*)
Line
Count
Source
188
37
    static void DeleteContext(void *Ctx) {
189
37
      delete (typename data_type::Factory *) Ctx;
190
37
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DefinedSVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DefinedSVal> > >::DeleteContext(void*)
Line
Count
Source
188
29
    static void DeleteContext(void *Ctx) {
189
29
      delete (typename data_type::Factory *) Ctx;
190
29
    }
PointerArithChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind> > >::DeleteContext(void*)
Line
Count
Source
188
323
    static void DeleteContext(void *Ctx) {
189
323
      delete (typename data_type::Factory *) Ctx;
190
323
    }
PthreadLockChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LockState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LockState> > >::DeleteContext(void*)
Line
Count
Source
188
59
    static void DeleteContext(void *Ctx) {
189
59
      delete (typename data_type::Factory *) Ctx;
190
59
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SymExpr const*> > >::DeleteContext(void*)
Line
Count
Source
188
22
    static void DeleteContext(void *Ctx) {
189
22
      delete (typename data_type::Factory *) Ctx;
190
22
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal> > >::DeleteContext(void*)
Line
Count
Source
188
800
    static void DeleteContext(void *Ctx) {
189
800
      delete (typename data_type::Factory *) Ctx;
190
800
    }
SimpleStreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> > >::DeleteContext(void*)
Line
Count
Source
188
21
    static void DeleteContext(void *Ctx) {
189
21
      delete (typename data_type::Factory *) Ctx;
190
21
    }
StreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> > >::DeleteContext(void*)
Line
Count
Source
188
9
    static void DeleteContext(void *Ctx) {
189
9
      delete (typename data_type::Factory *) Ctx;
190
9
    }
VirtualCallChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState> > >::DeleteContext(void*)
Line
Count
Source
188
13
    static void DeleteContext(void *Ctx) {
189
13
      delete (typename data_type::Factory *) Ctx;
190
13
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::RangeSet> > >::DeleteContext(void*)
Line
Count
Source
188
9.66k
    static void DeleteContext(void *Ctx) {
189
9.66k
      delete (typename data_type::Factory *) Ctx;
190
9.66k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<ConstructedObjectKey, clang::ento::SVal> > >::DeleteContext(void*)
Line
Count
Source
188
2.02k
    static void DeleteContext(void *Ctx) {
189
2.02k
      delete (typename data_type::Factory *) Ctx;
190
2.02k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, unsigned int> > >::DeleteContext(void*)
Line
Count
Source
188
9
    static void DeleteContext(void *Ctx) {
189
9
      delete (typename data_type::Factory *) Ctx;
190
9
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> > > > >::DeleteContext(void*)
Line
Count
Source
188
4
    static void DeleteContext(void *Ctx) {
189
4
      delete (typename data_type::Factory *) Ctx;
190
4
    }
191
  };
192
193
  // Partial-specialization for ImmutableSet.
194
  template <typename Key, typename Info>
195
  struct ProgramStatePartialTrait<llvm::ImmutableSet<Key, Info>> {
196
    using data_type = llvm::ImmutableSet<Key, Info>;
197
    using context_type = typename data_type::Factory &;
198
    using key_type = Key;
199
200
28.8k
    static data_type MakeData(void *const *p) {
201
28.8k
      return p ? 
data_type((typename data_type::TreeTy *) *p)2.82k
202
28.8k
               : 
data_type(nullptr)26.0k
;
203
28.8k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > >::MakeData(void* const*)
Line
Count
Source
200
20.8k
    static data_type MakeData(void *const *p) {
201
20.8k
      return p ? 
data_type((typename data_type::TreeTy *) *p)261
202
20.8k
               : 
data_type(nullptr)20.5k
;
203
20.8k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> > >::MakeData(void* const*)
Line
Count
Source
200
828
    static data_type MakeData(void *const *p) {
201
828
      return p ? 
data_type((typename data_type::TreeTy *) *p)95
202
828
               : 
data_type(nullptr)733
;
203
828
    }
TestAfterDivZeroChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<(anonymous namespace)::ZeroState, llvm::ImutContainerInfo<(anonymous namespace)::ZeroState> > >::MakeData(void* const*)
Line
Count
Source
200
1.89k
    static data_type MakeData(void *const *p) {
201
1.89k
      return p ? 
data_type((typename data_type::TreeTy *) *p)114
202
1.89k
               : 
data_type(nullptr)1.77k
;
203
1.89k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> > >::MakeData(void* const*)
Line
Count
Source
200
4.92k
    static data_type MakeData(void *const *p) {
201
4.92k
      return p ? 
data_type((typename data_type::TreeTy *) *p)2.31k
202
4.92k
               : 
data_type(nullptr)2.61k
;
203
4.92k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> > >::MakeData(void* const*)
Line
Count
Source
200
383
    static data_type MakeData(void *const *p) {
201
383
      return p ? 
data_type((typename data_type::TreeTy *) *p)41
202
383
               : 
data_type(nullptr)342
;
203
383
    }
204
205
631
    static void *MakeVoidPtr(data_type B) {
206
631
      return B.getRoot();
207
631
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > >::MakeVoidPtr(llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >)
Line
Count
Source
205
64
    static void *MakeVoidPtr(data_type B) {
206
64
      return B.getRoot();
207
64
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> > >::MakeVoidPtr(llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> >)
Line
Count
Source
205
95
    static void *MakeVoidPtr(data_type B) {
206
95
      return B.getRoot();
207
95
    }
TestAfterDivZeroChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<(anonymous namespace)::ZeroState, llvm::ImutContainerInfo<(anonymous namespace)::ZeroState> > >::MakeVoidPtr(llvm::ImmutableSet<(anonymous namespace)::ZeroState, llvm::ImutContainerInfo<(anonymous namespace)::ZeroState> >)
Line
Count
Source
205
114
    static void *MakeVoidPtr(data_type B) {
206
114
      return B.getRoot();
207
114
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> > >::MakeVoidPtr(llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> >)
Line
Count
Source
205
169
    static void *MakeVoidPtr(data_type B) {
206
169
      return B.getRoot();
207
169
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> > >::MakeVoidPtr(llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> >)
Line
Count
Source
205
189
    static void *MakeVoidPtr(data_type B) {
206
189
      return B.getRoot();
207
189
    }
208
209
494
    static data_type Add(data_type B, key_type K, context_type F) {
210
494
      return F.add(B, K);
211
494
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > >::Add(llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >::Factory&)
Line
Count
Source
209
57
    static data_type Add(data_type B, key_type K, context_type F) {
210
57
      return F.add(B, K);
211
57
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> > >::Add(llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> >, unsigned int, llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> >::Factory&)
Line
Count
Source
209
95
    static data_type Add(data_type B, key_type K, context_type F) {
210
95
      return F.add(B, K);
211
95
    }
TestAfterDivZeroChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<(anonymous namespace)::ZeroState, llvm::ImutContainerInfo<(anonymous namespace)::ZeroState> > >::Add(llvm::ImmutableSet<(anonymous namespace)::ZeroState, llvm::ImutContainerInfo<(anonymous namespace)::ZeroState> >, (anonymous namespace)::ZeroState, llvm::ImmutableSet<(anonymous namespace)::ZeroState, llvm::ImutContainerInfo<(anonymous namespace)::ZeroState> >::Factory&)
Line
Count
Source
209
68
    static data_type Add(data_type B, key_type K, context_type F) {
210
68
      return F.add(B, K);
211
68
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> > >::Add(llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> >, clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> >::Factory&)
Line
Count
Source
209
85
    static data_type Add(data_type B, key_type K, context_type F) {
210
85
      return F.add(B, K);
211
85
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> > >::Add(llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> >, clang::VarDecl const*, llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> >::Factory&)
Line
Count
Source
209
189
    static data_type Add(data_type B, key_type K, context_type F) {
210
189
      return F.add(B, K);
211
189
    }
212
213
91
    static data_type Remove(data_type B, key_type K, context_type F) {
214
91
      return F.remove(B, K);
215
91
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > >::Remove(llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >::Factory&)
Line
Count
Source
213
7
    static data_type Remove(data_type B, key_type K, context_type F) {
214
7
      return F.remove(B, K);
215
7
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> > >::Remove(llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> >, clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> >::Factory&)
Line
Count
Source
213
84
    static data_type Remove(data_type B, key_type K, context_type F) {
214
84
      return F.remove(B, K);
215
84
    }
216
217
18.7k
    static bool Contains(data_type B, key_type K) {
218
18.7k
      return B.contains(K);
219
18.7k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > >::Contains(llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, clang::ento::SymExpr const*)
Line
Count
Source
217
13.6k
    static bool Contains(data_type B, key_type K) {
218
13.6k
      return B.contains(K);
219
13.6k
    }
TestAfterDivZeroChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<(anonymous namespace)::ZeroState, llvm::ImutContainerInfo<(anonymous namespace)::ZeroState> > >::Contains(llvm::ImmutableSet<(anonymous namespace)::ZeroState, llvm::ImutContainerInfo<(anonymous namespace)::ZeroState> >, (anonymous namespace)::ZeroState)
Line
Count
Source
217
376
    static bool Contains(data_type B, key_type K) {
218
376
      return B.contains(K);
219
376
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> > >::Contains(llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> >, clang::ento::MemRegion const*)
Line
Count
Source
217
4.61k
    static bool Contains(data_type B, key_type K) {
218
4.61k
      return B.contains(K);
219
4.61k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> > >::Contains(llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> >, clang::VarDecl const*)
Line
Count
Source
217
194
    static bool Contains(data_type B, key_type K) {
218
194
      return B.contains(K);
219
194
    }
220
221
12.6k
    static context_type MakeContext(void *p) {
222
12.6k
      return *((typename data_type::Factory *) p);
223
12.6k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > >::MakeContext(void*)
Line
Count
Source
221
12.0k
    static context_type MakeContext(void *p) {
222
12.0k
      return *((typename data_type::Factory *) p);
223
12.0k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> > >::MakeContext(void*)
Line
Count
Source
221
95
    static context_type MakeContext(void *p) {
222
95
      return *((typename data_type::Factory *) p);
223
95
    }
TestAfterDivZeroChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<(anonymous namespace)::ZeroState, llvm::ImutContainerInfo<(anonymous namespace)::ZeroState> > >::MakeContext(void*)
Line
Count
Source
221
114
    static context_type MakeContext(void *p) {
222
114
      return *((typename data_type::Factory *) p);
223
114
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> > >::MakeContext(void*)
Line
Count
Source
221
169
    static context_type MakeContext(void *p) {
222
169
      return *((typename data_type::Factory *) p);
223
169
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> > >::MakeContext(void*)
Line
Count
Source
221
189
    static context_type MakeContext(void *p) {
222
189
      return *((typename data_type::Factory *) p);
223
189
    }
224
225
899
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
226
899
      return new typename data_type::Factory(Alloc);
227
899
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
225
569
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
226
569
      return new typename data_type::Factory(Alloc);
227
569
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
225
29
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
226
29
      return new typename data_type::Factory(Alloc);
227
29
    }
TestAfterDivZeroChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<(anonymous namespace)::ZeroState, llvm::ImutContainerInfo<(anonymous namespace)::ZeroState> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
225
63
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
226
63
      return new typename data_type::Factory(Alloc);
227
63
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
225
69
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
226
69
      return new typename data_type::Factory(Alloc);
227
69
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
225
169
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
226
169
      return new typename data_type::Factory(Alloc);
227
169
    }
228
229
899
    static void DeleteContext(void *Ctx) {
230
899
      delete (typename data_type::Factory *) Ctx;
231
899
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > >::DeleteContext(void*)
Line
Count
Source
229
569
    static void DeleteContext(void *Ctx) {
230
569
      delete (typename data_type::Factory *) Ctx;
231
569
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> > >::DeleteContext(void*)
Line
Count
Source
229
29
    static void DeleteContext(void *Ctx) {
230
29
      delete (typename data_type::Factory *) Ctx;
231
29
    }
TestAfterDivZeroChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<(anonymous namespace)::ZeroState, llvm::ImutContainerInfo<(anonymous namespace)::ZeroState> > >::DeleteContext(void*)
Line
Count
Source
229
63
    static void DeleteContext(void *Ctx) {
230
63
      delete (typename data_type::Factory *) Ctx;
231
63
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> > >::DeleteContext(void*)
Line
Count
Source
229
69
    static void DeleteContext(void *Ctx) {
230
69
      delete (typename data_type::Factory *) Ctx;
231
69
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> > >::DeleteContext(void*)
Line
Count
Source
229
169
    static void DeleteContext(void *Ctx) {
230
169
      delete (typename data_type::Factory *) Ctx;
231
169
    }
232
  };
233
234
  // Partial-specialization for ImmutableList.
235
  template <typename T>
236
  struct ProgramStatePartialTrait<llvm::ImmutableList<T>> {
237
    using data_type = llvm::ImmutableList<T>;
238
    using key_type = T;
239
    using context_type = typename data_type::Factory &;
240
241
241
    static data_type Add(data_type L, key_type K, context_type F) {
242
241
      return F.add(K, L);
243
241
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<clang::ento::MemRegion const*> >::Add(llvm::ImmutableList<clang::ento::MemRegion const*>, clang::ento::MemRegion const*, llvm::ImmutableListFactory<clang::ento::MemRegion const*>&)
Line
Count
Source
241
53
    static data_type Add(data_type L, key_type K, context_type F) {
242
53
      return F.add(K, L);
243
53
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<LoopState> >::Add(llvm::ImmutableList<LoopState>, LoopState, llvm::ImmutableListFactory<LoopState>&)
Line
Count
Source
241
188
    static data_type Add(data_type L, key_type K, context_type F) {
242
188
      return F.add(K, L);
243
188
    }
244
245
    static bool Contains(data_type L, key_type K) {
246
      return L.contains(K);
247
    }
248
249
7.87k
    static data_type MakeData(void *const *p) {
250
7.87k
      return p ? 
data_type((const llvm::ImmutableListImpl<T> *) *p)7.56k
251
7.87k
               : 
data_type(nullptr)313
;
252
7.87k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<clang::ento::MemRegion const*> >::MakeData(void* const*)
Line
Count
Source
249
99
    static data_type MakeData(void *const *p) {
250
99
      return p ? 
data_type((const llvm::ImmutableListImpl<T> *) *p)48
251
99
               : 
data_type(nullptr)51
;
252
99
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<LoopState> >::MakeData(void* const*)
Line
Count
Source
249
7.77k
    static data_type MakeData(void *const *p) {
250
7.77k
      return p ? 
data_type((const llvm::ImmutableListImpl<T> *) *p)7.51k
251
7.77k
               : 
data_type(nullptr)262
;
252
7.77k
    }
253
254
435
    static void *MakeVoidPtr(data_type D) {
255
435
      return const_cast<llvm::ImmutableListImpl<T> *>(D.getInternalPointer());
256
435
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<clang::ento::MemRegion const*> >::MakeVoidPtr(llvm::ImmutableList<clang::ento::MemRegion const*>)
Line
Count
Source
254
82
    static void *MakeVoidPtr(data_type D) {
255
82
      return const_cast<llvm::ImmutableListImpl<T> *>(D.getInternalPointer());
256
82
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<LoopState> >::MakeVoidPtr(llvm::ImmutableList<LoopState>)
Line
Count
Source
254
353
    static void *MakeVoidPtr(data_type D) {
255
353
      return const_cast<llvm::ImmutableListImpl<T> *>(D.getInternalPointer());
256
353
    }
257
258
241
    static context_type MakeContext(void *p) {
259
241
      return *((typename data_type::Factory *) p);
260
241
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<clang::ento::MemRegion const*> >::MakeContext(void*)
Line
Count
Source
258
53
    static context_type MakeContext(void *p) {
259
53
      return *((typename data_type::Factory *) p);
260
53
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<LoopState> >::MakeContext(void*)
Line
Count
Source
258
188
    static context_type MakeContext(void *p) {
259
188
      return *((typename data_type::Factory *) p);
260
188
    }
261
262
123
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
263
123
      return new typename data_type::Factory(Alloc);
264
123
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<clang::ento::MemRegion const*> >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
262
37
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
263
37
      return new typename data_type::Factory(Alloc);
264
37
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<LoopState> >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
262
86
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
263
86
      return new typename data_type::Factory(Alloc);
264
86
    }
265
266
123
    static void DeleteContext(void *Ctx) {
267
123
      delete (typename data_type::Factory *) Ctx;
268
123
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<clang::ento::MemRegion const*> >::DeleteContext(void*)
Line
Count
Source
266
37
    static void DeleteContext(void *Ctx) {
267
37
      delete (typename data_type::Factory *) Ctx;
268
37
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<LoopState> >::DeleteContext(void*)
Line
Count
Source
266
86
    static void DeleteContext(void *Ctx) {
267
86
      delete (typename data_type::Factory *) Ctx;
268
86
    }
269
  };
270
271
  // Partial specialization for bool.
272
  template <> struct ProgramStatePartialTrait<bool> {
273
    using data_type = bool;
274
275
1.87k
    static data_type MakeData(void *const *p) {
276
1.87k
      return p ? 
(data_type) (uintptr_t) *p329
277
1.87k
               : 
data_type()1.54k
;
278
1.87k
    }
279
280
179
    static void *MakeVoidPtr(data_type d) {
281
179
      return (void *) (uintptr_t) d;
282
179
    }
283
  };
284
285
  // Partial specialization for unsigned.
286
  template <> struct ProgramStatePartialTrait<unsigned> {
287
    using data_type = unsigned;
288
289
197
    static data_type MakeData(void *const *p) {
290
197
      return p ? 
(data_type) (uintptr_t) *p83
291
197
               : 
data_type()114
;
292
197
    }
293
294
49
    static void *MakeVoidPtr(data_type d) {
295
49
      return (void *) (uintptr_t) d;
296
49
    }
297
  };
298
299
  // Partial specialization for void*.
300
  template <> struct ProgramStatePartialTrait<void *> {
301
    using data_type = void *;
302
303
    static data_type MakeData(void *const *p) {
304
      return p ? *p
305
               : data_type();
306
    }
307
308
    static void *MakeVoidPtr(data_type d) {
309
      return d;
310
    }
311
  };
312
313
  // Partial specialization for const void *.
314
  template <> struct ProgramStatePartialTrait<const void *> {
315
    using data_type = const void *;
316
317
43.9k
    static data_type MakeData(void *const *p) {
318
43.9k
      return p ? 
*p91
:
data_type()43.9k
;
319
43.9k
    }
320
321
45
    static void *MakeVoidPtr(data_type d) {
322
45
      return const_cast<void *>(d);
323
45
    }
324
  };
325
326
} // namespace ento
327
} // namespace clang
328
329
#endif // LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_PROGRAMSTATETRAIT_H