Coverage Report

Created: 2018-12-11 17:59

/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
2.26M
        static void *GDMIndex() { static int Index; return &Index; } \
BasicObjCFoundationChecks.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerCountMap>::GDMIndex()
Line
Count
Source
44
4.00k
        static void *GDMIndex() { static int Index; return &Index; } \
BasicObjCFoundationChecks.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerNonEmptyMap>::GDMIndex()
Line
Count
Source
44
1.97k
        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
272k
        static void *GDMIndex() { static int Index; return &Index; } \
CheckObjCDealloc.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::UnreleasedIvarMap>::GDMIndex()
Line
Count
Source
44
4.96k
        static void *GDMIndex() { static int Index; return &Index; } \
DynamicTypePropagation.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::MostSpecializedTypeArgsMap>::GDMIndex()
Line
Count
Source
44
245k
        static void *GDMIndex() { static int Index; return &Index; } \
ExprInspectionChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::MarkedSymbols>::GDMIndex()
Line
Count
Source
44
58.9k
        static void *GDMIndex() { static int Index; return &Index; } \
ExprInspectionChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DenotedSymbols>::GDMIndex()
Line
Count
Source
44
60.1k
        static void *GDMIndex() { static int Index; return &Index; } \
GenericTaintChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TaintArgsOnPostVisit>::GDMIndex()
Line
Count
Source
44
1.09k
        static void *GDMIndex() { static int Index; return &Index; } \
InnerPointerChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RawPtrMap>::GDMIndex()
Line
Count
Source
44
65.4k
        static void *GDMIndex() { static int Index; return &Index; } \
IteratorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::IteratorRegionMap>::GDMIndex()
Line
Count
Source
44
29.1k
        static void *GDMIndex() { static int Index; return &Index; } \
IteratorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::IteratorSymbolMap>::GDMIndex()
Line
Count
Source
44
15.5k
        static void *GDMIndex() { static int Index; return &Index; } \
IteratorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerMap>::GDMIndex()
Line
Count
Source
44
17.3k
        static void *GDMIndex() { static int Index; return &Index; } \
IteratorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::IteratorComparisonMap>::GDMIndex()
Line
Count
Source
44
8.56k
        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
4.08k
        static void *GDMIndex() { static int Index; return &Index; } \
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::GDMIndex()
Line
Count
Source
44
496k
        static void *GDMIndex() { static int Index; return &Index; } \
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocPairs>::GDMIndex()
Line
Count
Source
44
157k
        static void *GDMIndex() { static int Index; return &Index; } \
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::FreeReturnValue>::GDMIndex()
Line
Count
Source
44
3.17k
        static void *GDMIndex() { static int Index; return &Index; } \
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocSizeZeroSymbols>::GDMIndex()
Line
Count
Source
44
13.3k
        static void *GDMIndex() { static int Index; return &Index; } \
MoveChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TrackedRegionMap>::GDMIndex()
Line
Count
Source
44
53.8k
        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
11.7k
        static void *GDMIndex() { static int Index; return &Index; } \
NullabilityChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::InvariantViolated>::GDMIndex()
Line
Count
Source
44
5.10k
        static void *GDMIndex() { static int Index; return &Index; } \
ObjCContainersChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ArraySizeMap>::GDMIndex()
Line
Count
Source
44
1.02k
        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
499
        static void *GDMIndex() { static int Index; return &Index; } \
PointerArithChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::GDMIndex()
Line
Count
Source
44
25.9k
        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
842
        static void *GDMIndex() { static int Index; return &Index; } \
RetainCountChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RefBindings>::GDMIndex()
Line
Count
Source
44
109k
        static void *GDMIndex() { static int Index; return &Index; } \
SimpleStreamChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::GDMIndex()
Line
Count
Source
44
572
        static void *GDMIndex() { static int Index; return &Index; } \
StreamChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::GDMIndex()
Line
Count
Source
44
351
        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
7.09k
        static void *GDMIndex() { static int Index; return &Index; } \
TrustNonnullChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NullImplicationMap>::GDMIndex()
Line
Count
Source
44
7.09k
        static void *GDMIndex() { static int Index; return &Index; } \
UninitializedObjectChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::AnalyzedRegions>::GDMIndex()
Line
Count
Source
44
3.76k
        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.57k
        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
552k
        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
62.6k
        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
