Coverage Report

Created: 2020-02-15 09:57

/Users/buildslave/jenkins/workspace/coverage/llvm-project/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
7.37M
        static void *GDMIndex() { static int Index; return &Index; } \
BasicObjCFoundationChecks.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerCountMap>::GDMIndex()
Line
Count
Source
43
4.52k
        static void *GDMIndex() { static int Index; return &Index; } \
BasicObjCFoundationChecks.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerNonEmptyMap>::GDMIndex()
Line
Count
Source
43
2.09k
        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
303k
        static void *GDMIndex() { static int Index; return &Index; } \
CheckObjCDealloc.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::UnreleasedIvarMap>::GDMIndex()
Line
Count
Source
43
5.43k
        static void *GDMIndex() { static int Index; return &Index; } \
DynamicTypePropagation.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::MostSpecializedTypeArgsMap>::GDMIndex()
Line
Count
Source
43
469k
        static void *GDMIndex() { static int Index; return &Index; } \
ExprInspectionChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::MarkedSymbols>::GDMIndex()
Line
Count
Source
43
151k
        static void *GDMIndex() { static int Index; return &Index; } \
ExprInspectionChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DenotedSymbols>::GDMIndex()
Line
Count
Source
43
156k
        static void *GDMIndex() { static int Index; return &Index; } \
FuchsiaHandleChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::HStateMap>::GDMIndex()
Line
Count
Source
43
1.82k
        static void *GDMIndex() { static int Index; return &Index; } \
GenericTaintChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TaintArgsOnPostVisit>::GDMIndex()
Line
Count
Source
43
1.56k
        static void *GDMIndex() { static int Index; return &Index; } \
InnerPointerChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RawPtrMap>::GDMIndex()
Line
Count
Source
43
76.7k
        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.81k
        static void *GDMIndex() { static int Index; return &Index; } \
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::GDMIndex()
Line
Count
Source
43
543k
        static void *GDMIndex() { static int Index; return &Index; } \
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocPairs>::GDMIndex()
Line
Count
Source
43
405k
        static void *GDMIndex() { static int Index; return &Index; } \
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::FreeReturnValue>::GDMIndex()
Line
Count
Source
43
235k
        static void *GDMIndex() { static int Index; return &Index; } \
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocSizeZeroSymbols>::GDMIndex()
Line
Count
Source
43
13.5k
        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
226k
        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.9k
        static void *GDMIndex() { static int Index; return &Index; } \
NullabilityChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::InvariantViolated>::GDMIndex()
Line
Count
Source
43
5.35k
        static void *GDMIndex() { static int Index; return &Index; } \
ObjCContainersChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ArraySizeMap>::GDMIndex()
Line
Count
Source
43
1.19k
        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
523
        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)::DestroyRetVal>::GDMIndex()
Line
Count
Source
43
32.5k
        static void *GDMIndex() { static int Index; return &Index; } \
PthreadLockChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LockMap>::GDMIndex()
Line
Count
Source
43
33.1k
        static void *GDMIndex() { static int Index; return &Index; } \
PthreadLockChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LockSet>::GDMIndex()
Line
Count
Source
43
371
        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
602
        static void *GDMIndex() { static int Index; return &Index; } \
StreamChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::GDMIndex()
Line
Count
Source
43
597
        static void *GDMIndex() { static int Index; return &Index; } \
Taint.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TaintMap>::GDMIndex()
Line
Count
Source
43
28.8k
        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.31k
        static void *GDMIndex() { static int Index; return &Index; } \
TrustNonnullChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NonNullImplicationMap>::GDMIndex()
Line
Count
Source
43
6.64k
        static void *GDMIndex() { static int Index; return &Index; } \
TrustNonnullChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NullImplicationMap>::GDMIndex()
Line
Count
Source
43
6.64k
        static void *GDMIndex() { static int Index; return &Index; } \
UninitializedObjectChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::AnalyzedRegions>::GDMIndex()
Line
Count
Source
43
4.15k
        static void *GDMIndex() { static int Index; return &Index; } \
VforkChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::VforkResultRegion>::GDMIndex()
Line
Count
Source
43
642
        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
8.38k
        static void *GDMIndex() { static int Index; return &Index; } \
DynamicType.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicTypeMap>::GDMIndex()
Line
Count
Source
43
494k
        static void *GDMIndex() { static int Index; return &Index; } \
DynamicType.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicCastMap>::GDMIndex()
Line
Count
Source
43
2.58M
        static void *GDMIndex() { static int Index; return &Index; } \
ExprEngine.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ObjectsUnderConstruction>::GDMIndex()
Line
Count
Source
43
1.37M
        static void *GDMIndex() { static int Index; return &Index; } \
ExprEngine.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::InitializedGlobalsSet>::GDMIndex()
Line
Count
Source
43
769
        static void *GDMIndex() { static int Index; return &Index; } \
ExprEngineCallAndReturn.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicDispatchBifurcationMap>::GDMIndex()
Line
Count
Source
43
69
        static void *GDMIndex() { static int Index; return &Index; } \
LoopUnrolling.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LoopStack>::GDMIndex()
Line
Count
Source
43
8.32k
        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
73.8k
        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
73.8k
        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; } \
clang::ento::ProgramStateTrait<llvm::ImmutableSet<clang::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> > >::GDMIndex()
Line
Count
Source
58
54
        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
