Coverage Report

Created: 2019-07-24 05:18

/Users/buildslave/jenkins/workspace/clang-stage2-coverage-R/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h
Line
Count
Source (jump to first uncovered line)
1
//ProgramStateTrait.h - Partial implementations of ProgramStateTrait -*- C++ -*-
2
//
3
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4
// See https://llvm.org/LICENSE.txt for license information.
5
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6
//
7
//===----------------------------------------------------------------------===//
8
//
9
//  This file defines partial implementations of template specializations of
10
//  the class ProgramStateTrait<>.  ProgramStateTrait<> is used by ProgramState
11
//  to implement set/get methods for manipulating a ProgramState's
12
//  generic data map.
13
//
14
//===----------------------------------------------------------------------===//
15
16
#ifndef LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_PROGRAMSTATETRAIT_H
17
#define LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_PROGRAMSTATETRAIT_H
18
19
#include "llvm/ADT/ImmutableList.h"
20
#include "llvm/ADT/ImmutableMap.h"
21
#include "llvm/ADT/ImmutableSet.h"
22
#include "llvm/Support/Allocator.h"
23
#include <cstdint>
24
25
namespace clang {
26
namespace ento {
27
28
  template <typename T> struct ProgramStatePartialTrait;
29
30
  /// Declares a program state trait for type \p Type called \p Name, and
31
  /// introduce a type named \c NameTy.
32
  /// The macro should not be used inside namespaces.
33
  #define REGISTER_TRAIT_WITH_PROGRAMSTATE(Name, Type) \
34
    namespace { \
35
      class Name {}; \
36
      using Name ## Ty = Type; \
37
    } \
38
    namespace clang { \
39
    namespace ento { \
40
      template <> \
41
      struct ProgramStateTrait<Name> \
42
        : public ProgramStatePartialTrait<Name ## Ty> { \
43
2.80M
        static void *GDMIndex() { static int Index; return &Index; } \
BasicObjCFoundationChecks.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerCountMap>::GDMIndex()
Line
Count
Source
43
4.41k
        static void *GDMIndex() { static int Index; return &Index; } \
BasicObjCFoundationChecks.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerNonEmptyMap>::GDMIndex()
Line
Count
Source
43
2.04k
        static void *GDMIndex() { static int Index; return &Index; } \
BlockInCriticalSectionChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::MutexCounter>::GDMIndex()
Line
Count
Source
43
94
        static void *GDMIndex() { static int Index; return &Index; } \
CStringChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CStringLength>::GDMIndex()
Line
Count
Source
43
276k
        static void *GDMIndex() { static int Index; return &Index; } \
CheckObjCDealloc.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::UnreleasedIvarMap>::GDMIndex()
Line
Count
Source
43
5.26k
        static void *GDMIndex() { static int Index; return &Index; } \
DynamicTypePropagation.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::MostSpecializedTypeArgsMap>::GDMIndex()
Line
Count
Source
43
319k
        static void *GDMIndex() { static int Index; return &Index; } \
ExprInspectionChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::MarkedSymbols>::GDMIndex()
Line
Count
Source
43
134k
        static void *GDMIndex() { static int Index; return &Index; } \
ExprInspectionChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DenotedSymbols>::GDMIndex()
Line
Count
Source
43
135k
        static void *GDMIndex() { static int Index; return &Index; } \
GenericTaintChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TaintArgsOnPostVisit>::GDMIndex()
Line
Count
Source
43
1.39k
        static void *GDMIndex() { static int Index; return &Index; } \
InnerPointerChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RawPtrMap>::GDMIndex()
Line
Count
Source
43
65.7k
        static void *GDMIndex() { static int Index; return &Index; } \
IteratorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::IteratorRegionMap>::GDMIndex()
Line
Count
Source
43
28.7k
        static void *GDMIndex() { static int Index; return &Index; } \
IteratorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::IteratorSymbolMap>::GDMIndex()
Line
Count
Source
43
14.8k
        static void *GDMIndex() { static int Index; return &Index; } \
IteratorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerMap>::GDMIndex()
Line
Count
Source
43
17.6k
        static void *GDMIndex() { static int Index; return &Index; } \
LocalizationChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LocalizedMemMap>::GDMIndex()
Line
Count
Source
43
777
        static void *GDMIndex() { static int Index; return &Index; } \
MacOSKeychainAPIChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::AllocatedData>::GDMIndex()
Line
Count
Source
43
4.72k
        static void *GDMIndex() { static int Index; return &Index; } \
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::GDMIndex()
Line
Count
Source
43
497k
        static void *GDMIndex() { static int Index; return &Index; } \
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocPairs>::GDMIndex()
Line
Count
Source
43
157k
        static void *GDMIndex() { static int Index; return &Index; } \
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::FreeReturnValue>::GDMIndex()
Line
Count
Source
43
3.20k
        static void *GDMIndex() { static int Index; return &Index; } \
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocSizeZeroSymbols>::GDMIndex()
Line
Count
Source
43
13.2k
        static void *GDMIndex() { static int Index; return &Index; } \
MIGChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RefCountedParameters>::GDMIndex()
Line
Count
Source
43
23
        static void *GDMIndex() { static int Index; return &Index; } \
MIGChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ReleasedParameter>::GDMIndex()
Line
Count
Source
43
44
        static void *GDMIndex() { static int Index; return &Index; } \
MoveChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TrackedRegionMap>::GDMIndex()
Line
Count
Source
43
211k
        static void *GDMIndex() { static int Index; return &Index; } \
NSErrorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NSErrorOut>::GDMIndex()
Line
Count
Source
43
11
        static void *GDMIndex() { static int Index; return &Index; } \
NSErrorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CFErrorOut>::GDMIndex()
Line
Count
Source
43
22
        static void *GDMIndex() { static int Index; return &Index; } \
NullabilityChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NullabilityMap>::GDMIndex()
Line
Count
Source
43
11.7k
        static void *GDMIndex() { static int Index; return &Index; } \
NullabilityChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::InvariantViolated>::GDMIndex()
Line
Count
Source
43
5.08k
        static void *GDMIndex() { static int Index; return &Index; } \
ObjCContainersChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ArraySizeMap>::GDMIndex()
Line
Count
Source
43
1.09k
        static void *GDMIndex() { static int Index; return &Index; } \
ObjCSelfInitChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::SelfFlag>::GDMIndex()
Line
Count
Source
43
1.71k
        static void *GDMIndex() { static int Index; return &Index; } \
ObjCSelfInitChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CalledInit>::GDMIndex()
Line
Count
Source
43
259
        static void *GDMIndex() { static int Index; return &Index; } \
ObjCSelfInitChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::PreCallSelfFlags>::GDMIndex()
Line
Count
Source
43
178
        static void *GDMIndex() { static int Index; return &Index; } \
ObjCSuperDeallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CalledSuperDealloc>::GDMIndex()
Line
Count
Source
43
520
        static void *GDMIndex() { static int Index; return &Index; } \
PointerArithChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::GDMIndex()
Line
Count
Source
43
26.0k
        static void *GDMIndex() { static int Index; return &Index; } \
PthreadLockChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LockMap>::GDMIndex()
Line
Count
Source
43
732
        static void *GDMIndex() { static int Index; return &Index; } \
PthreadLockChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LockSet>::GDMIndex()
Line
Count
Source
43
234
        static void *GDMIndex() { static int Index; return &Index; } \
PthreadLockChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DestroyRetVal>::GDMIndex()
Line
Count
Source
43
842
        static void *GDMIndex() { static int Index; return &Index; } \
RetainCountChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RefBindings>::GDMIndex()
Line
Count
Source
43
126k
        static void *GDMIndex() { static int Index; return &Index; } \
SimpleStreamChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::GDMIndex()
Line
Count
Source
43
572
        static void *GDMIndex() { static int Index; return &Index; } \
StreamChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::GDMIndex()
Line
Count
Source
43
351
        static void *GDMIndex() { static int Index; return &Index; } \
Taint.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TaintMap>::GDMIndex()
Line
Count
Source
43
27.6k
        static void *GDMIndex() { static int Index; return &Index; } \
Taint.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DerivedSymTaint>::GDMIndex()
Line
Count
Source
43
2.42k
        static void *GDMIndex() { static int Index; return &Index; } \
TestAfterDivZeroChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DivZeroMap>::GDMIndex()
Line
Count
Source
43
2.29k
        static void *GDMIndex() { static int Index; return &Index; } \
TrustNonnullChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NonNullImplicationMap>::GDMIndex()
Line
Count
Source
43
6.57k
        static void *GDMIndex() { static int Index; return &Index; } \
TrustNonnullChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NullImplicationMap>::GDMIndex()
Line
Count
Source
43
6.57k
        static void *GDMIndex() { static int Index; return &Index; } \
UninitializedObjectChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::AnalyzedRegions>::GDMIndex()
Line
Count
Source
43
3.91k
        static void *GDMIndex() { static int Index; return &Index; } \
VforkChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::VforkResultRegion>::GDMIndex()
Line
Count
Source
43
635
        static void *GDMIndex() { static int Index; return &Index; } \
ValistChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::InitializedVALists>::GDMIndex()
Line
Count
Source
43
6.60k
        static void *GDMIndex() { static int Index; return &Index; } \
VirtualCallChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CtorDtorMap>::GDMIndex()
Line
Count
Source
43
434
        static void *GDMIndex() { static int Index; return &Index; } \
ExprEngine.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ObjectsUnderConstruction>::GDMIndex()
Line
Count
Source
43
664k
        static void *GDMIndex() { static int Index; return &Index; } \
ExprEngine.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::InitializedGlobalsSet>::GDMIndex()
Line
Count
Source
43
761
        static void *GDMIndex() { static int Index; return &Index; } \
ExprEngineCallAndReturn.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicDispatchBifurcationMap>::GDMIndex()
Line
Count
Source
43
83
        static void *GDMIndex() { static int Index; return &Index; } \
LoopUnrolling.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LoopStack>::GDMIndex()
Line
Count
Source
43
8.31k
        static void *GDMIndex() { static int Index; return &Index; } \
Unexecuted instantiation: SMTConstraintManager.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ConstraintSMT>::GDMIndex()
44
      }; \
45
    } \
46
    }
47
48
  /// Declares a factory for objects of type \p Type in the program state
49
  /// manager. The type must provide a ::Factory sub-class. Commonly used for
50
  /// ImmutableMap, ImmutableSet, ImmutableList. The macro should not be used
51
  /// inside namespaces.
52
  #define REGISTER_FACTORY_WITH_PROGRAMSTATE(Type) \
53
    namespace clang { \
54
    namespace ento { \
55
      template <> \
56
      struct ProgramStateTrait<Type> \
57
        : public ProgramStatePartialTrait<Type> { \
58
62.9k
        static void *GDMIndex() { static int Index; return &Index; } \
clang::ento::ProgramStateTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > >::GDMIndex()
Line
Count
Source
58
62.9k
        static void *GDMIndex() { static int Index; return &Index; } \
clang::ento::ProgramStateTrait<llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> > >::GDMIndex()
Line
Count
Source
58
6
        static void *GDMIndex() { static int Index; return &Index; } \
59
      }; \
60
    } \
61
    }
62
63
  /// Helper for registering a map trait.
64
  ///
65
  /// If the map type were written directly in the invocation of
66
  /// REGISTER_TRAIT_WITH_PROGRAMSTATE, the comma in the template arguments
67
  /// would be treated as a macro argument separator, which is wrong.
68
  /// This allows the user to specify a map type in a way that the preprocessor
69
  /// can deal with.
70
  #define CLANG_ENTO_PROGRAMSTATE_MAP(Key, Value) llvm::ImmutableMap<Key, Value>
71
72
  /// Declares an immutable map of type \p NameTy, suitable for placement into
73
  /// the ProgramState. This is implementing using llvm::ImmutableMap.
74
  ///
75
  /// \code
76
  /// State = State->set<Name>(K, V);
77
  /// const Value *V = State->get<Name>(K); // Returns NULL if not in the map.
78
  /// State = State->remove<Name>(K);
79
  /// NameTy Map = State->get<Name>();
80
  /// \endcode
81
  ///
82
  /// The macro should not be used inside namespaces, or for traits that must
83
  /// be accessible from more than one translation unit.
84
  #define REGISTER_MAP_WITH_PROGRAMSTATE(Name, Key, Value) \
85
    REGISTER_TRAIT_WITH_PROGRAMSTATE(Name, \
86
                                     CLANG_ENTO_PROGRAMSTATE_MAP(Key, Value))
87
88
  /// Declares an immutable map type \p Name and registers the factory
89
  /// for such maps in the program state, but does not add the map itself
90
  /// to the program state. Useful for managing lifetime of maps that are used
91
  /// as elements of other program state data structures.
92
  #define REGISTER_MAP_FACTORY_WITH_PROGRAMSTATE(Name, Key, Value) \
93
    using Name = llvm::ImmutableMap<Key, Value>; \
94
    REGISTER_FACTORY_WITH_PROGRAMSTATE(Name)
95
96
97
  /// Declares an immutable set of type \p NameTy, suitable for placement into
98
  /// the ProgramState. This is implementing using llvm::ImmutableSet.
99
  ///
100
  /// \code
101
  /// State = State->add<Name>(E);
102
  /// State = State->remove<Name>(E);
103
  /// bool Present = State->contains<Name>(E);
104
  /// NameTy Set = State->get<Name>();
105
  /// \endcode
106
  ///
107
  /// The macro should not be used inside namespaces, or for traits that must
108
  /// be accessible from more than one translation unit.
109
  #define REGISTER_SET_WITH_PROGRAMSTATE(Name, Elem) \
110
    REGISTER_TRAIT_WITH_PROGRAMSTATE(Name, llvm::ImmutableSet<Elem>)
111
112
  /// Declares an immutable set type \p Name and registers the factory
113
  /// for such sets in the program state, but does not add the set itself
114
  /// to the program state. Useful for managing lifetime of sets that are used
115
  /// as elements of other program state data structures.
116
  #define REGISTER_SET_FACTORY_WITH_PROGRAMSTATE(Name, Elem) \
117
    using Name = llvm::ImmutableSet<Elem>; \
118
    REGISTER_FACTORY_WITH_PROGRAMSTATE(Name)
119
120
121
  /// Declares an immutable list type \p NameTy, suitable for placement into
122
  /// the ProgramState. This is implementing using llvm::ImmutableList.
123
  ///
124
  /// \code
125
  /// State = State->add<Name>(E); // Adds to the /end/ of the list.
126
  /// bool Present = State->contains<Name>(E);
127
  /// NameTy List = State->get<Name>();
128
  /// \endcode
129
  ///
130
  /// The macro should not be used inside namespaces, or for traits that must
131
  /// be accessible from more than one translation unit.
132
  #define REGISTER_LIST_WITH_PROGRAMSTATE(Name, Elem) \
133
    REGISTER_TRAIT_WITH_PROGRAMSTATE(Name, llvm::ImmutableList<Elem>)
134
135
  /// Declares an immutable list of type \p Name and registers the factory
136
  /// for such lists in the program state, but does not add the list itself
137
  /// to the program state. Useful for managing lifetime of lists that are used
138
  /// as elements of other program state data structures.
139
  #define REGISTER_LIST_FACTORY_WITH_PROGRAMSTATE(Name, Elem) \
140
    using Name = llvm::ImmutableList<Elem>; \
141
    REGISTER_FACTORY_WITH_PROGRAMSTATE(Name)
142
143
144
  // Partial-specialization for ImmutableMap.
145
  template <typename Key, typename Data, typename Info>
146
  struct ProgramStatePartialTrait<llvm::ImmutableMap<Key, Data, Info>> {
147
    using data_type = llvm::ImmutableMap<Key, Data, Info>;
148
    using context_type = typename data_type::Factory &;
149
    using key_type = Key;
150
    using value_type = Data;
151
    using lookup_type = const value_type *;
152
153
3.87M
    static data_type MakeData(void *const *p) {
154
3.87M
      return p ? 
data_type((typename data_type::TreeTy *) *p)1.58M
155
3.87M
               : 
data_type(nullptr)2.28M
;
156
3.87M
    }
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
153
18.3k
    static data_type MakeData(void *const *p) {
154
18.3k
      return p ? 
data_type((typename data_type::TreeTy *) *p)2.73k
155
18.3k
               : 
data_type(nullptr)15.5k
;
156
18.3k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> > >::MakeData(void* const*)
Line
Count
Source
153
845
    static data_type MakeData(void *const *p) {
154
845
      return p ? 
data_type((typename data_type::TreeTy *) *p)668
155
845
               : 
data_type(nullptr)177
;
156
845
    }
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
153
268k
    static data_type MakeData(void *const *p) {
154
268k
      return p ? 
data_type((typename data_type::TreeTy *) *p)7.50k
155
268k
               : 
data_type(nullptr)260k
;
156
268k
    }
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
153
4.64k
    static data_type MakeData(void *const *p) {
154
4.64k
      return p ? 
data_type((typename data_type::TreeTy *) *p)1.14k
155
4.64k
               : 
data_type(nullptr)3.49k
;
156
4.64k
    }
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
153
321k
    static data_type MakeData(void *const *p) {
154
321k
      return p ? 
data_type((typename data_type::TreeTy *) *p)32.5k
155
321k
               : 
data_type(nullptr)289k
;
156
321k
    }
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
153
319k
    static data_type MakeData(void *const *p) {
154
319k
      return p ? 
data_type((typename data_type::TreeTy *) *p)6.10k
155
319k
               : 
data_type(nullptr)313k
;
156
319k
    }
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
153
135k
    static data_type MakeData(void *const *p) {
154
135k
      return p ? 
data_type((typename data_type::TreeTy *) *p)1.36k
155
135k
               : 
data_type(nullptr)133k
;
156
135k
    }
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
153
65.4k
    static data_type MakeData(void *const *p) {
154
65.4k
      return p ? 
data_type((typename data_type::TreeTy *) *p)1.93k
155
65.4k
               : 
data_type(nullptr)63.4k
;
156
65.4k
    }
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
153
22.5k
    static data_type MakeData(void *const *p) {
154
22.5k
      return p ? 
data_type((typename data_type::TreeTy *) *p)17.0k
155
22.5k
               : 
data_type(nullptr)5.43k
;
156
22.5k
    }
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
153
14.4k
    static data_type MakeData(void *const *p) {
154
14.4k
      return p ? 
data_type((typename data_type::TreeTy *) *p)497
155
14.4k
               : 
data_type(nullptr)13.9k
;
156
14.4k
    }
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
153
16.1k
    static data_type MakeData(void *const *p) {
154
16.1k
      return p ? 
data_type((typename data_type::TreeTy *) *p)11.2k
155
16.1k
               : 
data_type(nullptr)4.98k
;
156
16.1k
    }
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
153
389
    static data_type MakeData(void *const *p) {
154
389
      return p ? 
data_type((typename data_type::TreeTy *) *p)344
155
389
               : 
data_type(nullptr)45
;
156
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
153
4.55k
    static data_type MakeData(void *const *p) {
154
4.55k
      return p ? 
data_type((typename data_type::TreeTy *) *p)1.58k
155
4.55k
               : 
data_type(nullptr)2.97k
;
156
4.55k
    }
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
153
384k
    static data_type MakeData(void *const *p) {
154
384k
      return p ? 
data_type((typename data_type::TreeTy *) *p)78.1k
155
384k
               : 
data_type(nullptr)306k
;
156
384k
    }
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
153
157k
    static data_type MakeData(void *const *p) {
154
157k
      return p ? 
data_type((typename data_type::TreeTy *) *p)839
155
157k
               : 
data_type(nullptr)156k
;
156
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
153
203k
    static data_type MakeData(void *const *p) {
154
203k
      return p ? 
data_type((typename data_type::TreeTy *) *p)68.5k
155
203k
               : 
data_type(nullptr)135k
;
156
203k
    }
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
153
1.25k
    static data_type MakeData(void *const *p) {
154
1.25k
      return p ? 
data_type((typename data_type::TreeTy *) *p)966
155
1.25k
               : 
data_type(nullptr)285
;
156
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
153
28.3k
    static data_type MakeData(void *const *p) {
154
28.3k
      return p ? 
data_type((typename data_type::TreeTy *) *p)23.9k
155
28.3k
               : 
data_type(nullptr)4.32k
;
156
28.3k
    }
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
153
11.0k
    static data_type MakeData(void *const *p) {
154
11.0k
      return p ? 
data_type((typename data_type::TreeTy *) *p)7.06k
155
11.0k
               : 
data_type(nullptr)3.98k
;
156
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
153
376
    static data_type MakeData(void *const *p) {
154
376
      return p ? 
data_type((typename data_type::TreeTy *) *p)295
155
376
               : 
data_type(nullptr)81
;
156
376
    }
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
153
15.2k
    static data_type MakeData(void *const *p) {
154
15.2k
      return p ? 
data_type((typename data_type::TreeTy *) *p)14.7k
155
15.2k
               : 
data_type(nullptr)569
;
156
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
153
382
    static data_type MakeData(void *const *p) {
154
382
      return p ? 
data_type((typename data_type::TreeTy *) *p)262
155
382
               : 
data_type(nullptr)120
;
156
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
153
710
    static data_type MakeData(void *const *p) {
154
710
      return p ? 
data_type((typename data_type::TreeTy *) *p)147
155
710
               : 
data_type(nullptr)563
;
156
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
153
97.0k
    static data_type MakeData(void *const *p) {
154
97.0k
      return p ? 
data_type((typename data_type::TreeTy *) *p)79.3k
155
97.0k
               : 
data_type(nullptr)17.6k
;
156
97.0k
    }
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
153
378
    static data_type MakeData(void *const *p) {
154
378
      return p ? 
data_type((typename data_type::TreeTy *) *p)217
155
378
               : 
data_type(nullptr)161
;
156
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
153
299
    static data_type MakeData(void *const *p) {
154
299
      return p ? 
data_type((typename data_type::TreeTy *) *p)84
155
299
               : 
data_type(nullptr)215
;
156
299
    }
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
153
2.40k
    static data_type MakeData(void *const *p) {
154
2.40k
      return p ? 
data_type((typename data_type::TreeTy *) *p)222
155
2.40k
               : 
data_type(nullptr)2.18k
;
156
2.40k
    }
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
153
166
    static data_type MakeData(void *const *p) {
154
166
      return p ? 
data_type((typename data_type::TreeTy *) *p)153
155
166
               : 
data_type(nullptr)13
;
156
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
153
1.17M
    static data_type MakeData(void *const *p) {
154
1.17M
      return p ? 
data_type((typename data_type::TreeTy *) *p)978k
155
1.17M
               : 
data_type(nullptr)201k
;
156
1.17M
    }
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
153
596k
    static data_type MakeData(void *const *p) {
154
596k
      return p ? 
data_type((typename data_type::TreeTy *) *p)244k
155
596k
               : 
data_type(nullptr)352k
;
156
596k
    }
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
153
39
    static data_type MakeData(void *const *p) {
154
39
      return p ? 
data_type((typename data_type::TreeTy *) *p)6
155
39
               : 
data_type(nullptr)33
;
156
39
    }
157
158
256k
    static void *MakeVoidPtr(data_type B) {
159
256k
      return B.getRoot();
160
256k
    }
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
158
600
    static void *MakeVoidPtr(data_type B) {
159
600
      return B.getRoot();
160
600
    }
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
158
1.23k
    static void *MakeVoidPtr(data_type B) {
159
1.23k
      return B.getRoot();
160
1.23k
    }
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
158
4.07k
    static void *MakeVoidPtr(data_type B) {
159
4.07k
      return B.getRoot();
160
4.07k
    }
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
158
314
    static void *MakeVoidPtr(data_type B) {
159
314
      return B.getRoot();
160
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
158
6.41k
    static void *MakeVoidPtr(data_type B) {
159
6.41k
      return B.getRoot();
160
6.41k
    }
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
158
212
    static void *MakeVoidPtr(data_type B) {
159
212
      return B.getRoot();
160
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
158
334
    static void *MakeVoidPtr(data_type B) {
159
334
      return B.getRoot();
160
334
    }
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
158
169
    static void *MakeVoidPtr(data_type B) {
159
169
      return B.getRoot();
160
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
158
3.11k
    static void *MakeVoidPtr(data_type B) {
159
3.11k
      return B.getRoot();
160
3.11k
    }
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
158
115
    static void *MakeVoidPtr(data_type B) {
159
115
      return B.getRoot();
160
115
    }
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
158
739
    static void *MakeVoidPtr(data_type B) {
159
739
      return B.getRoot();
160
739
    }
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
158
194
    static void *MakeVoidPtr(data_type B) {
159
194
      return B.getRoot();
160
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
158
84
    static void *MakeVoidPtr(data_type B) {
159
84
      return B.getRoot();
160
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
158
4.29k
    static void *MakeVoidPtr(data_type B) {
159
4.29k
      return B.getRoot();
160
4.29k
    }
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
158
138
    static void *MakeVoidPtr(data_type B) {
159
138
      return B.getRoot();
160
138
    }
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
158
3.85k
    static void *MakeVoidPtr(data_type B) {
159
3.85k
      return B.getRoot();
160
3.85k
    }
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
158
153
    static void *MakeVoidPtr(data_type B) {
159
153
      return B.getRoot();
160
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
158
515
    static void *MakeVoidPtr(data_type B) {
159
515
      return B.getRoot();
160
515
    }
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
158
332
    static void *MakeVoidPtr(data_type B) {
159
332
      return B.getRoot();
160
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
158
361
    static void *MakeVoidPtr(data_type B) {
159
361
      return B.getRoot();
160
361
    }
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
158
5.37k
    static void *MakeVoidPtr(data_type B) {
159
5.37k
      return B.getRoot();
160
5.37k
    }
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
158
175
    static void *MakeVoidPtr(data_type B) {
159
175
      return B.getRoot();
160
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
158
66
    static void *MakeVoidPtr(data_type B) {
159
66
      return B.getRoot();
160
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
158
11.6k
    static void *MakeVoidPtr(data_type B) {
159
11.6k
      return B.getRoot();
160
11.6k
    }
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
158
97
    static void *MakeVoidPtr(data_type B) {
159
97
      return B.getRoot();
160
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
158
26
    static void *MakeVoidPtr(data_type B) {
159
26
      return B.getRoot();
160
26
    }
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
158
6
    static void *MakeVoidPtr(data_type B) {
159
6
      return B.getRoot();
160
6
    }
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
158
134
    static void *MakeVoidPtr(data_type B) {
159
134
      return B.getRoot();
160
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
158
34.1k
    static void *MakeVoidPtr(data_type B) {
159
34.1k
      return B.getRoot();
160
34.1k
    }
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
158
22
    static void *MakeVoidPtr(data_type B) {
159
22
      return B.getRoot();
160
22
    }
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
158
177k
    static void *MakeVoidPtr(data_type B) {
159
177k
      return B.getRoot();
160
177k
    }
161
162
876k
    static lookup_type Lookup(data_type B, key_type K) {
163
876k
      return B.lookup(K);
164
876k
    }
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
162
8.33k
    static lookup_type Lookup(data_type B, key_type K) {
163
8.33k
      return B.lookup(K);
164
8.33k
    }
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
162
245
    static lookup_type Lookup(data_type B, key_type K) {
163
245
      return B.lookup(K);
164
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
162
1.08k
    static lookup_type Lookup(data_type B, key_type K) {
163
1.08k
      return B.lookup(K);
164
1.08k
    }
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
162
434
    static lookup_type Lookup(data_type B, key_type K) {
163
434
      return B.lookup(K);
164
434
    }
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
162
10.5k
    static lookup_type Lookup(data_type B, key_type K) {
163
10.5k
      return B.lookup(K);
164
10.5k
    }
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
162
6.80k
    static lookup_type Lookup(data_type B, key_type K) {
163
6.80k
      return B.lookup(K);
164
6.80k
    }
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
162
618
    static lookup_type Lookup(data_type B, key_type K) {
163
618
      return B.lookup(K);
164
618
    }
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
162
525
    static lookup_type Lookup(data_type B, key_type K) {
163
525
      return B.lookup(K);
164
525
    }
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
162
4.56k
    static lookup_type Lookup(data_type B, key_type K) {
163
4.56k
      return B.lookup(K);
164
4.56k
    }
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
162
69
    static lookup_type Lookup(data_type B, key_type K) {
163
69
      return B.lookup(K);
164
69
    }
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
162
1.64k
    static lookup_type Lookup(data_type B, key_type K) {
163
1.64k
      return B.lookup(K);
164
1.64k
    }
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
162
195
    static lookup_type Lookup(data_type B, key_type K) {
163
195
      return B.lookup(K);
164
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
162
1.81k
    static lookup_type Lookup(data_type B, key_type K) {
163
1.81k
      return B.lookup(K);
164
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
162
118k
    static lookup_type Lookup(data_type B, key_type K) {
163
118k
      return B.lookup(K);
164
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
162
24.9k
    static lookup_type Lookup(data_type B, key_type K) {
163
24.9k
      return B.lookup(K);
164
24.9k
    }
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
162
650
    static lookup_type Lookup(data_type B, key_type K) {
163
650
      return B.lookup(K);
164
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
162
27.8k
    static lookup_type Lookup(data_type B, key_type K) {
163
27.8k
      return B.lookup(K);
164
27.8k
    }
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
162
7.70k
    static lookup_type Lookup(data_type B, key_type K) {
163
7.70k
      return B.lookup(K);
164
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
162
15
    static lookup_type Lookup(data_type B, key_type K) {
163
15
      return B.lookup(K);
164
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
162
9.92k
    static lookup_type Lookup(data_type B, key_type K) {
163
9.92k
      return B.lookup(K);
164
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
162
169
    static lookup_type Lookup(data_type B, key_type K) {
163
169
      return B.lookup(K);
164
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
162
207
    static lookup_type Lookup(data_type B, key_type K) {
163
207
      return B.lookup(K);
164
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
162
58.1k
    static lookup_type Lookup(data_type B, key_type K) {
163
58.1k
      return B.lookup(K);
164
58.1k
    }
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
162
5
    static lookup_type Lookup(data_type B, key_type K) {
163
5
      return B.lookup(K);
164
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
162
10
    static lookup_type Lookup(data_type B, key_type K) {
163
10
      return B.lookup(K);
164
10
    }
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
162
2.40k
    static lookup_type Lookup(data_type B, key_type K) {
163
2.40k
      return B.lookup(K);
164
2.40k
    }
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
162
32
    static lookup_type Lookup(data_type B, key_type K) {
163
32
      return B.lookup(K);
164
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
162
183k
    static lookup_type Lookup(data_type B, key_type K) {
163
183k
      return B.lookup(K);
164
183k
    }
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
162
17
    static lookup_type Lookup(data_type B, key_type K) {
163
17
      return B.lookup(K);
164
17
    }
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
162
405k
    static lookup_type Lookup(data_type B, key_type K) {
163
405k
      return B.lookup(K);
164
405k
    }
165
166
    static data_type Set(data_type B, key_type K, value_type E,
167
165k
                         context_type F) {
168
165k
      return F.add(B, K, E);
169
165k
    }
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
167
92
                         context_type F) {
168
92
      return F.add(B, K, E);
169
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
167
45
                         context_type F) {
168
45
      return F.add(B, K, E);
169
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
167
855
                         context_type F) {
168
855
      return F.add(B, K, E);
169
855
    }
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
167
189
                         context_type F) {
168
189
      return F.add(B, K, E);
169
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
167
106
                         context_type F) {
168
106
      return F.add(B, K, E);
169
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
167
167
                         context_type F) {
168
167
      return F.add(B, K, E);
169
167
    }
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
167
128
                         context_type F) {
168
128
      return F.add(B, K, E);
169
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
167
498
                         context_type F) {
168
498
      return F.add(B, K, E);
169
498
    }
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
167
1.97k
                         context_type F) {
168
1.97k
      return F.add(B, K, E);
169
1.97k
    }
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
167
58
                         context_type F) {
168
58
      return F.add(B, K, E);
169
58
    }
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
167
194
                         context_type F) {
168
194
      return F.add(B, K, E);
169
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
167
28
                         context_type F) {
168
28
      return F.add(B, K, E);
169
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
167
2.63k
                         context_type F) {
168
2.63k
      return F.add(B, K, E);
169
2.63k
    }
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
167
54
                         context_type F) {
168
54
      return F.add(B, K, E);
169
54
    }
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
167
2.09k
                         context_type F) {
168
2.09k
      return F.add(B, K, E);
169
2.09k
    }
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
167
97
                         context_type F) {
168
97
      return F.add(B, K, E);
169
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
167
515
                         context_type F) {
168
515
      return F.add(B, K, E);
169
515
    }
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
167
94
                         context_type F) {
168
94
      return F.add(B, K, E);
169
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
167
19
                         context_type F) {
168
19
      return F.add(B, K, E);
169
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
167
5.37k
                         context_type F) {
168
5.37k
      return F.add(B, K, E);
169
5.37k
    }
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
167
171
                         context_type F) {
168
171
      return F.add(B, K, E);
169
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
167
28
                         context_type F) {
168
28
      return F.add(B, K, E);
169
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
167
4.10k
                         context_type F) {
168
4.10k
      return F.add(B, K, E);
169
4.10k
    }
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
167
17
                         context_type F) {
168
17
      return F.add(B, K, E);
169
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
167
26
                         context_type F) {
168
26
      return F.add(B, K, E);
169
26
    }
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
167
6
                         context_type F) {
168
6
      return F.add(B, K, E);
169
6
    }
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
167
66
                         context_type F) {
168
66
      return F.add(B, K, E);
169
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
167
3.84k
                         context_type F) {
168
3.84k
      return F.add(B, K, E);
169
3.84k
    }
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
167
16.9k
                         context_type F) {
168
16.9k
      return F.add(B, K, E);
169
16.9k
    }
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
167
22
                         context_type F) {
168
22
      return F.add(B, K, E);
169
22
    }
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
167
124k
                         context_type F) {
168
124k
      return F.add(B, K, E);
169
124k
    }
170
171
32.6k
    static data_type Remove(data_type B, key_type K, context_type F) {
172
32.6k
      return F.remove(B, K);
173
32.6k
    }
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
171
508
    static data_type Remove(data_type B, key_type K, context_type F) {
172
508
      return F.remove(B, K);
173
508
    }
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
171
1.19k
    static data_type Remove(data_type B, key_type K, context_type F) {
172
1.19k
      return F.remove(B, K);
173
1.19k
    }
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
171
44
    static data_type Remove(data_type B, key_type K, context_type F) {
172
44
      return F.remove(B, K);
173
44
    }
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
171
125
    static data_type Remove(data_type B, key_type K, context_type F) {
172
125
      return F.remove(B, K);
173
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
171
2.56k
    static data_type Remove(data_type B, key_type K, context_type F) {
172
2.56k
      return F.remove(B, K);
173
2.56k
    }
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
171
106
    static data_type Remove(data_type B, key_type K, context_type F) {
172
106
      return F.remove(B, K);
173
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
171
167
    static data_type Remove(data_type B, key_type K, context_type F) {
172
167
      return F.remove(B, K);
173
167
    }
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
171
41
    static data_type Remove(data_type B, key_type K, context_type F) {
172
41
      return F.remove(B, K);
173
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
171
959
    static data_type Remove(data_type B, key_type K, context_type F) {
172
959
      return F.remove(B, K);
173
959
    }
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
171
57
    static data_type Remove(data_type B, key_type K, context_type F) {
172
57
      return F.remove(B, K);
173
57
    }
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
171
241
    static data_type Remove(data_type B, key_type K, context_type F) {
172
241
      return F.remove(B, K);
173
241
    }
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
171
56
    static data_type Remove(data_type B, key_type K, context_type F) {
172
56
      return F.remove(B, K);
173
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
171
84
    static data_type Remove(data_type B, key_type K, context_type F) {
172
84
      return F.remove(B, K);
173
84
    }
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
171
674
    static data_type Remove(data_type B, key_type K, context_type F) {
172
674
      return F.remove(B, K);
173
674
    }
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
171
1.75k
    static data_type Remove(data_type B, key_type K, context_type F) {
172
1.75k
      return F.remove(B, K);
173
1.75k
    }
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
171
56
    static data_type Remove(data_type B, key_type K, context_type F) {
172
56
      return F.remove(B, K);
173
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
171
238
    static data_type Remove(data_type B, key_type K, context_type F) {
172
238
      return F.remove(B, K);
173
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
171
342
    static data_type Remove(data_type B, key_type K, context_type F) {
172
342
      return F.remove(B, K);
173
342
    }
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
171
4
    static data_type Remove(data_type B, key_type K, context_type F) {
172
4
      return F.remove(B, K);
173
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
171
38
    static data_type Remove(data_type B, key_type K, context_type F) {
172
38
      return F.remove(B, K);
173
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
171
6.09k
    static data_type Remove(data_type B, key_type K, context_type F) {
172
6.09k
      return F.remove(B, K);
173
6.09k
    }
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
171
80
    static data_type Remove(data_type B, key_type K, context_type F) {
172
80
      return F.remove(B, K);
173
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
171
68
    static data_type Remove(data_type B, key_type K, context_type F) {
172
68
      return F.remove(B, K);
173
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
171
17.1k
    static data_type Remove(data_type B, key_type K, context_type F) {
172
17.1k
      return F.remove(B, K);
173
17.1k
    }
174
175
622
    static bool Contains(data_type B, key_type K) {
176
622
      return B.contains(K);
177
622
    }
178
179
955k
    static context_type MakeContext(void *p) {
180
955k
      return *((typename data_type::Factory *) p);
181
955k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> > >::MakeContext(void*)
Line
Count
Source
179
600
    static context_type MakeContext(void *p) {
180
600
      return *((typename data_type::Factory *) p);
181
600
    }
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
179
1.23k
    static context_type MakeContext(void *p) {
180
1.23k
      return *((typename data_type::Factory *) p);
181
1.23k
    }
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
179
4.07k
    static context_type MakeContext(void *p) {
180
4.07k
      return *((typename data_type::Factory *) p);
181
4.07k
    }
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
179
314
    static context_type MakeContext(void *p) {
180
314
      return *((typename data_type::Factory *) p);
181
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
179
6.41k
    static context_type MakeContext(void *p) {
180
6.41k
      return *((typename data_type::Factory *) p);
181
6.41k
    }
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
179
212
    static context_type MakeContext(void *p) {
180
212
      return *((typename data_type::Factory *) p);
181
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
179
334
    static context_type MakeContext(void *p) {
180
334
      return *((typename data_type::Factory *) p);
181
334
    }
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
179
169
    static context_type MakeContext(void *p) {
180
169
      return *((typename data_type::Factory *) p);
181
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
179
3.14k
    static context_type MakeContext(void *p) {
180
3.14k
      return *((typename data_type::Factory *) p);
181
3.14k
    }
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition> > >::MakeContext(void*)
Line
Count
Source
179
327
    static context_type MakeContext(void *p) {
180
327
      return *((typename data_type::Factory *) p);
181
327
    }
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
179
739
    static context_type MakeContext(void *p) {
180
739
      return *((typename data_type::Factory *) p);
181
739
    }
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
179
194
    static context_type MakeContext(void *p) {
180
194
      return *((typename data_type::Factory *) p);
181
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
179
84
    static context_type MakeContext(void *p) {
180
84
      return *((typename data_type::Factory *) p);
181
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
179
108k
    static context_type MakeContext(void *p) {
180
108k
      return *((typename data_type::Factory *) p);
181
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
179
138
    static context_type MakeContext(void *p) {
180
138
      return *((typename data_type::Factory *) p);
181
138
    }
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
179
3.85k
    static context_type MakeContext(void *p) {
180
3.85k
      return *((typename data_type::Factory *) p);
181
3.85k
    }
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
179
153
    static context_type MakeContext(void *p) {
180
153
      return *((typename data_type::Factory *) p);
181
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
179
515
    static context_type MakeContext(void *p) {
180
515
      return *((typename data_type::Factory *) p);
181
515
    }
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
179
332
    static context_type MakeContext(void *p) {
180
332
      return *((typename data_type::Factory *) p);
181
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
179
361
    static context_type MakeContext(void *p) {
180
361
      return *((typename data_type::Factory *) p);
181
361
    }
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
179
5.37k
    static context_type MakeContext(void *p) {
180
5.37k
      return *((typename data_type::Factory *) p);
181
5.37k
    }
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
179
175
    static context_type MakeContext(void *p) {
180
175
      return *((typename data_type::Factory *) p);
181
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
179
66
    static context_type MakeContext(void *p) {
180
66
      return *((typename data_type::Factory *) p);
181
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
179
17.4k
    static context_type MakeContext(void *p) {
180
17.4k
      return *((typename data_type::Factory *) p);
181
17.4k
    }
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
179
97
    static context_type MakeContext(void *p) {
180
97
      return *((typename data_type::Factory *) p);
181
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
179
26
    static context_type MakeContext(void *p) {
180
26
      return *((typename data_type::Factory *) p);
181
26
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> > >::MakeContext(void*)
Line
Count
Source
179
6
    static context_type MakeContext(void *p) {
180
6
      return *((typename data_type::Factory *) p);
181
6
    }
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
179
6
    static context_type MakeContext(void *p) {
180
6
      return *((typename data_type::Factory *) p);
181
6
    }
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
179
134
    static context_type MakeContext(void *p) {
180
134
      return *((typename data_type::Factory *) p);
181
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
179
765k
    static context_type MakeContext(void *p) {
180
765k
      return *((typename data_type::Factory *) p);
181
765k
    }
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
179
34.1k
    static context_type MakeContext(void *p) {
180
34.1k
      return *((typename data_type::Factory *) p);
181
34.1k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, unsigned int> > >::MakeContext(void*)
Line
Count
Source
179
22
    static context_type MakeContext(void *p) {
180
22
      return *((typename data_type::Factory *) p);
181
22
    }
182
183
22.2k
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
22.2k
      return new typename data_type::Factory(Alloc);
185
22.2k
    }
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
183
104
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
104
      return new typename data_type::Factory(Alloc);
185
104
    }
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
183
634
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
634
      return new typename data_type::Factory(Alloc);
185
634
    }
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
183
436
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
436
      return new typename data_type::Factory(Alloc);
185
436
    }
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
183
65
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
65
      return new typename data_type::Factory(Alloc);
185
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
183
1.37k
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
1.37k
      return new typename data_type::Factory(Alloc);
185
1.37k
    }
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
183
78
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
78
      return new typename data_type::Factory(Alloc);
185
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
183
110
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
110
      return new typename data_type::Factory(Alloc);
185
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
183
31
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
31
      return new typename data_type::Factory(Alloc);
185
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
183
256
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
256
      return new typename data_type::Factory(Alloc);
185
256
    }
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
183
195
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
195
      return new typename data_type::Factory(Alloc);
185
195
    }
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
183
256
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
256
      return new typename data_type::Factory(Alloc);
185
256
    }
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
183
35
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
35
      return new typename data_type::Factory(Alloc);
185
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
183
24
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
24
      return new typename data_type::Factory(Alloc);
185
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
183
3.20k
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
3.20k
      return new typename data_type::Factory(Alloc);
185
3.20k
    }
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
183
32
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
32
      return new typename data_type::Factory(Alloc);
185
32
    }
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
183
348
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
348
      return new typename data_type::Factory(Alloc);
185
348
    }
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
183
34
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
34
      return new typename data_type::Factory(Alloc);
185
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
183
135
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
135
      return new typename data_type::Factory(Alloc);
185
135
    }
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
183
50
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
50
      return new typename data_type::Factory(Alloc);
185
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
183
76
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
76
      return new typename data_type::Factory(Alloc);
185
76
    }
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
183
343
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
343
      return new typename data_type::Factory(Alloc);
185
343
    }
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
183
59
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
59
      return new typename data_type::Factory(Alloc);
185
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
183
22
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
22
      return new typename data_type::Factory(Alloc);
185
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
183
1.05k
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
1.05k
      return new typename data_type::Factory(Alloc);
185
1.05k
    }
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
183
22
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
22
      return new typename data_type::Factory(Alloc);
185
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
183
9
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
9
      return new typename data_type::Factory(Alloc);
185
9
    }
clang::ento::ProgramStatePartialTrait<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
183
4
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
4
      return new typename data_type::Factory(Alloc);
185
4
    }
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
183
4
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
4
      return new typename data_type::Factory(Alloc);
185
4
    }
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
183
13
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
13
      return new typename data_type::Factory(Alloc);
185
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
183
10.7k
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
10.7k
      return new typename data_type::Factory(Alloc);
185
10.7k
    }
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
183
2.49k
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
2.49k
      return new typename data_type::Factory(Alloc);
185
2.49k
    }
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
183
11
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
11
      return new typename data_type::Factory(Alloc);
185
11
    }
186
187
22.2k
    static void DeleteContext(void *Ctx) {
188
22.2k
      delete (typename data_type::Factory *) Ctx;
189
22.2k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> > >::DeleteContext(void*)
Line
Count
Source
187
104
    static void DeleteContext(void *Ctx) {
188
104
      delete (typename data_type::Factory *) Ctx;
189
104
    }
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
187
634
    static void DeleteContext(void *Ctx) {
188
634
      delete (typename data_type::Factory *) Ctx;
189
634
    }
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
187
436
    static void DeleteContext(void *Ctx) {
188
436
      delete (typename data_type::Factory *) Ctx;
189
436
    }
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
187
65
    static void DeleteContext(void *Ctx) {
188
65
      delete (typename data_type::Factory *) Ctx;
189
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
187
1.37k
    static void DeleteContext(void *Ctx) {
188
1.37k
      delete (typename data_type::Factory *) Ctx;
189
1.37k
    }
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
187
78
    static void DeleteContext(void *Ctx) {
188
78
      delete (typename data_type::Factory *) Ctx;
189
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
187
110
    static void DeleteContext(void *Ctx) {
188
110
      delete (typename data_type::Factory *) Ctx;
189
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
187
31
    static void DeleteContext(void *Ctx) {
188
31
      delete (typename data_type::Factory *) Ctx;
189
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
187
256
    static void DeleteContext(void *Ctx) {
188
256
      delete (typename data_type::Factory *) Ctx;
189
256
    }
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
187
195
    static void DeleteContext(void *Ctx) {
188
195
      delete (typename data_type::Factory *) Ctx;
189
195
    }
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
187
256
    static void DeleteContext(void *Ctx) {
188
256
      delete (typename data_type::Factory *) Ctx;
189
256
    }
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
187
35
    static void DeleteContext(void *Ctx) {
188
35
      delete (typename data_type::Factory *) Ctx;
189
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
187
24
    static void DeleteContext(void *Ctx) {
188
24
      delete (typename data_type::Factory *) Ctx;
189
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
187
3.20k
    static void DeleteContext(void *Ctx) {
188
3.20k
      delete (typename data_type::Factory *) Ctx;
189
3.20k
    }
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
187
32
    static void DeleteContext(void *Ctx) {
188
32
      delete (typename data_type::Factory *) Ctx;
189
32
    }
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
187
348
    static void DeleteContext(void *Ctx) {
188
348
      delete (typename data_type::Factory *) Ctx;
189
348
    }
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
187
34
    static void DeleteContext(void *Ctx) {
188
34
      delete (typename data_type::Factory *) Ctx;
189
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
187
135
    static void DeleteContext(void *Ctx) {
188
135
      delete (typename data_type::Factory *) Ctx;
189
135
    }
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
187
50
    static void DeleteContext(void *Ctx) {
188
50
      delete (typename data_type::Factory *) Ctx;
189
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
187
76
    static void DeleteContext(void *Ctx) {
188
76
      delete (typename data_type::Factory *) Ctx;
189
76
    }
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
187
343
    static void DeleteContext(void *Ctx) {
188
343
      delete (typename data_type::Factory *) Ctx;
189
343
    }
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
187
59
    static void DeleteContext(void *Ctx) {
188
59
      delete (typename data_type::Factory *) Ctx;
189
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
187
22
    static void DeleteContext(void *Ctx) {
188
22
      delete (typename data_type::Factory *) Ctx;
189
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
187
1.05k
    static void DeleteContext(void *Ctx) {
188
1.05k
      delete (typename data_type::Factory *) Ctx;
189
1.05k
    }
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
187
22
    static void DeleteContext(void *Ctx) {
188
22
      delete (typename data_type::Factory *) Ctx;
189
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
187
9
    static void DeleteContext(void *Ctx) {
188
9
      delete (typename data_type::Factory *) Ctx;
189
9
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> > >::DeleteContext(void*)
Line
Count
Source
187
4
    static void DeleteContext(void *Ctx) {
188
4
      delete (typename data_type::Factory *) Ctx;
189
4
    }
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
187
4
    static void DeleteContext(void *Ctx) {
188
4
      delete (typename data_type::Factory *) Ctx;
189
4
    }
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
187
13
    static void DeleteContext(void *Ctx) {
188
13
      delete (typename data_type::Factory *) Ctx;
189
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
187
10.7k
    static void DeleteContext(void *Ctx) {
188
10.7k
      delete (typename data_type::Factory *) Ctx;
189
10.7k
    }
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
187
2.49k
    static void DeleteContext(void *Ctx) {
188
2.49k
      delete (typename data_type::Factory *) Ctx;
189
2.49k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, unsigned int> > >::DeleteContext(void*)
Line
Count
Source
187
11
    static void DeleteContext(void *Ctx) {
188
11
      delete (typename data_type::Factory *) Ctx;
189
11
    }
190
  };
191
192
  // Partial-specialization for ImmutableSet.
193
  template <typename Key, typename Info>
194
  struct ProgramStatePartialTrait<llvm::ImmutableSet<Key, Info>> {
195
    using data_type = llvm::ImmutableSet<Key, Info>;
196
    using context_type = typename data_type::Factory &;
197
    using key_type = Key;
198
199
160k
    static data_type MakeData(void *const *p) {
200
160k
      return p ? 
data_type((typename data_type::TreeTy *) *p)4.23k
201
160k
               : 
data_type(nullptr)156k
;
202
160k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > >::MakeData(void* const*)
Line
Count
Source
199
148k
    static data_type MakeData(void *const *p) {
200
148k
      return p ? 
data_type((typename data_type::TreeTy *) *p)337
201
148k
               : 
data_type(nullptr)147k
;
202
148k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> > >::MakeData(void* const*)
Line
Count
Source
199
932
    static data_type MakeData(void *const *p) {
200
932
      return p ? 
data_type((typename data_type::TreeTy *) *p)167
201
932
               : 
data_type(nullptr)765
;
202
932
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ParmVarDecl const*, llvm::ImutContainerInfo<clang::ParmVarDecl const*> > >::MakeData(void* const*)
Line
Count
Source
199
21
    static data_type MakeData(void *const *p) {
200
21
      return p ? 
data_type((typename data_type::TreeTy *) *p)1
201
21
               : 
data_type(nullptr)20
;
202
21
    }
TestAfterDivZeroChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<(anonymous namespace)::ZeroState, llvm::ImutContainerInfo<(anonymous namespace)::ZeroState> > >::MakeData(void* const*)
Line
Count
Source
199
2.06k
    static data_type MakeData(void *const *p) {
200
2.06k
      return p ? 
data_type((typename data_type::TreeTy *) *p)114
201
2.06k
               : 
data_type(nullptr)1.94k
;
202
2.06k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> > >::MakeData(void* const*)
Line
Count
Source
199
9.15k
    static data_type MakeData(void *const *p) {
200
9.15k
      return p ? 
data_type((typename data_type::TreeTy *) *p)3.57k
201
9.15k
               : 
data_type(nullptr)5.57k
;
202
9.15k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> > >::MakeData(void* const*)
Line
Count
Source
199
383
    static data_type MakeData(void *const *p) {
200
383
      return p ? 
data_type((typename data_type::TreeTy *) *p)41
201
383
               : 
data_type(nullptr)342
;
202
383
    }
Unexecuted instantiation: clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<std::__1::pair<clang::ento::SymExpr const*, llvm::SMTExpr const*>, llvm::ImutContainerInfo<std::__1::pair<clang::ento::SymExpr const*, llvm::SMTExpr const*> > > >::MakeData(void* const*)
203
204
1.22k
    static void *MakeVoidPtr(data_type B) {
205
1.22k
      return B.getRoot();
206
1.22k
    }
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
204
68
    static void *MakeVoidPtr(data_type B) {
205
68
      return B.getRoot();
206
68
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> > >::MakeVoidPtr(llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> >)
Line
Count
Source
204
167
    static void *MakeVoidPtr(data_type B) {
205
167
      return B.getRoot();
206
167
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ParmVarDecl const*, llvm::ImutContainerInfo<clang::ParmVarDecl const*> > >::MakeVoidPtr(llvm::ImmutableSet<clang::ParmVarDecl const*, llvm::ImutContainerInfo<clang::ParmVarDecl const*> >)
Line
Count
Source
204
1
    static void *MakeVoidPtr(data_type B) {
205
1
      return B.getRoot();
206
1
    }
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
204
114
    static void *MakeVoidPtr(data_type B) {
205
114
      return B.getRoot();
206
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
204
685
    static void *MakeVoidPtr(data_type B) {
205
685
      return B.getRoot();
206
685
    }
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
204
189
    static void *MakeVoidPtr(data_type B) {
205
189
      return B.getRoot();
206
189
    }
Unexecuted instantiation: clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<std::__1::pair<clang::ento::SymExpr const*, llvm::SMTExpr const*>, llvm::ImutContainerInfo<std::__1::pair<clang::ento::SymExpr const*, llvm::SMTExpr const*> > > >::MakeVoidPtr(llvm::ImmutableSet<std::__1::pair<clang::ento::SymExpr const*, llvm::SMTExpr const*>, llvm::ImutContainerInfo<std::__1::pair<clang::ento::SymExpr const*, llvm::SMTExpr const*> > >)
207
208
794
    static data_type Add(data_type B, key_type K, context_type F) {
209
794
      return F.add(B, K);
210
794
    }
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
208
60
    static data_type Add(data_type B, key_type K, context_type F) {
209
60
      return F.add(B, K);
210
60
    }
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
208
167
    static data_type Add(data_type B, key_type K, context_type F) {
209
167
      return F.add(B, K);
210
167
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ParmVarDecl const*, llvm::ImutContainerInfo<clang::ParmVarDecl const*> > >::Add(llvm::ImmutableSet<clang::ParmVarDecl const*, llvm::ImutContainerInfo<clang::ParmVarDecl const*> >, clang::ParmVarDecl const*, llvm::ImmutableSet<clang::ParmVarDecl const*, llvm::ImutContainerInfo<clang::ParmVarDecl const*> >::Factory&)
Line
Count
Source
208
1
    static data_type Add(data_type B, key_type K, context_type F) {
209
1
      return F.add(B, K);
210
1
    }
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
208
68
    static data_type Add(data_type B, key_type K, context_type F) {
209
68
      return F.add(B, K);
210
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
208
309
    static data_type Add(data_type B, key_type K, context_type F) {
209
309
      return F.add(B, K);
210
309
    }
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
208
189
    static data_type Add(data_type B, key_type K, context_type F) {
209
189
      return F.add(B, K);
210
189
    }
Unexecuted instantiation: clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<std::__1::pair<clang::ento::SymExpr const*, llvm::SMTExpr const*>, llvm::ImutContainerInfo<std::__1::pair<clang::ento::SymExpr const*, llvm::SMTExpr const*> > > >::Add(llvm::ImmutableSet<std::__1::pair<clang::ento::SymExpr const*, llvm::SMTExpr const*>, llvm::ImutContainerInfo<std::__1::pair<clang::ento::SymExpr const*, llvm::SMTExpr const*> > >, std::__1::pair<clang::ento::SymExpr const*, llvm::SMTExpr const*>, llvm::ImmutableSet<std::__1::pair<clang::ento::SymExpr const*, llvm::SMTExpr const*>, llvm::ImutContainerInfo<std::__1::pair<clang::ento::SymExpr const*, llvm::SMTExpr const*> > >::Factory&)
211
212
384
    static data_type Remove(data_type B, key_type K, context_type F) {
213
384
      return F.remove(B, K);
214
384
    }
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
212
8
    static data_type Remove(data_type B, key_type K, context_type F) {
213
8
      return F.remove(B, K);
214
8
    }
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
212
376
    static data_type Remove(data_type B, key_type K, context_type F) {
213
376
      return F.remove(B, K);
214
376
    }
215
216
19.8k
    static bool Contains(data_type B, key_type K) {
217
19.8k
      return B.contains(K);
218
19.8k
    }
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
216
13.6k
    static bool Contains(data_type B, key_type K) {
217
13.6k
      return B.contains(K);
218
13.6k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ParmVarDecl const*, llvm::ImutContainerInfo<clang::ParmVarDecl const*> > >::Contains(llvm::ImmutableSet<clang::ParmVarDecl const*, llvm::ImutContainerInfo<clang::ParmVarDecl const*> >, clang::ParmVarDecl const*)
Line
Count
Source
216
20
    static bool Contains(data_type B, key_type K) {
217
20
      return B.contains(K);
218
20
    }
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
216
378
    static bool Contains(data_type B, key_type K) {
217
378
      return B.contains(K);
218
378
    }
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
216
5.62k
    static bool Contains(data_type B, key_type K) {
217
5.62k
      return B.contains(K);
218
5.62k
    }
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
216
194
    static bool Contains(data_type B, key_type K) {
217
194
      return B.contains(K);
218
194
    }
219
220
64.1k
    static context_type MakeContext(void *p) {
221
64.1k
      return *((typename data_type::Factory *) p);
222
64.1k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > >::MakeContext(void*)
Line
Count
Source
220
62.9k
    static context_type MakeContext(void *p) {
221
62.9k
      return *((typename data_type::Factory *) p);
222
62.9k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> > >::MakeContext(void*)
Line
Count
Source
220
167
    static context_type MakeContext(void *p) {
221
167
      return *((typename data_type::Factory *) p);
222
167
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ParmVarDecl const*, llvm::ImutContainerInfo<clang::ParmVarDecl const*> > >::MakeContext(void*)
Line
Count
Source
220
1
    static context_type MakeContext(void *p) {
221
1
      return *((typename data_type::Factory *) p);
222
1
    }
TestAfterDivZeroChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<(anonymous namespace)::ZeroState, llvm::ImutContainerInfo<(anonymous namespace)::ZeroState> > >::MakeContext(void*)
Line
Count
Source
220
114
    static context_type MakeContext(void *p) {
221
114
      return *((typename data_type::Factory *) p);
222
114
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> > >::MakeContext(void*)
Line
Count
Source
220
685
    static context_type MakeContext(void *p) {
221
685
      return *((typename data_type::Factory *) p);
222
685
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> > >::MakeContext(void*)
Line
Count
Source
220
189
    static context_type MakeContext(void *p) {
221
189
      return *((typename data_type::Factory *) p);
222
189
    }
Unexecuted instantiation: clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<std::__1::pair<clang::ento::SymExpr const*, llvm::SMTExpr const*>, llvm::ImutContainerInfo<std::__1::pair<clang::ento::SymExpr const*, llvm::SMTExpr const*> > > >::MakeContext(void*)
223
224
1.28k
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
225
1.28k
      return new typename data_type::Factory(Alloc);
226
1.28k
    }
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
224
776
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
225
776
      return new typename data_type::Factory(Alloc);
226
776
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
224
62
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
225
62
      return new typename data_type::Factory(Alloc);
226
62
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ParmVarDecl const*, llvm::ImutContainerInfo<clang::ParmVarDecl const*> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
224
1
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
225
1
      return new typename data_type::Factory(Alloc);
226
1
    }
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
224
63
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
225
63
      return new typename data_type::Factory(Alloc);
226
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
224
209
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
225
209
      return new typename data_type::Factory(Alloc);
226
209
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
224
169
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
225
169
      return new typename data_type::Factory(Alloc);
226
169
    }
Unexecuted instantiation: clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<std::__1::pair<clang::ento::SymExpr const*, llvm::SMTExpr const*>, llvm::ImutContainerInfo<std::__1::pair<clang::ento::SymExpr const*, llvm::SMTExpr const*> > > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
227
228
1.28k
    static void DeleteContext(void *Ctx) {
229
1.28k
      delete (typename data_type::Factory *) Ctx;
230
1.28k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > >::DeleteContext(void*)
Line
Count
Source
228
776
    static void DeleteContext(void *Ctx) {
229
776
      delete (typename data_type::Factory *) Ctx;
230
776
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> > >::DeleteContext(void*)
Line
Count
Source
228
62
    static void DeleteContext(void *Ctx) {
229
62
      delete (typename data_type::Factory *) Ctx;
230
62
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ParmVarDecl const*, llvm::ImutContainerInfo<clang::ParmVarDecl const*> > >::DeleteContext(void*)
Line
Count
Source
228
1
    static void DeleteContext(void *Ctx) {
229
1
      delete (typename data_type::Factory *) Ctx;
230
1
    }
TestAfterDivZeroChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<(anonymous namespace)::ZeroState, llvm::ImutContainerInfo<(anonymous namespace)::ZeroState> > >::DeleteContext(void*)
Line
Count
Source
228
63
    static void DeleteContext(void *Ctx) {
229
63
      delete (typename data_type::Factory *) Ctx;
230
63
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> > >::DeleteContext(void*)
Line
Count
Source
228
209
    static void DeleteContext(void *Ctx) {
229
209
      delete (typename data_type::Factory *) Ctx;
230
209
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> > >::DeleteContext(void*)
Line
Count
Source
228
169
    static void DeleteContext(void *Ctx) {
229
169
      delete (typename data_type::Factory *) Ctx;
230
169
    }
Unexecuted instantiation: clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<std::__1::pair<clang::ento::SymExpr const*, llvm::SMTExpr const*>, llvm::ImutContainerInfo<std::__1::pair<clang::ento::SymExpr const*, llvm::SMTExpr const*> > > >::DeleteContext(void*)
231
  };
232
233
  // Partial-specialization for ImmutableList.
234
  template <typename T>
235
  struct ProgramStatePartialTrait<llvm::ImmutableList<T>> {
236
    using data_type = llvm::ImmutableList<T>;
237
    using key_type = T;
238
    using context_type = typename data_type::Factory &;
239
240
241
    static data_type Add(data_type L, key_type K, context_type F) {
241
241
      return F.add(K, L);
242
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
240
53
    static data_type Add(data_type L, key_type K, context_type F) {
241
53
      return F.add(K, L);
242
53
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<LoopState> >::Add(llvm::ImmutableList<LoopState>, LoopState, llvm::ImmutableListFactory<LoopState>&)
Line
Count
Source
240
188
    static data_type Add(data_type L, key_type K, context_type F) {
241
188
      return F.add(K, L);
242
188
    }
243
244
    static bool Contains(data_type L, key_type K) {
245
      return L.contains(K);
246
    }
247
248
7.87k
    static data_type MakeData(void *const *p) {
249
7.87k
      return p ? 
data_type((const llvm::ImmutableListImpl<T> *) *p)7.56k
250
7.87k
               : 
data_type(nullptr)313
;
251
7.87k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<clang::ento::MemRegion const*> >::MakeData(void* const*)
Line
Count
Source
248
99
    static data_type MakeData(void *const *p) {
249
99
      return p ? 
data_type((const llvm::ImmutableListImpl<T> *) *p)48
250
99
               : 
data_type(nullptr)51
;
251
99
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<LoopState> >::MakeData(void* const*)
Line
Count
Source
248
7.77k
    static data_type MakeData(void *const *p) {
249
7.77k
      return p ? 
data_type((const llvm::ImmutableListImpl<T> *) *p)7.51k
250
7.77k
               : 
data_type(nullptr)262
;
251
7.77k
    }
252
253
435
    static void *MakeVoidPtr(data_type D) {
254
435
      return const_cast<llvm::ImmutableListImpl<T> *>(D.getInternalPointer());
255
435
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<clang::ento::MemRegion const*> >::MakeVoidPtr(llvm::ImmutableList<clang::ento::MemRegion const*>)
Line
Count
Source
253
82
    static void *MakeVoidPtr(data_type D) {
254
82
      return const_cast<llvm::ImmutableListImpl<T> *>(D.getInternalPointer());
255
82
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<LoopState> >::MakeVoidPtr(llvm::ImmutableList<LoopState>)
Line
Count
Source
253
353
    static void *MakeVoidPtr(data_type D) {
254
353
      return const_cast<llvm::ImmutableListImpl<T> *>(D.getInternalPointer());
255
353
    }
256
257
241
    static context_type MakeContext(void *p) {
258
241
      return *((typename data_type::Factory *) p);
259
241
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<clang::ento::MemRegion const*> >::MakeContext(void*)
Line
Count
Source
257
53
    static context_type MakeContext(void *p) {
258
53
      return *((typename data_type::Factory *) p);
259
53
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<LoopState> >::MakeContext(void*)
Line
Count
Source
257
188
    static context_type MakeContext(void *p) {
258
188
      return *((typename data_type::Factory *) p);
259
188
    }
260
261
123
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
262
123
      return new typename data_type::Factory(Alloc);
263
123
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<clang::ento::MemRegion const*> >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
261
37
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
262
37
      return new typename data_type::Factory(Alloc);
263
37
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<LoopState> >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
261
86
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
262
86
      return new typename data_type::Factory(Alloc);
263
86
    }
264
265
123
    static void DeleteContext(void *Ctx) {
266
123
      delete (typename data_type::Factory *) Ctx;
267
123
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<clang::ento::MemRegion const*> >::DeleteContext(void*)
Line
Count
Source
265
37
    static void DeleteContext(void *Ctx) {
266
37
      delete (typename data_type::Factory *) Ctx;
267
37
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<LoopState> >::DeleteContext(void*)
Line
Count
Source
265
86
    static void DeleteContext(void *Ctx) {
266
86
      delete (typename data_type::Factory *) Ctx;
267
86
    }
268
  };
269
270
  // Partial specialization for bool.
271
  template <> struct ProgramStatePartialTrait<bool> {
272
    using data_type = bool;
273
274
5.12k
    static data_type MakeData(void *const *p) {
275
5.12k
      return p ? 
(data_type) (uintptr_t) *p1.08k
276
5.12k
               : 
data_type()4.04k
;
277
5.12k
    }
278
279
256
    static void *MakeVoidPtr(data_type d) {
280
256
      return (void *) (uintptr_t) d;
281
256
    }
282
  };
283
284
  // Partial specialization for unsigned.
285
  template <> struct ProgramStatePartialTrait<unsigned> {
286
    using data_type = unsigned;
287
288
197
    static data_type MakeData(void *const *p) {
289
197
      return p ? 
(data_type) (uintptr_t) *p83
290
197
               : 
data_type()114
;
291
197
    }
292
293
49
    static void *MakeVoidPtr(data_type d) {
294
49
      return (void *) (uintptr_t) d;
295
49
    }
296
  };
297
298
  // Partial specialization for void*.
299
  template <> struct ProgramStatePartialTrait<void *> {
300
    using data_type = void *;
301
302
0
    static data_type MakeData(void *const *p) {
303
0
      return p ? *p
304
0
               : data_type();
305
0
    }
306
307
0
    static void *MakeVoidPtr(data_type d) {
308
0
      return d;
309
0
    }
310
  };
311
312
  // Partial specialization for const void *.
313
  template <> struct ProgramStatePartialTrait<const void *> {
314
    using data_type = const void *;
315
316
58.1k
    static data_type MakeData(void *const *p) {
317
58.1k
      return p ? 
*p95
:
data_type()58.0k
;
318
58.1k
    }
319
320
49
    static void *MakeVoidPtr(data_type d) {
321
49
      return const_cast<void *>(d);
322
49
    }
323
  };
324
325
} // namespace ento
326
} // namespace clang
327
328
#endif // LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_PROGRAMSTATETRAIT_H