3.28M
    static data_type MakeData(void *const *p) {
155
3.28M
      return p ? 
data_type((typename data_type::TreeTy *) *p)1.37M
156
3.28M
               : 
data_type(nullptr)1.90M
;
157
3.28M
    }
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
18.9k
    static data_type MakeData(void *const *p) {
155
18.9k
      return p ? 
data_type((typename data_type::TreeTy *) *p)2.67k
156
18.9k
               : 
data_type(nullptr)16.2k
;
157
18.9k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> > >::MakeData(void* const*)
Line
Count
Source
154
820
    static data_type MakeData(void *const *p) {
155
820
      return p ? 
data_type((typename data_type::TreeTy *) *p)651
156
820
               : 
data_type(nullptr)169
;
157
820
    }
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
265k
    static data_type MakeData(void *const *p) {
155
265k
      return p ? 
data_type((typename data_type::TreeTy *) *p)6.63k
156
265k
               : 
data_type(nullptr)258k
;
157
265k
    }
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.33k
    static data_type MakeData(void *const *p) {
155
4.33k
      return p ? 
data_type((typename data_type::TreeTy *) *p)1.14k
156
4.33k
               : 
data_type(nullptr)3.19k
;
157
4.33k
    }
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
246k
    static data_type MakeData(void *const *p) {
155
246k
      return p ? 
data_type((typename data_type::TreeTy *) *p)26.7k
156
246k
               : 
data_type(nullptr)220k
;
157
246k
    }
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
245k
    static data_type MakeData(void *const *p) {
155
245k
      return p ? 
data_type((typename data_type::TreeTy *) *p)6.10k
156
245k
               : 
data_type(nullptr)239k
;
157
245k
    }
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
59.5k
    static data_type MakeData(void *const *p) {
155
59.5k
      return p ? 
data_type((typename data_type::TreeTy *) *p)1.06k
156
59.5k
               : 
data_type(nullptr)58.4k
;
157
59.5k
    }
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
65.0k
    static data_type MakeData(void *const *p) {
155
65.0k
      return p ? 
data_type((typename data_type::TreeTy *) *p)1.93k
156
65.0k
               : 
data_type(nullptr)63.1k
;
157
65.0k
    }
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
22.7k
    static data_type MakeData(void *const *p) {
155
22.7k
      return p ? 
data_type((typename data_type::TreeTy *) *p)17.3k
156
22.7k
               : 
data_type(nullptr)5.32k
;
157
22.7k
    }
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
14.7k
    static data_type MakeData(void *const *p) {
155
14.7k
      return p ? 
data_type((typename data_type::TreeTy *) *p)1.59k
156
14.7k
               : 
data_type(nullptr)13.1k
;
157
14.7k
    }
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
15.7k
    static data_type MakeData(void *const *p) {
155
15.7k
      return p ? 
data_type((typename data_type::TreeTy *) *p)10.9k
156
15.7k
               : 
data_type(nullptr)4.89k
;
157
15.7k
    }
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
8.44k
    static data_type MakeData(void *const *p) {
155
8.44k
      return p ? 
data_type((typename data_type::TreeTy *) *p)320
156
8.44k
               : 
data_type(nullptr)8.12k
;
157
8.44k
    }
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
3.91k
    static data_type MakeData(void *const *p) {
155
3.91k
      return p ? 
data_type((typename data_type::TreeTy *) *p)1.58k
156
3.91k
               : 
data_type(nullptr)2.33k
;
157
3.91k
    }
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
383k
    static data_type MakeData(void *const *p) {
155
383k
      return p ? 
data_type((typename data_type::TreeTy *) *p)77.9k
156
383k
               : 
data_type(nullptr)305k
;
157
383k
    }
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
157k
    static data_type MakeData(void *const *p) {
155
157k
      return p ? 
data_type((typename data_type::TreeTy *) *p)818
156
157k
               : 
data_type(nullptr)156k
;
157
157k
    }
MoveChecker.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
50.0k
    static data_type MakeData(void *const *p) {
155
50.0k
      return p ? 
data_type((typename data_type::TreeTy *) *p)38.8k
156
50.0k
               : 
data_type(nullptr)11.1k
;
157
50.0k
    }
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.25k
    static data_type MakeData(void *const *p) {
155
1.25k
      return p ? 
data_type((typename data_type::TreeTy *) *p)966
156
1.25k
               : 
data_type(nullptr)285
;
157
1.25k
    }
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
11.0k
    static data_type MakeData(void *const *p) {
155
11.0k
      return p ? 
data_type((typename data_type::TreeTy *) *p)7.06k
156
11.0k
               : 
data_type(nullptr)4.00k
;
157
11.0k
    }
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
351
    static data_type MakeData(void *const *p) {
155
351
      return p ? 
data_type((typename data_type::TreeTy *) *p)278
156
351
               : 
data_type(nullptr)73
;
157
351
    }
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.2k
    static data_type MakeData(void *const *p) {
155
15.2k
      return p ? 
data_type((typename data_type::TreeTy *) *p)14.7k
156
15.2k
               : 
data_type(nullptr)546
;
157
15.2k
    }
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
710
    static data_type MakeData(void *const *p) {
155
710
      return p ? 
data_type((typename data_type::TreeTy *) *p)147
156
710
               : 
data_type(nullptr)563
;
157
710
    }
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
85.9k
    static data_type MakeData(void *const *p) {
155
85.9k
      return p ? 
data_type((typename data_type::TreeTy *) *p)66.1k
156
85.9k
               : 
data_type(nullptr)19.7k
;
157
85.9k
    }
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
378
    static data_type MakeData(void *const *p) {
155
378
      return p ? 
data_type((typename data_type::TreeTy *) *p)217
156
378
               : 
data_type(nullptr)161
;
157
378
    }
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
299
    static data_type MakeData(void *const *p) {
155
299
      return p ? 
data_type((typename data_type::TreeTy *) *p)84
156
299
               : 
data_type(nullptr)215
;
157
299
    }
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
1.06M
    static data_type MakeData(void *const *p) {
155
1.06M
      return p ? 
data_type((typename data_type::TreeTy *) *p)903k
156
1.06M
               : 
data_type(nullptr)166k
;
157
1.06M
    }
ExprEngine.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal> > >::MakeData(void* const*)
Line
Count
Source
154
503k
    static data_type MakeData(void *const *p) {
155
503k
      return p ? 
data_type((typename data_type::TreeTy *) *p)162k
156
503k
               : 
data_type(nullptr)341k
;
157
503k
    }
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
235k
    static void *MakeVoidPtr(data_type B) {
160
235k
      return B.getRoot();
161
235k
    }
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
575
    static void *MakeVoidPtr(data_type B) {
160
575
      return B.getRoot();
161
575
    }
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.20k
    static void *MakeVoidPtr(data_type B) {
160
1.20k
      return B.getRoot();
161
1.20k
    }
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
3.60k
    static void *MakeVoidPtr(data_type B) {
160
3.60k
      return B.getRoot();
161
3.60k
    }
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.57k
    static void *MakeVoidPtr(data_type B) {
160
5.57k
      return B.getRoot();
161
5.57k
    }
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
212
    static void *MakeVoidPtr(data_type B) {
160
212
      return B.getRoot();
161
212
    }
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
332
    static void *MakeVoidPtr(data_type B) {
160
332
      return B.getRoot();
161
332
    }
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
169
    static void *MakeVoidPtr(data_type B) {
160
169
      return B.getRoot();
161
169
    }
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.17k
    static void *MakeVoidPtr(data_type B) {
160
3.17k
      return B.getRoot();
161
3.17k
    }
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
318
    static void *MakeVoidPtr(data_type B) {
160
318
      return B.getRoot();
161
318
    }
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
787
    static void *MakeVoidPtr(data_type B) {
160
787
      return B.getRoot();
161
787
    }
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
60
    static void *MakeVoidPtr(data_type B) {
160
60
      return B.getRoot();
161
60
    }
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
84
    static void *MakeVoidPtr(data_type B) {
160
84
      return B.getRoot();
161
84
    }
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
4.60k
    static void *MakeVoidPtr(data_type B) {
160
4.60k
      return B.getRoot();
161
4.60k
    }
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
    }