6.22M
    static data_type MakeData(void *const *p) {
154
6.22M
      return p ? 
data_type((typename data_type::TreeTy *) *p)3.07M
155
6.22M
               : 
data_type(nullptr)3.14M
;
156
6.22M
    }
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
250k
    static data_type MakeData(void *const *p) {
154
250k
      return p ? 
data_type((typename data_type::TreeTy *) *p)5.01k
155
250k
               : 
data_type(nullptr)245k
;
156
250k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> > >::MakeData(void* const*)
Line
Count
Source
153
861
    static data_type MakeData(void *const *p) {
154
861
      return p ? 
data_type((typename data_type::TreeTy *) *p)682
155
861
               : 
data_type(nullptr)179
;
156
861
    }
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
295k
    static data_type MakeData(void *const *p) {
154
295k
      return p ? 
data_type((typename data_type::TreeTy *) *p)7.91k
155
295k
               : 
data_type(nullptr)287k
;
156
295k
    }
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.80k
    static data_type MakeData(void *const *p) {
154
4.80k
      return p ? 
data_type((typename data_type::TreeTy *) *p)1.19k
155
4.80k
               : 
data_type(nullptr)3.61k
;
156
4.80k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::iterator::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::IteratorPosition> > >::MakeData(void* const*)
Line
Count
Source
153
62.3k
    static data_type MakeData(void *const *p) {
154
62.3k
      return p ? 
data_type((typename data_type::TreeTy *) *p)52.2k
155
62.3k
               : 
data_type(nullptr)10.1k
;
156
62.3k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::iterator::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::iterator::IteratorPosition> > >::MakeData(void* const*)
Line
Count
Source
153
36.8k
    static data_type MakeData(void *const *p) {
154
36.8k
      return p ? 
data_type((typename data_type::TreeTy *) *p)4.31k
155
36.8k
               : 
data_type(nullptr)32.5k
;
156
36.8k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData> > >::MakeData(void* const*)
Line
Count
Source
153
41.2k
    static data_type MakeData(void *const *p) {
154
41.2k
      return p ? 
data_type((typename data_type::TreeTy *) *p)31.9k
155
41.2k
               : 
data_type(nullptr)9.31k
;
156
41.2k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*> > >::MakeData(void* const*)
Line
Count
Source
153
469k
    static data_type MakeData(void *const *p) {
154
469k
      return p ? 
data_type((typename data_type::TreeTy *) *p)5.94k
155
469k
               : 
data_type(nullptr)463k
;
156
469k
    }
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
153k
    static data_type MakeData(void *const *p) {
154
153k
      return p ? 
data_type((typename data_type::TreeTy *) *p)6.40k
155
153k
               : 
data_type(nullptr)147k
;
156
153k
    }
FuchsiaHandleChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::HandleState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::HandleState> > >::MakeData(void* const*)
Line
Count
Source
153
1.35k
    static data_type MakeData(void *const *p) {
154
1.35k
      return p ? 
data_type((typename data_type::TreeTy *) *p)1.13k
155
1.35k
               : 
data_type(nullptr)225
;
156
1.35k
    }
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
76.4k
    static data_type MakeData(void *const *p) {
154
76.4k
      return p ? 
data_type((typename data_type::TreeTy *) *p)1.93k
155
76.4k
               : 
data_type(nullptr)74.4k
;
156
76.4k
    }
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.64k
    static data_type MakeData(void *const *p) {
154
4.64k
      return p ? 
data_type((typename data_type::TreeTy *) *p)1.58k
155
4.64k
               : 
data_type(nullptr)3.06k
;
156
4.64k
    }
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
418k
    static data_type MakeData(void *const *p) {
154
418k
      return p ? 
data_type((typename data_type::TreeTy *) *p)78.3k
155
418k
               : 
data_type(nullptr)340k
;
156
418k
    }
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
405k
    static data_type MakeData(void *const *p) {
154
405k
      return p ? 
data_type((typename data_type::TreeTy *) *p)1.30k
155
405k
               : 
data_type(nullptr)404k
;
156
405k
    }
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
218k
    static data_type MakeData(void *const *p) {
154
218k
      return p ? 
data_type((typename data_type::TreeTy *) *p)67.8k
155
218k
               : 
data_type(nullptr)150k
;
156
218k
    }
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
29.4k
    static data_type MakeData(void *const *p) {
154
29.4k
      return p ? 
data_type((typename data_type::TreeTy *) *p)24.8k
155
29.4k
               : 
data_type(nullptr)4.67k
;
156
29.4k
    }
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.3k
    static data_type MakeData(void *const *p) {
154
11.3k
      return p ? 
data_type((typename data_type::TreeTy *) *p)7.06k
155
11.3k
               : 
data_type(nullptr)4.25k
;
156
11.3k
    }
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
407
    static data_type MakeData(void *const *p) {
154
407
      return p ? 
data_type((typename data_type::TreeTy *) *p)323
155
407
               : 
data_type(nullptr)84
;
156
407
    }
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
    }
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
17.8k
    static data_type MakeData(void *const *p) {
154
17.8k
      return p ? 
data_type((typename data_type::TreeTy *) *p)12.1k
155
17.8k
               : 
data_type(nullptr)5.71k
;
156
17.8k
    }
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
18.1k
    static data_type MakeData(void *const *p) {
154
18.1k
      return p ? 
data_type((typename data_type::TreeTy *) *p)12.6k
155
18.1k
               : 
data_type(nullptr)5.46k
;
156
18.1k
    }
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.2k
    static data_type MakeData(void *const *p) {
154
97.2k
      return p ? 
data_type((typename data_type::TreeTy *) *p)79.2k
155
97.2k
               : 
data_type(nullptr)18.0k
;
156
97.2k
    }
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
388
    static data_type MakeData(void *const *p) {
154
388
      return p ? 
data_type((typename data_type::TreeTy *) *p)227
155
388
               : 
data_type(nullptr)161
;
156
388
    }
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
471
    static data_type MakeData(void *const *p) {
154
471
      return p ? 
data_type((typename data_type::TreeTy *) *p)194
155
471
               : 
data_type(nullptr)277
;
156
471
    }
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
2.89k
    static data_type MakeData(void *const *p) {
154
2.89k
      return p ? 
data_type((typename data_type::TreeTy *) *p)2.33k
155
2.89k
               : 
data_type(nullptr)554
;
156
2.89k
    }
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.06M
    static data_type MakeData(void *const *p) {
154
1.06M
      return p ? 
data_type((typename data_type::TreeTy *) *p)852k
155
1.06M
               : 
data_type(nullptr)215k
;
156
1.06M
    }
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
475k
    static data_type MakeData(void *const *p) {
154
475k
      return p ? 
data_type((typename data_type::TreeTy *) *p)165k
155
475k
               : 
data_type(nullptr)309k
;
156
475k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> > > > >::MakeData(void* const*)
Line
Count
Source
153
862k
    static data_type MakeData(void *const *p) {
154
862k
      return p ? 
data_type((typename data_type::TreeTy *) *p)860k
155
862k
               : 
data_type(nullptr)1.41k
;
156
862k
    }
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
1.17M
    static data_type MakeData(void *const *p) {
154
1.17M
      return p ? 
data_type((typename data_type::TreeTy *) *p)774k
155
1.17M
               : 
data_type(nullptr)402k
;
156
1.17M
    }
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
33
    static data_type MakeData(void *const *p) {
154
33
      return p ? 
data_type((typename data_type::TreeTy *) *p)6
155
33
               : 
data_type(nullptr)27
;
156
33
    }
157
158
1.19M
    static void *MakeVoidPtr(data_type B) {
159
1.19M
      return B.getRoot();
160
1.19M
    }
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
616
    static void *MakeVoidPtr(data_type B) {
159
616
      return B.getRoot();
160
616
    }
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.25k
    static void *MakeVoidPtr(data_type B) {
159
1.25k
      return B.getRoot();
160
1.25k
    }
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.41k
    static void *MakeVoidPtr(data_type B) {
159
4.41k
      return B.getRoot();
160
4.41k
    }
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::iterator::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::IteratorPosition> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::iterator::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::IteratorPosition> >)
Line
Count
Source
158
8.60k
    static void *MakeVoidPtr(data_type B) {
159
8.60k
      return B.getRoot();
160
8.60k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::iterator::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::iterator::IteratorPosition> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::iterator::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::iterator::IteratorPosition> >)
Line
Count
Source
158
484
    static void *MakeVoidPtr(data_type B) {
159
484
      return B.getRoot();
160
484
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData> >)
Line
Count
Source
158
1.69k
    static void *MakeVoidPtr(data_type B) {
159
1.69k
      return B.getRoot();
160
1.69k
    }
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
1.18k
    static void *MakeVoidPtr(data_type B) {
159
1.18k
      return B.getRoot();
160
1.18k
    }
FuchsiaHandleChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::HandleState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::HandleState> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::HandleState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::HandleState> >)
Line
Count
Source
158
232
    static void *MakeVoidPtr(data_type B) {
159
232
      return B.getRoot();
160
232
    }
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
    }
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.31k
    static void *MakeVoidPtr(data_type B) {
159
4.31k
      return B.getRoot();
160
4.31k
    }
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.82k
    static void *MakeVoidPtr(data_type B) {
159
3.82k
      return B.getRoot();
160
3.82k
    }
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
552
    static void *MakeVoidPtr(data_type B) {
159
552
      return B.getRoot();
160
552
    }
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
392
    static void *MakeVoidPtr(data_type B) {
159
392
      return B.getRoot();
160
392
    }
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
7.51k
    static void *MakeVoidPtr(data_type B) {
159
7.51k
      return B.getRoot();
160
7.51k
    }
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
7.32k
    static void *MakeVoidPtr(data_type B) {
159
7.32k
      return B.getRoot();
160
7.32k
    }
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.7k
    static void *MakeVoidPtr(data_type B) {
159
11.7k
      return B.getRoot();
160
11.7k
    }
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
107
    static void *MakeVoidPtr(data_type B) {
159
107
      return B.getRoot();
160
107
    }
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
63
    static void *MakeVoidPtr(data_type B) {
159
63
      return B.getRoot();
160
63
    }
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
2.74k
    static void *MakeVoidPtr(data_type B) {
159
2.74k
      return B.getRoot();
160
2.74k
    }
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
9.40k
    static void *MakeVoidPtr(data_type B) {
159
9.40k
      return B.getRoot();
160
9.40k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> > > > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> > > >)
Line
Count
Source
158
861k
    static void *MakeVoidPtr(data_type B) {
159
861k
      return B.getRoot();
160
861k
    }
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
97.6k
    static void *MakeVoidPtr(data_type B) {
159
97.6k
      return B.getRoot();
160
97.6k
    }
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
18
    static void *MakeVoidPtr(data_type B) {
159
18
      return B.getRoot();
160
18
    }
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
163k
    static void *MakeVoidPtr(data_type B) {
159
163k
      return B.getRoot();
160
163k
    }
161
162
1.11M
    static lookup_type Lookup(data_type B, key_type K) {
163
1.11M
      return B.lookup(K);
164
1.11M
    }
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.37k
    static lookup_type Lookup(data_type B, key_type K) {
163
8.37k
      return B.lookup(K);
164
8.37k
    }
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.17k
    static lookup_type Lookup(data_type B, key_type K) {
163
1.17k
      return B.lookup(K);
164
1.17k
    }
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::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
1.12k
    static lookup_type Lookup(data_type B, key_type K) {
163
1.12k
      return B.lookup(K);
164
1.12k
    }
FuchsiaHandleChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::HandleState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::HandleState> > >::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::HandleState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::HandleState> >, clang::ento::SymExpr const*)
Line
Count
Source
162
455
    static lookup_type Lookup(data_type B, key_type K) {
163
455
      return B.lookup(K);
164
455
    }
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
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*, clang::ento::iterator::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData> > >::Lookup(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData> >, clang::ento::MemRegion const*)
Line
Count
Source
162
4.39k
    static lookup_type Lookup(data_type B, key_type K) {
163
4.39k
      return B.lookup(K);
164
4.39k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::iterator::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::IteratorPosition> > >::Lookup(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::iterator::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::IteratorPosition> >, clang::ento::MemRegion const*)
Line
Count
Source
162
12.7k
    static lookup_type Lookup(data_type B, key_type K) {
163
12.7k
      return B.lookup(K);
164
12.7k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::iterator::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::iterator::IteratorPosition> > >::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::iterator::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::iterator::IteratorPosition> >, clang::ento::SymExpr const*)
Line
Count
Source
162
420
    static lookup_type Lookup(data_type B, key_type K) {
163
420
      return B.lookup(K);
164
420
    }
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
125k
    static lookup_type Lookup(data_type B, key_type K) {
163
125k
      return B.lookup(K);
164
125k
    }
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
26.0k
    static lookup_type Lookup(data_type B, key_type K) {
163
26.0k
      return B.lookup(K);
164
26.0k
    }
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
28.9k
    static lookup_type Lookup(data_type B, key_type K) {
163
28.9k
      return B.lookup(K);
164
28.9k
    }
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.79k
    static lookup_type Lookup(data_type B, key_type K) {
163
7.79k
      return B.lookup(K);
164
7.79k
    }
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
253
    static lookup_type Lookup(data_type B, key_type K) {
163
253
      return B.lookup(K);
164
253
    }
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
298
    static lookup_type Lookup(data_type B, key_type K) {
163
298
      return B.lookup(K);
164
298
    }
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
57.6k
    static lookup_type Lookup(data_type B, key_type K) {
163
57.6k
      return B.lookup(K);
164
57.6k
    }
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
23
    static lookup_type Lookup(data_type B, key_type K) {
163
23
      return B.lookup(K);
164
23
    }
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
146
    static lookup_type Lookup(data_type B, key_type K) {
163
146
      return B.lookup(K);
164
146
    }
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
7.20k
    static lookup_type Lookup(data_type B, key_type K) {
163
7.20k
      return B.lookup(K);
164
7.20k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> > > > >::Lookup(llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> > > >, clang::ento::MemRegion const*)
Line
Count
Source
162
54
    static lookup_type Lookup(data_type B, key_type K) {
163
54
      return B.lookup(K);
164
54
    }
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
357k
    static lookup_type Lookup(data_type B, key_type K) {
163
357k
      return B.lookup(K);
164
357k
    }
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
15
    static lookup_type Lookup(data_type B, key_type K) {
163
15
      return B.lookup(K);
164
15
    }
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
450k
    static lookup_type Lookup(data_type B, key_type K) {
163
450k
      return B.lookup(K);
164
450k
    }
165
166
    static data_type Set(data_type B, key_type K, value_type E,
167
217k
                         context_type F) {
168
217k
      return F.add(B, K, E);
169
217k
    }
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
1.03k
                         context_type F) {
168
1.03k
      return F.add(B, K, E);
169
1.03k
    }
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::MemRegion const*, clang::ento::iterator::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData> > >::Set(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData> >, clang::ento::MemRegion const*, clang::ento::iterator::ContainerData, llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData> >::Factory&)
Line
Count
Source
167
1.20k
                         context_type F) {
168
1.20k
      return F.add(B, K, E);
169
1.20k
    }
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
721
                         context_type F) {
168
721
      return F.add(B, K, E);
169
721
    }
FuchsiaHandleChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::HandleState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::HandleState> > >::Set(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::HandleState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::HandleState> >, clang::ento::SymExpr const*, (anonymous namespace)::HandleState, llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::HandleState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::HandleState> >::Factory&)
Line
Count
Source
167
131
                         context_type F) {
168
131
      return F.add(B, K, E);
169
131
    }
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
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::iterator::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::IteratorPosition> > >::Set(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::iterator::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::IteratorPosition> >, clang::ento::MemRegion const*, clang::ento::iterator::IteratorPosition, llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::iterator::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::IteratorPosition> >::Factory&)
Line
Count
Source
167
5.47k
                         context_type F) {
168
5.47k
      return F.add(B, K, E);
169
5.47k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::iterator::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::iterator::IteratorPosition> > >::Set(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::iterator::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::iterator::IteratorPosition> >, clang::ento::SymExpr const*, clang::ento::iterator::IteratorPosition, llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::iterator::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::iterator::IteratorPosition> >::Factory&)
Line
Count
Source
167
271
                         context_type F) {
168
271
      return F.add(B, K, E);
169
271
    }
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.64k
                         context_type F) {
168
2.64k
      return F.add(B, K, E);
169
2.64k
    }
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.07k
                         context_type F) {
168
2.07k
      return F.add(B, K, E);
169
2.07k
    }
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
547
                         context_type F) {
168
547
      return F.add(B, K, E);
169
547
    }
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
249
                         context_type F) {
168
249
      return F.add(B, K, E);
169
249
    }
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
35
                         context_type F) {
168
35
      return F.add(B, K, E);
169
35
    }
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.13k
                         context_type F) {
168
4.13k
      return F.add(B, K, E);
169
4.13k
    }
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
63
                         context_type F) {
168
63
      return F.add(B, K, E);
169
63
    }
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
1.38k
                         context_type F) {
168
1.38k
      return F.add(B, K, E);
169
1.38k
    }
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
9.40k
                         context_type F) {
168
9.40k
      return F.add(B, K, E);
169
9.40k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> > > > >::Set(llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> > > >, clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> >, llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> > > >::Factory&)
Line
Count
Source
167
54
                         context_type F) {
168
54
      return F.add(B, K, E);
169
54
    }
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
46.3k
                         context_type F) {
168
46.3k
      return F.add(B, K, E);
169
46.3k
    }
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
18
                         context_type F) {
168
18
      return F.add(B, K, E);
169
18
    }
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
134k
                         context_type F) {
168
134k
      return F.add(B, K, E);
169
134k
    }
170
171
944k
    static data_type Remove(data_type B, key_type K, context_type F) {
172
944k
      return F.remove(B, K);
173
944k
    }
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
524
    static data_type Remove(data_type B, key_type K, context_type F) {
172
524
      return F.remove(B, K);
173
524
    }
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.21k
    static data_type Remove(data_type B, key_type K, context_type F) {
172
1.21k
      return F.remove(B, K);
173
1.21k
    }
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
51
    static data_type Remove(data_type B, key_type K, context_type F) {
172
51
      return F.remove(B, K);
173
51
    }
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::iterator::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData> > >::Remove(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData> >, clang::ento::MemRegion const*, llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData> >::Factory&)
Line
Count
Source
171
491
    static data_type Remove(data_type B, key_type K, context_type F) {
172
491
      return F.remove(B, K);
173
491
    }
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
459
    static data_type Remove(data_type B, key_type K, context_type F) {
172
459
      return F.remove(B, K);
173
459
    }
FuchsiaHandleChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::HandleState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::HandleState> > >::Remove(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::HandleState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::HandleState> >, clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::HandleState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::HandleState> >::Factory&)
Line
Count
Source
171
101
    static data_type Remove(data_type B, key_type K, context_type F) {
172
101
      return F.remove(B, K);
173
101
    }
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
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::iterator::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::IteratorPosition> > >::Remove(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::iterator::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::IteratorPosition> >, clang::ento::MemRegion const*, llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::iterator::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::IteratorPosition> >::Factory&)
Line
Count
Source
171
2.77k
    static data_type Remove(data_type B, key_type K, context_type F) {
172
2.77k
      return F.remove(B, K);
173
2.77k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::iterator::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::iterator::IteratorPosition> > >::Remove(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::iterator::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::iterator::IteratorPosition> >, clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::iterator::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::iterator::IteratorPosition> >::Factory&)
Line
Count
Source
171
213
    static data_type Remove(data_type B, key_type K, context_type F) {
172
213
      return F.remove(B, K);
173
213
    }
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
675
    static data_type Remove(data_type B, key_type K, context_type F) {
172
675
      return F.remove(B, K);
173
675
    }
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.74k
    static data_type Remove(data_type B, key_type K, context_type F) {
172
1.74k
      return F.remove(B, K);
173
1.74k
    }
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
373
    static data_type Remove(data_type B, key_type K, context_type F) {
172
373
      return F.remove(B, K);
173
373
    }
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&)
Line
Count
Source
171
5
    static data_type Remove(data_type B, key_type K, context_type F) {
172
5
      return F.remove(B, K);
173
5
    }
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
7.26k
    static data_type Remove(data_type B, key_type K, context_type F) {
172
7.26k
      return F.remove(B, K);
173
7.26k
    }
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
7.28k
    static data_type Remove(data_type B, key_type K, context_type F) {
172
7.28k
      return F.remove(B, K);
173
7.28k
    }
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.14k
    static data_type Remove(data_type B, key_type K, context_type F) {
172
6.14k
      return F.remove(B, K);
173
6.14k
    }
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
90
    static data_type Remove(data_type B, key_type K, context_type F) {
172
90
      return F.remove(B, K);
173
90
    }
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
1.36k
    static data_type Remove(data_type B, key_type K, context_type F) {
172
1.36k
      return F.remove(B, K);
173
1.36k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> > > > >::Remove(llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> > > >, clang::ento::MemRegion const*, llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> > > >::Factory&)
Line
Count
Source
171
861k
    static data_type Remove(data_type B, key_type K, context_type F) {
172
861k
      return F.remove(B, K);
173
861k
    }
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
51.2k
    static data_type Remove(data_type B, key_type K, context_type F) {
172
51.2k
      return F.remove(B, K);
173
51.2k
    }
174
175
51.9k
    static bool Contains(data_type B, key_type K) {
176
51.9k
      return B.contains(K);
177
51.9k
    }
178
179
1.76M
    static context_type MakeContext(void *p) {
180
1.76M
      return *((typename data_type::Factory *) p);
181
1.76M
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> > >::MakeContext(void*)
Line
Count
Source
179
616
    static context_type MakeContext(void *p) {
180
616
      return *((typename data_type::Factory *) p);
181
616
    }
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.25k
    static context_type MakeContext(void *p) {
180
1.25k
      return *((typename data_type::Factory *) p);
181
1.25k
    }
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.41k
    static context_type MakeContext(void *p) {
180
4.41k
      return *((typename data_type::Factory *) p);
181
4.41k
    }
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::iterator::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::IteratorPosition> > >::MakeContext(void*)
Line
Count
Source
179
8.63k
    static context_type MakeContext(void *p) {
180
8.63k
      return *((typename data_type::Factory *) p);
181
8.63k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::iterator::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::iterator::IteratorPosition> > >::MakeContext(void*)
Line
Count
Source
179
863
    static context_type MakeContext(void *p) {
180
863
      return *((typename data_type::Factory *) p);
181
863
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData> > >::MakeContext(void*)
Line
Count
Source
179
1.69k
    static context_type MakeContext(void *p) {
180
1.69k
      return *((typename data_type::Factory *) p);
181
1.69k
    }
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
1.18k
    static context_type MakeContext(void *p) {
180
1.18k
      return *((typename data_type::Factory *) p);
181
1.18k
    }
FuchsiaHandleChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::HandleState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::HandleState> > >::MakeContext(void*)
Line
Count
Source
179
232
    static context_type MakeContext(void *p) {
180
232
      return *((typename data_type::Factory *) p);
181
232
    }
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
    }
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
120k
    static context_type MakeContext(void *p) {
180
120k
      return *((typename data_type::Factory *) p);
181
120k
    }
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.82k
    static context_type MakeContext(void *p) {
180
3.82k
      return *((typename data_type::Factory *) p);
181
3.82k
    }
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
552
    static context_type MakeContext(void *p) {
180
552
      return *((typename data_type::Factory *) p);
181
552
    }
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
392
    static context_type MakeContext(void *p) {
180
392
      return *((typename data_type::Factory *) p);
181
392
    }
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
7.51k
    static context_type MakeContext(void *p) {
180
7.51k
      return *((typename data_type::Factory *) p);
181
7.51k
    }
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
7.32k
    static context_type MakeContext(void *p) {
180
7.32k
      return *((typename data_type::Factory *) p);
181
7.32k
    }
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.6k
    static context_type MakeContext(void *p) {
180
17.6k
      return *((typename data_type::Factory *) p);
181
17.6k
    }
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
107
    static context_type MakeContext(void *p) {
180
107
      return *((typename data_type::Factory *) p);
181
107
    }
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
63
    static context_type MakeContext(void *p) {
180
63
      return *((typename data_type::Factory *) p);
181
63
    }
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
2.74k
    static context_type MakeContext(void *p) {
180
2.74k
      return *((typename data_type::Factory *) p);
181
2.74k
    }
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
605k
    static context_type MakeContext(void *p) {
180
605k
      return *((typename data_type::Factory *) p);
181
605k
    }
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
9.40k
    static context_type MakeContext(void *p) {
180
9.40k
      return *((typename data_type::Factory *) p);
181
9.40k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> > > > >::MakeContext(void*)
Line
Count
Source
179
861k
    static context_type MakeContext(void *p) {
180
861k
      return *((typename data_type::Factory *) p);
181
861k
    }
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
97.6k
    static context_type MakeContext(void *p) {
180
97.6k
      return *((typename data_type::Factory *) p);
181
97.6k
    }
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
18
    static context_type MakeContext(void *p) {
180
18
      return *((typename data_type::Factory *) p);
181
18
    }
182
183
29.8k
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
29.8k
      return new typename data_type::Factory(Alloc);
185
29.8k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&)
Line
Count
Source
183
106
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
106
      return new typename data_type::Factory(Alloc);
185
106
    }
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, 128ul>&)
Line
Count
Source
183
639
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
639
      return new typename data_type::Factory(Alloc);
185
639
    }
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, 128ul>&)
Line
Count
Source
183
475
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
475
      return new typename data_type::Factory(Alloc);