MoveChecker.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.87k
    static void *MakeVoidPtr(data_type B) {
160
1.87k
      return B.getRoot();
161
1.87k
    }
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
510
    static void *MakeVoidPtr(data_type B) {
160
510
      return B.getRoot();
161
510
    }
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
332
    static void *MakeVoidPtr(data_type B) {
160
332
      return B.getRoot();
161
332
    }
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
336
    static void *MakeVoidPtr(data_type B) {
160
336
      return B.getRoot();
161
336
    }
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.33k
    static void *MakeVoidPtr(data_type B) {
160
5.33k
      return B.getRoot();
161
5.33k
    }
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.28k
    static void *MakeVoidPtr(data_type B) {
160
9.28k
      return B.getRoot();
161
9.28k
    }
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
97
    static void *MakeVoidPtr(data_type B) {
160
97
      return B.getRoot();
161
97
    }
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
    }
ExprEngine.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal> > >::MakeVoidPtr(llvm::ImmutableMap<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal> >)
Line
Count
Source
159
24.4k
    static void *MakeVoidPtr(data_type B) {
160
24.4k
      return B.getRoot();
161
24.4k
    }
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
171k
    static void *MakeVoidPtr(data_type B) {
160
171k
      return B.getRoot();
161
171k
    }
162
163
801k
    static lookup_type Lookup(data_type B, key_type K) {
164
801k
      return B.lookup(K);
165
801k
    }
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
8.82k
    static lookup_type Lookup(data_type B, key_type K) {
164
8.82k
      return B.lookup(K);
165
8.82k
    }
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.44k
    static lookup_type Lookup(data_type B, key_type K) {
164
6.44k
      return B.lookup(K);
165
6.44k
    }
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
322
    static lookup_type Lookup(data_type B, key_type K) {
164
322
      return B.lookup(K);
165
322
    }
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
513
    static lookup_type Lookup(data_type B, key_type K) {
164
513
      return B.lookup(K);
165
513
    }
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.66k
    static lookup_type Lookup(data_type B, key_type K) {
164
4.66k
      return B.lookup(K);
165
4.66k
    }
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.29k
    static lookup_type Lookup(data_type B, key_type K) {
164
1.29k
      return B.lookup(K);
165
1.29k
    }
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.52k
    static lookup_type Lookup(data_type B, key_type K) {
164
1.52k
      return B.lookup(K);
165
1.52k
    }
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.81k
    static lookup_type Lookup(data_type B, key_type K) {
164
1.81k
      return B.lookup(K);
165
1.81k
    }
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
118k
    static lookup_type Lookup(data_type B, key_type K) {
164
118k
      return B.lookup(K);
165
118k
    }
MoveChecker.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
8.46k
    static lookup_type Lookup(data_type B, key_type K) {
164
8.46k
      return B.lookup(K);
165
8.46k
    }
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
7.70k
    static lookup_type Lookup(data_type B, key_type K) {
164
7.70k
      return B.lookup(K);
165
7.70k
    }
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
43.2k
    static lookup_type Lookup(data_type B, key_type K) {
164
43.2k
      return B.lookup(K);
165
43.2k
    }
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
10
    static lookup_type Lookup(data_type B, key_type K) {
164
10
      return B.lookup(K);
165
10
    }
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
    }
ExprEngine.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal> > >::Lookup(llvm::ImmutableMap<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal> >, (anonymous namespace)::ConstructedObjectKey)
Line
Count
Source
163
152k
    static lookup_type Lookup(data_type B, key_type K) {
164
152k
      return B.lookup(K);
165
152k
    }
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
393k
    static lookup_type Lookup(data_type B, key_type K) {
164
393k
      return B.lookup(K);
165
393k
    }
166
167
    static data_type Set(data_type B, key_type K, value_type E,
168
154k
                         context_type F) {
169
154k
      return F.add(B, K, E);
170
154k
    }
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
45
                         context_type F) {
169
45
      return F.add(B, K, E);
170
45
    }
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
742
                         context_type F) {
169
742
      return F.add(B, K, E);
170
742
    }
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
166
                         context_type F) {
169
166
      return F.add(B, K, E);
170
166
    }
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
128
                         context_type F) {
169
128
      return F.add(B, K, E);
170
128
    }
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
508
                         context_type F) {
169
508
      return F.add(B, K, E);
170
508
    }
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
22
                         context_type F) {
169
22
      return F.add(B, K, E);
170
22
    }
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.93k
                         context_type F) {
169
1.93k
      return F.add(B, K, E);
170
1.93k
    }
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
162
                         context_type F) {
169
162
      return F.add(B, K, E);
170
162
    }
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
28
                         context_type F) {
169
28
      return F.add(B, K, E);
170
28
    }
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.57k
                         context_type F) {
169
2.57k
      return F.add(B, K, E);
170
2.57k
    }
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
    }