185
475
    }
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, 128ul>&)
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::iterator::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::IteratorPosition> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&)
Line
Count
Source
183
626
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
626
      return new typename data_type::Factory(Alloc);
185
626
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::iterator::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::iterator::IteratorPosition> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&)
Line
Count
Source
183
367
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
367
      return new typename data_type::Factory(Alloc);
185
367
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&)
Line
Count
Source
183
633
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
633
      return new typename data_type::Factory(Alloc);
185
633
    }
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, 128ul>&)
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, 128ul>&)
Line
Count
Source
183
399
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
399
      return new typename data_type::Factory(Alloc);
185
399
    }
FuchsiaHandleChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::HandleState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::HandleState> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&)
Line
Count
Source
183
28
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
28
      return new typename data_type::Factory(Alloc);
185
28
    }
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, 128ul>&)
Line
Count
Source
183
31
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
31
      return new typename data_type::Factory(Alloc);
185
31
    }
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, 128ul>&)
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, 128ul>&)
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, 128ul>&)
Line
Count
Source
183
3.73k
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
3.73k
      return new typename data_type::Factory(Alloc);
185
3.73k
    }
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, 128ul>&)
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, 128ul>&)
Line
Count
Source
183
322
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
322
      return new typename data_type::Factory(Alloc);