MoveChecker.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
1.01k
                         context_type F) {
169
1.01k
      return F.add(B, K, E);
170
1.01k
    }
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
510
                         context_type F) {
169
510
      return F.add(B, K, E);
170
510
    }
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
94
                         context_type F) {
169
94
      return F.add(B, K, E);
170
94
    }
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.33k
                         context_type F) {
169
5.33k
      return F.add(B, K, E);
170
5.33k
    }
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.20k
                         context_type F) {
169
3.20k
      return F.add(B, K, E);
170
3.20k
    }
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
17
                         context_type F) {
169
17
      return F.add(B, K, E);
170
17
    }
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.29k
                         context_type F) {
169
3.29k
      return F.add(B, K, E);
170
3.29k
    }
ExprEngine.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal> > >::Set(llvm::ImmutableMap<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal> >, (anonymous namespace)::ConstructedObjectKey, clang::ento::SVal, llvm::ImmutableMap<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal> >::Factory&)
Line
Count
Source
168
12.0k
                         context_type F) {
169
12.0k
      return F.add(B, K, E);
170
12.0k
    }
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
121k
                         context_type F) {
169
121k
      return F.add(B, K, E);
170
121k
    }
171
172
26.0k
    static data_type Remove(data_type B, key_type K, context_type F) {
173
26.0k
      return F.remove(B, K);
174
26.0k
    }
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
483
    static data_type Remove(data_type B, key_type K, context_type F) {
173
483
      return F.remove(B, K);
174
483
    }
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.16k
    static data_type Remove(data_type B, key_type K, context_type F) {
173
1.16k
      return F.remove(B, K);
174
1.16k
    }
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.27k
    static data_type Remove(data_type B, key_type K, context_type F) {
173
2.27k
      return F.remove(B, K);
174
2.27k
    }
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
106
    static data_type Remove(data_type B, key_type K, context_type F) {
173
106
      return F.remove(B, K);
174
106
    }
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
166
    static data_type Remove(data_type B, key_type K, context_type F) {
173
166
      return F.remove(B, K);
174
166
    }
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.05k
    static data_type Remove(data_type B, key_type K, context_type F) {
173
1.05k
      return F.remove(B, K);
174
1.05k
    }
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
156
    static data_type Remove(data_type B, key_type K, context_type F) {
173
156
      return F.remove(B, K);
174
156
    }
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
279
    static data_type Remove(data_type B, key_type K, context_type F) {
173
279
      return F.remove(B, K);
174
279
    }
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
38
    static data_type Remove(data_type B, key_type K, context_type F) {
173
38
      return F.remove(B, K);
174
38
    }
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
56
    static data_type Remove(data_type B, key_type K, context_type F) {
173
56
      return F.remove(B, K);
174
56
    }
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
    }
MoveChecker.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
864
    static data_type Remove(data_type B, key_type K, context_type F) {
173
864
      return F.remove(B, K);
174
864
    }
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
238
    static data_type Remove(data_type B, key_type K, context_type F) {
173
238
      return F.remove(B, K);
174
238
    }
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
317
    static data_type Remove(data_type B, key_type K, context_type F) {
173
317
      return F.remove(B, K);
174
317
    }
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
4.98k
    static data_type Remove(data_type B, key_type K, context_type F) {
173
4.98k
      return F.remove(B, K);
174
4.98k
    }
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
80
    static data_type Remove(data_type B, key_type K, context_type F) {
173
80
      return F.remove(B, K);
174
80
    }
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
    }
ExprEngine.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal> > >::Remove(llvm::ImmutableMap<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal> >, (anonymous namespace)::ConstructedObjectKey, llvm::ImmutableMap<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal> >::Factory&)
Line
Count
Source
172
12.3k
    static data_type Remove(data_type B, key_type K, context_type F) {
173
12.3k
      return F.remove(B, K);
174
12.3k
    }
175
176
622
    static bool Contains(data_type B, key_type K) {
177
622
      return B.contains(K);
178
622
    }
ExprEngine.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal> > >::Contains(llvm::ImmutableMap<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal> >, (anonymous namespace)::ConstructedObjectKey)
Line
Count
Source
176
610
    static bool Contains(data_type B, key_type K) {
177
610
      return B.contains(K);
178
610
    }
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
848k
    static context_type MakeContext(void *p) {
181
848k
      return *((typename data_type::Factory *) p);
182
848k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> > >::MakeContext(void*)
Line
Count
Source
180
575
    static context_type MakeContext(void *p) {
181
575
      return *((typename data_type::Factory *) p);
182
575
    }
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.20k
    static context_type MakeContext(void *p) {
181
1.20k
      return *((typename data_type::Factory *) p);
182
1.20k
    }
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
3.60k
    static context_type MakeContext(void *p) {
181
3.60k
      return *((typename data_type::Factory *) p);
182
3.60k
    }
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.57k
    static context_type MakeContext(void *p) {
181
5.57k
      return *((typename data_type::Factory *) p);
182
5.57k
    }
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
212
    static context_type MakeContext(void *p) {
181
212
      return *((typename data_type::Factory *) p);
182
212
    }
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
332
    static context_type MakeContext(void *p) {
181
332
      return *((typename data_type::Factory *) p);
182
332
    }
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
169
    static context_type MakeContext(void *p) {
181
169
      return *((typename data_type::Factory *) p);
182
169
    }
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.21k
    static context_type MakeContext(void *p) {
181
3.21k
      return *((typename data_type::Factory *) p);
182
3.21k
    }
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
546
    static context_type MakeContext(void *p) {
181
546
      return *((typename data_type::Factory *) p);
182
546
    }
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
787
    static context_type MakeContext(void *p) {
181
787
      return *((typename data_type::Factory *) p);
182
787
    }
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
60
    static context_type MakeContext(void *p) {
181
60
      return *((typename data_type::Factory *) p);
182
60
    }
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
84
    static context_type MakeContext(void *p) {
181
84
      return *((typename data_type::Factory *) p);
182
84
    }
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
108k
    static context_type MakeContext(void *p) {
181
108k
      return *((typename data_type::Factory *) p);
182
108k
    }
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
    }
MoveChecker.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.87k
    static context_type MakeContext(void *p) {
181
1.87k
      return *((typename data_type::Factory *) p);
182
1.87k
    }
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
510
    static context_type MakeContext(void *p) {
181
510
      return *((typename data_type::Factory *) p);
182
510
    }
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
332
    static context_type MakeContext(void *p) {
181
332
      return *((typename data_type::Factory *) p);
182
332
    }
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
336
    static context_type MakeContext(void *p) {
181
336
      return *((typename data_type::Factory *) p);
182
336
    }
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.33k
    static context_type MakeContext(void *p) {
181
5.33k
      return *((typename data_type::Factory *) p);
182
5.33k
    }
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.9k
    static context_type MakeContext(void *p) {
181
13.9k
      return *((typename data_type::Factory *) p);
182
13.9k
    }
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
97
    static context_type MakeContext(void *p) {
181
97
      return *((typename data_type::Factory *) p);
182
97
    }
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
676k
    static context_type MakeContext(void *p) {
181
676k
      return *((typename data_type::Factory *) p);
182
676k
    }
ExprEngine.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal> > >::MakeContext(void*)
Line
Count
Source
180
24.4k
    static context_type MakeContext(void *p) {
181
24.4k
      return *((typename data_type::Factory *) p);
182
24.4k
    }
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
20.4k
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
20.4k
      return new typename data_type::Factory(Alloc);
186
20.4k
    }
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
96
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
96
      return new typename data_type::Factory(Alloc);
186
96
    }
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
621
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
621
      return new typename data_type::Factory(Alloc);
186
621
    }
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.21k
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
1.21k
      return new typename data_type::Factory(Alloc);
186
1.21k
    }
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
110
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
110
      return new typename data_type::Factory(Alloc);
186
110
    }
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
252
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
252
      return new typename data_type::Factory(Alloc);
186
252
    }
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
199
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
199
      return new typename data_type::Factory(Alloc);
186
199
    }
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
252
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
252
      return new typename data_type::Factory(Alloc);
186
252
    }
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
15
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
15
      return new typename data_type::Factory(Alloc);
186
15
    }
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
24
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
24
      return new typename data_type::Factory(Alloc);
186
24
    }
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
3.13k
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
3.13k
      return new typename data_type::Factory(Alloc);
186
3.13k
    }
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
    }
MoveChecker.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
136
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
136
      return new typename data_type::Factory(Alloc);
186
136
    }
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
132
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
132
      return new typename data_type::Factory(Alloc);
186
132
    }
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
50
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
50
      return new typename data_type::Factory(Alloc);
186
50
    }
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
68
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
68
      return new typename data_type::Factory(Alloc);