185
322
    }
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, 128ul>&)
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, 128ul>&)
Line
Count
Source
183
159
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
159
      return new typename data_type::Factory(Alloc);
185
159
    }
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, 128ul>&)
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, 128ul>&)
Line
Count
Source
183
79
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
79
      return new typename data_type::Factory(Alloc);
185
79
    }
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, 128ul>&)
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, 128ul>&)
Line
Count
Source
183
834
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
834
      return new typename data_type::Factory(Alloc);
185
834
    }
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, 128ul>&)
Line
Count
Source
183
775
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
775
      return new typename data_type::Factory(Alloc);
185
775
    }
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, 128ul>&)
Line
Count
Source
183
1.07k
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
1.07k
      return new typename data_type::Factory(Alloc);
185
1.07k
    }
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, 128ul>&)
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, 128ul>&)
Line
Count
Source
183
20
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
20
      return new typename data_type::Factory(Alloc);
185
20
    }
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, 128ul>&)
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, 128ul>&)
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, 128ul>&)
Line
Count
Source
183
538
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
538
      return new typename data_type::Factory(Alloc);
185
538
    }
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, 128ul>&)
Line
Count
Source
183
12.5k
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
12.5k
      return new typename data_type::Factory(Alloc);
185
12.5k
    }
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, 128ul>&)
Line
Count
Source
183
1.44k
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
1.44k
      return new typename data_type::Factory(Alloc);
185
1.44k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> > > > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&)
Line
Count
Source
183
1.17k
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
1.17k
      return new typename data_type::Factory(Alloc);
185
1.17k
    }
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, 128ul>&)
Line
Count
Source
183
3.18k
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
3.18k
      return new typename data_type::Factory(Alloc);
185
3.18k
    }
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, 128ul>&)
Line
Count
Source
183
9
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
184
9
      return new typename data_type::Factory(Alloc);
185
9
    }