186
68
    }
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
320
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
320
      return new typename data_type::Factory(Alloc);
186
320
    }
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
834
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
834
      return new typename data_type::Factory(Alloc);
186
834
    }
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
22
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
22
      return new typename data_type::Factory(Alloc);
186
22
    }
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.98k
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
9.98k
      return new typename data_type::Factory(Alloc);
186
9.98k
    }
ExprEngine.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
184
2.16k
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
185
2.16k
      return new typename data_type::Factory(Alloc);
186
2.16k
    }
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
20.4k
    static void DeleteContext(void *Ctx) {
189
20.4k
      delete (typename data_type::Factory *) Ctx;
190
20.4k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> > >::DeleteContext(void*)
Line
Count
Source
188
96
    static void DeleteContext(void *Ctx) {
189
96
      delete (typename data_type::Factory *) Ctx;
190
96
    }
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
621
    static void DeleteContext(void *Ctx) {
189
621
      delete (typename data_type::Factory *) Ctx;
190
621
    }
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.21k
    static void DeleteContext(void *Ctx) {
189
1.21k
      delete (typename data_type::Factory *) Ctx;
190
1.21k
    }
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
110
    static void DeleteContext(void *Ctx) {
189
110
      delete (typename data_type::Factory *) Ctx;
190
110
    }
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
252
    static void DeleteContext(void *Ctx) {
189
252
      delete (typename data_type::Factory *) Ctx;
190
252
    }
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
199
    static void DeleteContext(void *Ctx) {
189
199
      delete (typename data_type::Factory *) Ctx;
190
199
    }
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
252
    static void DeleteContext(void *Ctx) {
189
252
      delete (typename data_type::Factory *) Ctx;
190
252
    }
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
15
    static void DeleteContext(void *Ctx) {
189
15
      delete (typename data_type::Factory *) Ctx;
190
15
    }
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
24
    static void DeleteContext(void *Ctx) {
189
24
      delete (typename data_type::Factory *) Ctx;
190
24
    }
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
3.13k
    static void DeleteContext(void *Ctx) {
189
3.13k
      delete (typename data_type::Factory *) Ctx;
190
3.13k
    }
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
    }
MoveChecker.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
136
    static void DeleteContext(void *Ctx) {
189
136
      delete (typename data_type::Factory *) Ctx;
190
136
    }
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
132
    static void DeleteContext(void *Ctx) {
189
132
      delete (typename data_type::Factory *) Ctx;
190
132
    }
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
50
    static void DeleteContext(void *Ctx) {
189
50
      delete (typename data_type::Factory *) Ctx;
190
50
    }
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
68
    static void DeleteContext(void *Ctx) {
189
68
      delete (typename data_type::Factory *) Ctx;
190
68
    }
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
320
    static void DeleteContext(void *Ctx) {
189
320
      delete (typename data_type::Factory *) Ctx;
190
320
    }
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
834
    static void DeleteContext(void *Ctx) {
189
834
      delete (typename data_type::Factory *) Ctx;
190
834
    }
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
22
    static void DeleteContext(void *Ctx) {
189
22
      delete (typename data_type::Factory *) Ctx;
190
22
    }
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.98k
    static void DeleteContext(void *Ctx) {
189
9.98k
      delete (typename data_type::Factory *) Ctx;
190
9.98k
    }
ExprEngine.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal> > >::DeleteContext(void*)
Line
Count
Source
188
2.16k
    static void DeleteContext(void *Ctx) {
189
2.16k
      delete (typename data_type::Factory *) Ctx;
190
2.16k
    }
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
83.7k
    static data_type MakeData(void *const *p) {
201
83.7k
      return p ? 
data_type((typename data_type::TreeTy *) *p)3.68k
202
83.7k
               : 
data_type(nullptr)80.0k
;
203
83.7k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > >::MakeData(void* const*)
Line
Count
Source
200
72.6k
    static data_type MakeData(void *const *p) {
201
72.6k
      return p ? 
data_type((typename data_type::TreeTy *) *p)305
202
72.6k
               : 
data_type(nullptr)72.3k
;
203
72.6k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> > >::MakeData(void* const*)
Line
Count
Source
200
835
    static data_type MakeData(void *const *p) {
201
835
      return p ? 
data_type((typename data_type::TreeTy *) *p)97
202
835
               : 
data_type(nullptr)738
;
203
835
    }
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
8.00k
    static data_type MakeData(void *const *p) {
201
8.00k
      return p ? 
data_type((typename data_type::TreeTy *) *p)3.12k
202
8.00k
               : 
data_type(nullptr)4.88k
;
203
8.00k
    }
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
1.13k
    static void *MakeVoidPtr(data_type B) {
206
1.13k
      return B.getRoot();
207
1.13k
    }
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
62
    static void *MakeVoidPtr(data_type B) {
206
62
      return B.getRoot();
207
62
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> > >::MakeVoidPtr(llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> >)
Line
Count
Source
205
97
    static void *MakeVoidPtr(data_type B) {
206
97
      return B.getRoot();
207
97
    }
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
669
    static void *MakeVoidPtr(data_type B) {
206
669
      return B.getRoot();
207
669
    }
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
698
    static data_type Add(data_type B, key_type K, context_type F) {
210
698
      return F.add(B, K);
211
698
    }
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
97
    static data_type Add(data_type B, key_type K, context_type F) {
210
97
      return F.add(B, K);
211
97
    }
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
287
    static data_type Add(data_type B, key_type K, context_type F) {
210
287
      return F.add(B, K);
211
287
    }
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
387
    static data_type Remove(data_type B, key_type K, context_type F) {
214
387
      return F.remove(B, K);
215
387
    }
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
5
    static data_type Remove(data_type B, key_type K, context_type F) {
214
5
      return F.remove(B, K);
215
5
    }
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
382
    static data_type Remove(data_type B, key_type K, context_type F) {
214
382
      return F.remove(B, K);
215
382
    }
216
217
19.0k
    static bool Contains(data_type B, key_type K) {
218
19.0k
      return B.contains(K);
219
19.0k
    }
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.82k
    static bool Contains(data_type B, key_type K) {
218
4.82k
      return B.contains(K);
219
4.82k
    }
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
63.7k
    static context_type MakeContext(void *p) {
222
63.7k
      return *((typename data_type::Factory *) p);
223
63.7k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > >::MakeContext(void*)
Line
Count
Source
221
62.6k
    static context_type MakeContext(void *p) {
222
62.6k
      return *((typename data_type::Factory *) p);
223
62.6k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> > >::MakeContext(void*)
Line
Count
Source
221
97
    static context_type MakeContext(void *p) {
222
97
      return *((typename data_type::Factory *) p);
223
97
    }
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
669
    static context_type MakeContext(void *p) {
222
669
      return *((typename data_type::Factory *) p);
223
669
    }
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
1.20k
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
226
1.20k
      return new typename data_type::Factory(Alloc);
227
1.20k
    }
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
756
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
226
756
      return new typename data_type::Factory(Alloc);
227
756
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
225
31
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
226
31
      return new typename data_type::Factory(Alloc);
227
31
    }
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
190
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
226
190
      return new typename data_type::Factory(Alloc);
227
190
    }
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
1.20k
    static void DeleteContext(void *Ctx) {
230
1.20k
      delete (typename data_type::Factory *) Ctx;
231
1.20k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > >::DeleteContext(void*)
Line
Count
Source
229
756
    static void DeleteContext(void *Ctx) {
230
756
      delete (typename data_type::Factory *) Ctx;
231
756
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> > >::DeleteContext(void*)
Line
Count
Source
229
31
    static void DeleteContext(void *Ctx) {
230
31
      delete (typename data_type::Factory *) Ctx;
231
31
    }
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
190
    static void DeleteContext(void *Ctx) {
230
190
      delete (typename data_type::Factory *) Ctx;
231
190
    }
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
5.11k
    static data_type MakeData(void *const *p) {
276
5.11k
      return p ? 
(data_type) (uintptr_t) *p1.06k
277
5.11k
               : 
data_type()4.05k
;
278
5.11k
    }
279
280
237
    static void *MakeVoidPtr(data_type d) {
281
237
      return (void *) (uintptr_t) d;
282
237
    }
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
48.1k
    static data_type MakeData(void *const *p) {
318
48.1k
      return p ? 
*p93
:
data_type()48.0k
;
319
48.1k
    }
320
321
47
    static void *MakeVoidPtr(data_type d) {
322
47
      return const_cast<void *>(d);
323
47
    }
324
  };
325
326
} // namespace ento
327
} // namespace clang
328
329
#endif // LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_PROGRAMSTATETRAIT_H