186
187
29.8k
    static void DeleteContext(void *Ctx) {
188
29.8k
      delete (typename data_type::Factory *) Ctx;
189
29.8k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> > >::DeleteContext(void*)
Line
Count
Source
187
106
    static void DeleteContext(void *Ctx) {
188
106
      delete (typename data_type::Factory *) Ctx;
189
106
    }
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
639
    static void DeleteContext(void *Ctx) {
188
639
      delete (typename data_type::Factory *) Ctx;
189
639
    }
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
475
    static void DeleteContext(void *Ctx) {
188
475
      delete (typename data_type::Factory *) Ctx;
189
475
    }
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::iterator::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::IteratorPosition> > >::DeleteContext(void*)
Line
Count
Source
187
626
    static void DeleteContext(void *Ctx) {
188
626
      delete (typename data_type::Factory *) Ctx;
189
626
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::iterator::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::iterator::IteratorPosition> > >::DeleteContext(void*)
Line
Count
Source
187
367
    static void DeleteContext(void *Ctx) {
188
367
      delete (typename data_type::Factory *) Ctx;
189
367
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData> > >::DeleteContext(void*)
Line
Count
Source
187
633
    static void DeleteContext(void *Ctx) {
188
633
      delete (typename data_type::Factory *) Ctx;
189
633
    }
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
399
    static void DeleteContext(void *Ctx) {
188
399
      delete (typename data_type::Factory *) Ctx;
189
399
    }
FuchsiaHandleChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::HandleState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::HandleState> > >::DeleteContext(void*)
Line
Count
Source
187
28
    static void DeleteContext(void *Ctx) {
188
28
      delete (typename data_type::Factory *) Ctx;
189
28
    }
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
    }
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.73k
    static void DeleteContext(void *Ctx) {
188
3.73k
      delete (typename data_type::Factory *) Ctx;
189
3.73k
    }
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
322
    static void DeleteContext(void *Ctx) {
188
322
      delete (typename data_type::Factory *) Ctx;
189
322
    }
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
159
    static void DeleteContext(void *Ctx) {
188
159
      delete (typename data_type::Factory *) Ctx;
189
159
    }
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
79
    static void DeleteContext(void *Ctx) {
188
79
      delete (typename data_type::Factory *) Ctx;
189
79
    }
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
834
    static void DeleteContext(void *Ctx) {
188
834
      delete (typename data_type::Factory *) Ctx;
189
834
    }
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
775
    static void DeleteContext(void *Ctx) {
188
775
      delete (typename data_type::Factory *) Ctx;
189
775
    }
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.07k
    static void DeleteContext(void *Ctx) {
188
1.07k
      delete (typename data_type::Factory *) Ctx;
189
1.07k
    }
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
20
    static void DeleteContext(void *Ctx) {
188
20
      delete (typename data_type::Factory *) Ctx;
189
20
    }
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
538
    static void DeleteContext(void *Ctx) {
188
538
      delete (typename data_type::Factory *) Ctx;
189
538
    }
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
12.5k
    static void DeleteContext(void *Ctx) {
188
12.5k
      delete (typename data_type::Factory *) Ctx;
189
12.5k
    }
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.44k
    static void DeleteContext(void *Ctx) {
188
1.44k
      delete (typename data_type::Factory *) Ctx;
189
1.44k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> > > > >::DeleteContext(void*)
Line
Count
Source
187
1.17k
    static void DeleteContext(void *Ctx) {
188
1.17k
      delete (typename data_type::Factory *) Ctx;
189
1.17k
    }
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
3.18k
    static void DeleteContext(void *Ctx) {
188
3.18k
      delete (typename data_type::Factory *) Ctx;
189
3.18k
    }
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
9
    static void DeleteContext(void *Ctx) {
188
9
      delete (typename data_type::Factory *) Ctx;
189
9
    }
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
178k
    static data_type MakeData(void *const *p) {
200
178k
      return p ? 
data_type((typename data_type::TreeTy *) *p)4.27k
201
178k
               : 
data_type(nullptr)174k
;
202
178k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > >::MakeData(void* const*)
Line
Count
Source
199
165k
    static data_type MakeData(void *const *p) {
200
165k
      return p ? 
data_type((typename data_type::TreeTy *) *p)345
201
165k
               : 
data_type(nullptr)165k
;
202
165k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> > >::MakeData(void* const*)
Line
Count
Source
199
1.01k
    static data_type MakeData(void *const *p) {
200
1.01k
      return p ? 
data_type((typename data_type::TreeTy *) *p)199
201
1.01k
               : 
data_type(nullptr)813
;
202
1.01k
    }
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.08k
    static data_type MakeData(void *const *p) {
200
2.08k
      return p ? 
data_type((typename data_type::TreeTy *) *p)116
201
2.08k
               : 
data_type(nullptr)1.97k
;
202
2.08k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> > >::MakeData(void* const*)
Line
Count
Source
199
9.39k
    static data_type MakeData(void *const *p) {
200
9.39k
      return p ? 
data_type((typename data_type::TreeTy *) *p)3.57k
201
9.39k
               : 
data_type(nullptr)5.82k
;
202
9.39k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> > >::MakeData(void* const*)
Line
Count
Source
199
387
    static data_type MakeData(void *const *p) {
200
387
      return p ? 
data_type((typename data_type::TreeTy *) *p)41
201
387
               : 
data_type(nullptr)346
;
202
387
    }
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.26k
    static void *MakeVoidPtr(data_type B) {
205
1.26k
      return B.getRoot();
206
1.26k
    }
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
70
    static void *MakeVoidPtr(data_type B) {
205
70
      return B.getRoot();
206
70
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> > >::MakeVoidPtr(llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> >)
Line
Count
Source
204
199
    static void *MakeVoidPtr(data_type B) {
205
199
      return B.getRoot();
206
199
    }
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
116
    static void *MakeVoidPtr(data_type B) {
205
116
      return B.getRoot();
206
116
    }
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
191
    static void *MakeVoidPtr(data_type B) {
205
191
      return B.getRoot();
206
191
    }
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
829
    static data_type Add(data_type B, key_type K, context_type F) {
209
829
      return F.add(B, K);
210
829
    }
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
61
    static data_type Add(data_type B, key_type K, context_type F) {
209
61
      return F.add(B, K);
210
61
    }
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
199
    static data_type Add(data_type B, key_type K, context_type F) {
209
199
      return F.add(B, K);
210
199
    }
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
191
    static data_type Add(data_type B, key_type K, context_type F) {
209
191
      return F.add(B, K);
210
191
    }
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
385
    static data_type Remove(data_type B, key_type K, context_type F) {
213
385
      return F.remove(B, K);
214
385
    }
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
9
    static data_type Remove(data_type B, key_type K, context_type F) {
213
9
      return F.remove(B, K);
214
9
    }
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
20.1k
    static bool Contains(data_type B, key_type K) {
217
20.1k
      return B.contains(K);
218
20.1k
    }
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.9k
    static bool Contains(data_type B, key_type K) {
217
13.9k
      return B.contains(K);
218
13.9k
    }
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
196
    static bool Contains(data_type B, key_type K) {
217
196
      return B.contains(K);
218
196
    }
219
220
75.1k
    static context_type MakeContext(void *p) {
221
75.1k
      return *((typename data_type::Factory *) p);
222
75.1k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > >::MakeContext(void*)
Line
Count
Source
220
73.8k
    static context_type MakeContext(void *p) {
221
73.8k
      return *((typename data_type::Factory *) p);
222
73.8k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> > >::MakeContext(void*)
Line
Count
Source
220
199
    static context_type MakeContext(void *p) {
221
199
      return *((typename data_type::Factory *) p);
222
199
    }
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
116
    static context_type MakeContext(void *p) {
221
116
      return *((typename data_type::Factory *) p);
222
116
    }
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::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> > >::MakeContext(void*)
Line
Count
Source
220
54
    static context_type MakeContext(void *p) {
221
54
      return *((typename data_type::Factory *) p);
222
54
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> > >::MakeContext(void*)
Line
Count
Source
220
191
    static context_type MakeContext(void *p) {
221
191
      return *((typename data_type::Factory *) p);
222
191
    }
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.76k
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
225
1.76k
      return new typename data_type::Factory(Alloc);
226
1.76k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&)
Line
Count
Source
224
1.21k
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
225
1.21k
      return new typename data_type::Factory(Alloc);
226
1.21k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&)
Line
Count
Source
224
86
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
225
86
      return new typename data_type::Factory(Alloc);
226
86
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ParmVarDecl const*, llvm::ImutContainerInfo<clang::ParmVarDecl const*> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&)
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, 128ul>&)
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, 128ul>&)
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::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&)
Line
Count
Source
224
18
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
225
18
      return new typename data_type::Factory(Alloc);
226
18
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&)
Line
Count
Source
224
171
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
225
171
      return new typename data_type::Factory(Alloc);
226
171
    }
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, 128ul>&)
227
228
1.76k
    static void DeleteContext(void *Ctx) {
229
1.76k
      delete (typename data_type::Factory *) Ctx;
230
1.76k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > >::DeleteContext(void*)
Line
Count
Source
228
1.21k
    static void DeleteContext(void *Ctx) {
229
1.21k
      delete (typename data_type::Factory *) Ctx;
230
1.21k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> > >::DeleteContext(void*)
Line
Count
Source
228
86
    static void DeleteContext(void *Ctx) {
229
86
      delete (typename data_type::Factory *) Ctx;
230
86
    }
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::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> > >::DeleteContext(void*)
Line
Count
Source
228
18
    static void DeleteContext(void *Ctx) {
229
18
      delete (typename data_type::Factory *) Ctx;
230
18
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> > >::DeleteContext(void*)
Line
Count
Source
228
171
    static void DeleteContext(void *Ctx) {
229
171
      delete (typename data_type::Factory *) Ctx;
230
171
    }
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
271
    static data_type Add(data_type L, key_type K, context_type F) {
241
271
      return F.add(K, L);
242
271
    }
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
86
    static data_type Add(data_type L, key_type K, context_type F) {
241
86
      return F.add(K, L);
242
86
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<LoopState> >::Add(llvm::ImmutableList<LoopState>, LoopState, llvm::ImmutableListFactory<LoopState>&)
Line
Count
Source
240
185
    static data_type Add(data_type L, key_type K, context_type F) {
241
185
      return F.add(K, L);
242
185
    }
243
244
    static bool Contains(data_type L, key_type K) {
245
      return L.contains(K);
246
    }
247
248
7.94k
    static data_type MakeData(void *const *p) {
249
7.94k
      return p ? 
data_type((const llvm::ImmutableListImpl<T> *) *p)7.59k
250
7.94k
               : 
data_type(nullptr)343
;
251
7.94k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<clang::ento::MemRegion const*> >::MakeData(void* const*)
Line
Count
Source
248
154
    static data_type MakeData(void *const *p) {
249
154
      return p ? 
data_type((const llvm::ImmutableListImpl<T> *) *p)73
250
154
               : 
data_type(nullptr)81
;
251
154
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<LoopState> >::MakeData(void* const*)
Line
Count
Source
248
7.78k
    static data_type MakeData(void *const *p) {
249
7.78k
      return p ? 
data_type((const llvm::ImmutableListImpl<T> *) *p)7.52k
250
7.78k
               : 
data_type(nullptr)262
;
251
7.78k
    }
252
253
482
    static void *MakeVoidPtr(data_type D) {
254
482
      return const_cast<llvm::ImmutableListImpl<T> *>(D.getInternalPointer());
255
482
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<clang::ento::MemRegion const*> >::MakeVoidPtr(llvm::ImmutableList<clang::ento::MemRegion const*>)
Line
Count
Source
253
131
    static void *MakeVoidPtr(data_type D) {
254
131
      return const_cast<llvm::ImmutableListImpl<T> *>(D.getInternalPointer());
255
131
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<LoopState> >::MakeVoidPtr(llvm::ImmutableList<LoopState>)
Line
Count
Source
253
351
    static void *MakeVoidPtr(data_type D) {
254
351
      return const_cast<llvm::ImmutableListImpl<T> *>(D.getInternalPointer());
255
351
    }
256
257
271
    static context_type MakeContext(void *p) {
258
271
      return *((typename data_type::Factory *) p);
259
271
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<clang::ento::MemRegion const*> >::MakeContext(void*)
Line
Count
Source
257
86
    static context_type MakeContext(void *p) {
258
86
      return *((typename data_type::Factory *) p);
259
86
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<LoopState> >::MakeContext(void*)
Line
Count
Source
257
185
    static context_type MakeContext(void *p) {
258
185
      return *((typename data_type::Factory *) p);
259
185
    }
260
261
149
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
262
149
      return new typename data_type::Factory(Alloc);
263
149
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<clang::ento::MemRegion const*> >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&)
Line
Count
Source
261
63
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
262
63
      return new typename data_type::Factory(Alloc);
263
63
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<LoopState> >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&)
Line
Count
Source
261
86
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
262
86
      return new typename data_type::Factory(Alloc);
263
86
    }
264
265
149
    static void DeleteContext(void *Ctx) {
266
149
      delete (typename data_type::Factory *) Ctx;
267
149
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<clang::ento::MemRegion const*> >::DeleteContext(void*)
Line
Count
Source
265
63
    static void DeleteContext(void *Ctx) {
266
63
      delete (typename data_type::Factory *) Ctx;
267
63
    }
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.39k
    static data_type MakeData(void *const *p) {
275
5.39k
      return p ? 
(data_type) (uintptr_t) *p1.08k
276
5.39k
               : 
data_type()4.31k
;
277
5.39k
    }
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
97.8k
    static data_type MakeData(void *const *p) {
317
97.8k
      return p ? 
*p97
:
data_type()97.7k
;
318
97.8k
    }
319
320
51
    static void *MakeVoidPtr(data_type d) {
321
51
      return const_cast<void *>(d);
322
51
    }
323
  };
324
325
} // namespace ento
326
} // namespace clang
327
328
#endif // LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_PROGRAMSTATETRAIT_H