/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 | 12.5M | static void *GDMIndex() { static int Index; return &Index; } \ BasicObjCFoundationChecks.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerCountMap>::GDMIndex() Line | Count | Source | 43 | 4.88k | static void *GDMIndex() { static int Index; return &Index; } \ |
BasicObjCFoundationChecks.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerNonEmptyMap>::GDMIndex() Line | Count | Source | 43 | 2.28k | 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 | 330k | static void *GDMIndex() { static int Index; return &Index; } \ |
CheckObjCDealloc.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::UnreleasedIvarMap>::GDMIndex() Line | Count | Source | 43 | 5.45k | static void *GDMIndex() { static int Index; return &Index; } \ |
DynamicTypePropagation.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::MostSpecializedTypeArgsMap>::GDMIndex() Line | Count | Source | 43 | 361k | static void *GDMIndex() { static int Index; return &Index; } \ |
ExprInspectionChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::MarkedSymbols>::GDMIndex() Line | Count | Source | 43 | 174k | static void *GDMIndex() { static int Index; return &Index; } \ |
ExprInspectionChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DenotedSymbols>::GDMIndex() Line | Count | Source | 43 | 182k | static void *GDMIndex() { static int Index; return &Index; } \ |
FuchsiaHandleChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::HStateMap>::GDMIndex() Line | Count | Source | 43 | 2.35k | static void *GDMIndex() { static int Index; return &Index; } \ |
GenericTaintChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TaintArgsOnPostVisit>::GDMIndex() Line | Count | Source | 43 | 1.58k | static void *GDMIndex() { static int Index; return &Index; } \ |
InnerPointerChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RawPtrMap>::GDMIndex() Line | Count | Source | 43 | 100k | 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 | 5.12k | static void *GDMIndex() { static int Index; return &Index; } \ |
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::GDMIndex() Line | Count | Source | 43 | 575k | static void *GDMIndex() { static int Index; return &Index; } \ |
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::FreeReturnValue>::GDMIndex() Line | Count | Source | 43 | 263k | static void *GDMIndex() { static int Index; return &Index; } \ |
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocSizeZeroSymbols>::GDMIndex() Line | Count | Source | 43 | 13.2k | static void *GDMIndex() { static int Index; return &Index; } \ |
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocPairs>::GDMIndex() Line | Count | Source | 43 | 435k | 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 | 265k | static void *GDMIndex() { static int Index; return &Index; } \ |
NSErrorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NSErrorOut>::GDMIndex() Line | Count | Source | 43 | 26 | static void *GDMIndex() { static int Index; return &Index; } \ |
NSErrorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CFErrorOut>::GDMIndex() Line | Count | Source | 43 | 39 | static void *GDMIndex() { static int Index; return &Index; } \ |
NullabilityChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NullabilityMap>::GDMIndex() Line | Count | Source | 43 | 12.5k | static void *GDMIndex() { static int Index; return &Index; } \ |
NullabilityChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::InvariantViolated>::GDMIndex() Line | Count | Source | 43 | 5.21k | static void *GDMIndex() { static int Index; return &Index; } \ |
ObjCContainersChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ArraySizeMap>::GDMIndex() Line | Count | Source | 43 | 1.37k | 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 | 539 | 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.4k | static void *GDMIndex() { static int Index; return &Index; } \ |
PthreadLockChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LockMap>::GDMIndex() Line | Count | Source | 43 | 33.0k | 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 | 128k | static void *GDMIndex() { static int Index; return &Index; } \ |
SimpleStreamChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::GDMIndex() Line | Count | Source | 43 | 465 | static void *GDMIndex() { static int Index; return &Index; } \ |
SmartPtrModeling.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TrackedRegionMap>::GDMIndex() Line | Count | Source | 43 | 473k | static void *GDMIndex() { static int Index; return &Index; } \ |
StreamChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::GDMIndex() Line | Count | Source | 43 | 2.93k | static void *GDMIndex() { static int Index; return &Index; } \ |
Taint.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TaintMap>::GDMIndex() Line | Count | Source | 43 | 28.9k | 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.70k | static void *GDMIndex() { static int Index; return &Index; } \ |
TrustNonnullChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NullImplicationMap>::GDMIndex() Line | Count | Source | 43 | 6.70k | 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 | 2.09k | 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 | 14.9k | static void *GDMIndex() { static int Index; return &Index; } \ |
DynamicType.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicTypeMap>::GDMIndex() Line | Count | Source | 43 | 378k | static void *GDMIndex() { static int Index; return &Index; } \ |
DynamicType.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicClassObjectMap>::GDMIndex() Line | Count | Source | 43 | 350k | static void *GDMIndex() { static int Index; return &Index; } \ |
DynamicType.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicCastMap>::GDMIndex() Line | Count | Source | 43 | 3.82k | static void *GDMIndex() { static int Index; return &Index; } \ |
ExprEngine.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ObjectsUnderConstruction>::GDMIndex() Line | Count | Source | 43 | 1.02M | static void *GDMIndex() { static int Index; return &Index; } \ |
ExprEngine.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ObjCForHasMoreIterations>::GDMIndex() Line | Count | Source | 43 | 5.60k | static void *GDMIndex() { static int Index; return &Index; } \ |
ExprEngine.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::InitializedGlobalsSet>::GDMIndex() Line | Count | Source | 43 | 781 | 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.46k | static void *GDMIndex() { static int Index; return &Index; } \ |
RangeConstraintManager.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ClassMembers>::GDMIndex() Line | Count | Source | 43 | 2.96M | static void *GDMIndex() { static int Index; return &Index; } \ |
RangeConstraintManager.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ConstraintRange>::GDMIndex() Line | Count | Source | 43 | 1.74M | static void *GDMIndex() { static int Index; return &Index; } \ |
RangeConstraintManager.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ClassMap>::GDMIndex() Line | Count | Source | 43 | 1.43M | static void *GDMIndex() { static int Index; return &Index; } \ |
RangeConstraintManager.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DisequalityMap>::GDMIndex() Line | Count | Source | 43 | 1.13M | 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 | 868k | static void *GDMIndex() { static int Index; return &Index; } \ Unexecuted instantiation: clang::ento::ProgramStateTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::RangeSet> > >::GDMIndex() 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 | 88 | 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 | 459k | static void *GDMIndex() { static int Index; return &Index; } \ |
RangeConstraintManager.cpp:clang::ento::ProgramStateTrait<llvm::ImmutableSet<(anonymous namespace)::EquivalenceClass, llvm::ImutContainerInfo<(anonymous namespace)::EquivalenceClass> > >::GDMIndex() Line | Count | Source | 58 | 408k | 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 | 10.3M | static data_type MakeData(void *const *p) { |
154 | 2.51M | return p ? data_type((typename data_type::TreeTy *) *p) |
155 | 7.86M | : data_type(nullptr); |
156 | 10.3M | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> > >::MakeData(void* const*) Line | Count | Source | 153 | 928 | static data_type MakeData(void *const *p) { | 154 | 743 | return p ? data_type((typename data_type::TreeTy *) *p) | 155 | 185 | : data_type(nullptr); | 156 | 928 | } |
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 | 700k | static data_type MakeData(void *const *p) { | 154 | 334k | return p ? data_type((typename data_type::TreeTy *) *p) | 155 | 366k | : data_type(nullptr); | 156 | 700k | } |
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.82k | static data_type MakeData(void *const *p) { | 154 | 1.19k | return p ? data_type((typename data_type::TreeTy *) *p) | 155 | 3.63k | : data_type(nullptr); | 156 | 4.82k | } |
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 | 92.7k | static data_type MakeData(void *const *p) { | 154 | 72.6k | return p ? data_type((typename data_type::TreeTy *) *p) | 155 | 20.0k | : data_type(nullptr); | 156 | 92.7k | } |
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 | 361k | static data_type MakeData(void *const *p) { | 154 | 6.10k | return p ? data_type((typename data_type::TreeTy *) *p) | 155 | 354k | : data_type(nullptr); | 156 | 361k | } |
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 | 178k | static data_type MakeData(void *const *p) { | 154 | 13.2k | return p ? data_type((typename data_type::TreeTy *) *p) | 155 | 164k | : data_type(nullptr); | 156 | 178k | } |
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.78k | static data_type MakeData(void *const *p) { | 154 | 1.47k | return p ? data_type((typename data_type::TreeTy *) *p) | 155 | 305 | : data_type(nullptr); | 156 | 1.78k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > > >::MakeData(void* const*) Line | Count | Source | 153 | 99.8k | static data_type MakeData(void *const *p) { | 154 | 1.93k | return p ? data_type((typename data_type::TreeTy *) *p) | 155 | 97.9k | : data_type(nullptr); | 156 | 99.8k | } |
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 | 82.9k | static data_type MakeData(void *const *p) { | 154 | 3.24k | return p ? data_type((typename data_type::TreeTy *) *p) | 155 | 79.6k | : data_type(nullptr); | 156 | 82.9k | } |
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 | 135k | static data_type MakeData(void *const *p) { | 154 | 114k | return p ? data_type((typename data_type::TreeTy *) *p) | 155 | 21.3k | : data_type(nullptr); | 156 | 135k | } |
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 | 344 | return p ? data_type((typename data_type::TreeTy *) *p) | 155 | 45 | : data_type(nullptr); | 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.95k | static data_type MakeData(void *const *p) { | 154 | 1.58k | return p ? data_type((typename data_type::TreeTy *) *p) | 155 | 3.37k | : data_type(nullptr); | 156 | 4.95k | } |
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 | 437k | static data_type MakeData(void *const *p) { | 154 | 72.7k | return p ? data_type((typename data_type::TreeTy *) *p) | 155 | 364k | : data_type(nullptr); | 156 | 437k | } |
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 | 279k | static data_type MakeData(void *const *p) { | 154 | 4.98k | return p ? data_type((typename data_type::TreeTy *) *p) | 155 | 274k | : data_type(nullptr); | 156 | 279k | } |
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 | 435k | static data_type MakeData(void *const *p) { | 154 | 1.30k | return p ? data_type((typename data_type::TreeTy *) *p) | 155 | 433k | : data_type(nullptr); | 156 | 435k | } |
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 | 256k | static data_type MakeData(void *const *p) { | 154 | 69.2k | return p ? data_type((typename data_type::TreeTy *) *p) | 155 | 187k | : data_type(nullptr); | 156 | 256k | } |
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 | 966 | return p ? data_type((typename data_type::TreeTy *) *p) | 155 | 285 | : data_type(nullptr); | 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.6k | static data_type MakeData(void *const *p) { | 154 | 24.8k | return p ? data_type((typename data_type::TreeTy *) *p) | 155 | 4.78k | : data_type(nullptr); | 156 | 29.6k | } |
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.7k | static data_type MakeData(void *const *p) { | 154 | 7.58k | return p ? data_type((typename data_type::TreeTy *) *p) | 155 | 4.20k | : data_type(nullptr); | 156 | 11.7k | } |
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 | 469 | static data_type MakeData(void *const *p) { | 154 | 383 | return p ? data_type((typename data_type::TreeTy *) *p) | 155 | 86 | : data_type(nullptr); | 156 | 469 | } |
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 | 14.7k | return p ? data_type((typename data_type::TreeTy *) *p) | 155 | 561 | : data_type(nullptr); | 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 | 12.1k | return p ? data_type((typename data_type::TreeTy *) *p) | 155 | 5.71k | : data_type(nullptr); | 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.0k | static data_type MakeData(void *const *p) { | 154 | 12.6k | return p ? data_type((typename data_type::TreeTy *) *p) | 155 | 5.46k | : data_type(nullptr); | 156 | 18.0k | } |
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 | 98.6k | static data_type MakeData(void *const *p) { | 154 | 80.4k | return p ? data_type((typename data_type::TreeTy *) *p) | 155 | 18.1k | : data_type(nullptr); | 156 | 98.6k | } |
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 | 273 | static data_type MakeData(void *const *p) { | 154 | 171 | return p ? data_type((typename data_type::TreeTy *) *p) | 155 | 102 | : data_type(nullptr); | 156 | 273 | } |
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 | 2.07k | static data_type MakeData(void *const *p) { | 154 | 1.76k | return p ? data_type((typename data_type::TreeTy *) *p) | 155 | 307 | : data_type(nullptr); | 156 | 2.07k | } |
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 | 222 | return p ? data_type((typename data_type::TreeTy *) *p) | 155 | 2.18k | : data_type(nullptr); | 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 | 5.09k | static data_type MakeData(void *const *p) { | 154 | 4.09k | return p ? data_type((typename data_type::TreeTy *) *p) | 155 | 998 | : data_type(nullptr); | 156 | 5.09k | } |
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 | 364k | static data_type MakeData(void *const *p) { | 154 | 33.5k | return p ? data_type((typename data_type::TreeTy *) *p) | 155 | 331k | : data_type(nullptr); | 156 | 364k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo> > >::MakeData(void* const*) Line | Count | Source | 153 | 350k | static data_type MakeData(void *const *p) { | 154 | 306 | return p ? data_type((typename data_type::TreeTy *) *p) | 155 | 350k | : data_type(nullptr); | 156 | 350k | } |
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 | 3.52k | static data_type MakeData(void *const *p) { | 154 | 463 | return p ? data_type((typename data_type::TreeTy *) *p) | 155 | 3.06k | : data_type(nullptr); | 156 | 3.52k | } |
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 | 865k | static data_type MakeData(void *const *p) { | 154 | 640k | return p ? data_type((typename data_type::TreeTy *) *p) | 155 | 225k | : data_type(nullptr); | 156 | 865k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<std::__1::pair<clang::ObjCForCollectionStmt const*, clang::LocationContext const*>, bool, llvm::ImutKeyValueInfo<std::__1::pair<clang::ObjCForCollectionStmt const*, clang::LocationContext const*>, bool> > >::MakeData(void* const*) Line | Count | Source | 153 | 3.67k | static data_type MakeData(void *const *p) { | 154 | 3.52k | return p ? data_type((typename data_type::TreeTy *) *p) | 155 | 150 | : data_type(nullptr); | 156 | 3.67k | } |
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 | 6 | return p ? data_type((typename data_type::TreeTy *) *p) | 155 | 27 | : data_type(nullptr); | 156 | 33 | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::EquivalenceClass, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<(anonymous namespace)::EquivalenceClass, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > > >::MakeData(void* const*) Line | Count | Source | 153 | 2.59M | static data_type MakeData(void *const *p) { | 154 | 18.8k | return p ? data_type((typename data_type::TreeTy *) *p) | 155 | 2.57M | : data_type(nullptr); | 156 | 2.59M | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::EquivalenceClass, clang::ento::RangeSet, llvm::ImutKeyValueInfo<(anonymous namespace)::EquivalenceClass, clang::ento::RangeSet> > >::MakeData(void* const*) Line | Count | Source | 153 | 1.06M | static data_type MakeData(void *const *p) { | 154 | 916k | return p ? data_type((typename data_type::TreeTy *) *p) | 155 | 153k | : data_type(nullptr); | 156 | 1.06M | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::EquivalenceClass, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::EquivalenceClass> > >::MakeData(void* const*) Line | Count | Source | 153 | 1.07M | static data_type MakeData(void *const *p) { | 154 | 19.6k | return p ? data_type((typename data_type::TreeTy *) *p) | 155 | 1.05M | : data_type(nullptr); | 156 | 1.07M | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::EquivalenceClass, llvm::ImmutableSet<(anonymous namespace)::EquivalenceClass, llvm::ImutContainerInfo<(anonymous namespace)::EquivalenceClass> >, llvm::ImutKeyValueInfo<(anonymous namespace)::EquivalenceClass, llvm::ImmutableSet<(anonymous namespace)::EquivalenceClass, llvm::ImutContainerInfo<(anonymous namespace)::EquivalenceClass> > > > >::MakeData(void* const*) Line | Count | Source | 153 | 768k | static data_type MakeData(void *const *p) { | 154 | 18.1k | return p ? data_type((typename data_type::TreeTy *) *p) | 155 | 750k | : data_type(nullptr); | 156 | 768k | } |
|
157 | | |
158 | 382k | static void *MakeVoidPtr(data_type B) { |
159 | 382k | return B.getRoot(); |
160 | 382k | } 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 | 680 | static void *MakeVoidPtr(data_type B) { | 159 | 680 | return B.getRoot(); | 160 | 680 | } |
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 | 51.5k | static void *MakeVoidPtr(data_type B) { | 159 | 51.5k | return B.getRoot(); | 160 | 51.5k | } |
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::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 | 3.35k | static void *MakeVoidPtr(data_type B) { | 159 | 3.35k | return B.getRoot(); | 160 | 3.35k | } |
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.98k | static void *MakeVoidPtr(data_type B) { | 159 | 1.98k | return B.getRoot(); | 160 | 1.98k | } |
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 | 285 | static void *MakeVoidPtr(data_type B) { | 159 | 285 | return B.getRoot(); | 160 | 285 | } |
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 | } |
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 | 15.8k | static void *MakeVoidPtr(data_type B) { | 159 | 15.8k | return B.getRoot(); | 160 | 15.8k | } |
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 | 342 | static void *MakeVoidPtr(data_type B) { | 159 | 342 | return B.getRoot(); | 160 | 342 | } |
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 | 3.93k | static void *MakeVoidPtr(data_type B) { | 159 | 3.93k | return B.getRoot(); | 160 | 3.93k | } |
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.26k | static void *MakeVoidPtr(data_type B) { | 159 | 1.26k | return B.getRoot(); | 160 | 1.26k | } |
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 | 140 | static void *MakeVoidPtr(data_type B) { | 159 | 140 | return B.getRoot(); | 160 | 140 | } |
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 | 4.09k | static void *MakeVoidPtr(data_type B) { | 159 | 4.09k | return B.getRoot(); | 160 | 4.09k | } |
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 | 561 | static void *MakeVoidPtr(data_type B) { | 159 | 561 | return B.getRoot(); | 160 | 561 | } |
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 | 372 | static void *MakeVoidPtr(data_type B) { | 159 | 372 | return B.getRoot(); | 160 | 372 | } |
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 | 454 | static void *MakeVoidPtr(data_type B) { | 159 | 454 | return B.getRoot(); | 160 | 454 | } |
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.48k | static void *MakeVoidPtr(data_type B) { | 159 | 7.48k | return B.getRoot(); | 160 | 7.48k | } |
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.30k | static void *MakeVoidPtr(data_type B) { | 159 | 7.30k | return B.getRoot(); | 160 | 7.30k | } |
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 | 96 | static void *MakeVoidPtr(data_type B) { | 159 | 96 | return B.getRoot(); | 160 | 96 | } |
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 | 429 | static void *MakeVoidPtr(data_type B) { | 159 | 429 | return B.getRoot(); | 160 | 429 | } |
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 | 4.95k | static void *MakeVoidPtr(data_type B) { | 159 | 4.95k | return B.getRoot(); | 160 | 4.95k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> >) Line | Count | Source | 158 | 6.68k | static void *MakeVoidPtr(data_type B) { | 159 | 6.68k | return B.getRoot(); | 160 | 6.68k | } |
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 | 151 | static void *MakeVoidPtr(data_type B) { | 159 | 151 | return B.getRoot(); | 160 | 151 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo> >) Line | Count | Source | 158 | 64 | static void *MakeVoidPtr(data_type B) { | 159 | 64 | return B.getRoot(); | 160 | 64 | } |
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 | 78.2k | static void *MakeVoidPtr(data_type B) { | 159 | 78.2k | return B.getRoot(); | 160 | 78.2k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<std::__1::pair<clang::ObjCForCollectionStmt const*, clang::LocationContext const*>, bool, llvm::ImutKeyValueInfo<std::__1::pair<clang::ObjCForCollectionStmt const*, clang::LocationContext const*>, bool> > >::MakeVoidPtr(llvm::ImmutableMap<std::__1::pair<clang::ObjCForCollectionStmt const*, clang::LocationContext const*>, bool, llvm::ImutKeyValueInfo<std::__1::pair<clang::ObjCForCollectionStmt const*, clang::LocationContext const*>, bool> >) Line | Count | Source | 158 | 965 | static void *MakeVoidPtr(data_type B) { | 159 | 965 | return B.getRoot(); | 160 | 965 | } |
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 | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::EquivalenceClass, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::EquivalenceClass> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::EquivalenceClass, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::EquivalenceClass> >) Line | Count | Source | 158 | 775 | static void *MakeVoidPtr(data_type B) { | 159 | 775 | return B.getRoot(); | 160 | 775 | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::EquivalenceClass, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<(anonymous namespace)::EquivalenceClass, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > > >::MakeVoidPtr(llvm::ImmutableMap<(anonymous namespace)::EquivalenceClass, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<(anonymous namespace)::EquivalenceClass, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > >) Line | Count | Source | 158 | 909 | static void *MakeVoidPtr(data_type B) { | 159 | 909 | return B.getRoot(); | 160 | 909 | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::EquivalenceClass, clang::ento::RangeSet, llvm::ImutKeyValueInfo<(anonymous namespace)::EquivalenceClass, clang::ento::RangeSet> > >::MakeVoidPtr(llvm::ImmutableMap<(anonymous namespace)::EquivalenceClass, clang::ento::RangeSet, llvm::ImutKeyValueInfo<(anonymous namespace)::EquivalenceClass, clang::ento::RangeSet> >) Line | Count | Source | 158 | 169k | static void *MakeVoidPtr(data_type B) { | 159 | 169k | return B.getRoot(); | 160 | 169k | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::EquivalenceClass, llvm::ImmutableSet<(anonymous namespace)::EquivalenceClass, llvm::ImutContainerInfo<(anonymous namespace)::EquivalenceClass> >, llvm::ImutKeyValueInfo<(anonymous namespace)::EquivalenceClass, llvm::ImmutableSet<(anonymous namespace)::EquivalenceClass, llvm::ImutContainerInfo<(anonymous namespace)::EquivalenceClass> > > > >::MakeVoidPtr(llvm::ImmutableMap<(anonymous namespace)::EquivalenceClass, llvm::ImmutableSet<(anonymous namespace)::EquivalenceClass, llvm::ImutContainerInfo<(anonymous namespace)::EquivalenceClass> >, llvm::ImutKeyValueInfo<(anonymous namespace)::EquivalenceClass, llvm::ImmutableSet<(anonymous namespace)::EquivalenceClass, llvm::ImutContainerInfo<(anonymous namespace)::EquivalenceClass> > > >) Line | Count | Source | 158 | 1.69k | static void *MakeVoidPtr(data_type B) { | 159 | 1.69k | return B.getRoot(); | 160 | 1.69k | } |
|
161 | | |
162 | 3.73M | static lookup_type Lookup(data_type B, key_type K) { |
163 | 3.73M | return B.lookup(K); |
164 | 3.73M | } 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 | 248 | static lookup_type Lookup(data_type B, key_type K) { | 163 | 248 | return B.lookup(K); | 164 | 248 | } |
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.35k | static lookup_type Lookup(data_type B, key_type K) { | 163 | 1.35k | return B.lookup(K); | 164 | 1.35k | } |
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.6k | static lookup_type Lookup(data_type B, key_type K) { | 163 | 10.6k | return B.lookup(K); | 164 | 10.6k | } |
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.99k | static lookup_type Lookup(data_type B, key_type K) { | 163 | 1.99k | return B.lookup(K); | 164 | 1.99k | } |
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 | 621 | static lookup_type Lookup(data_type B, key_type K) { | 163 | 621 | return B.lookup(K); | 164 | 621 | } |
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 | 915 | static lookup_type Lookup(data_type B, key_type K) { | 163 | 915 | return B.lookup(K); | 164 | 915 | } |
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 | 9.13k | static lookup_type Lookup(data_type B, key_type K) { | 163 | 9.13k | return B.lookup(K); | 164 | 9.13k | } |
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 | 28.7k | static lookup_type Lookup(data_type B, key_type K) { | 163 | 28.7k | return B.lookup(K); | 164 | 28.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 | 736 | static lookup_type Lookup(data_type B, key_type K) { | 163 | 736 | return B.lookup(K); | 164 | 736 | } |
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 | 129k | static lookup_type Lookup(data_type B, key_type K) { | 163 | 129k | return B.lookup(K); | 164 | 129k | } |
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.39k | static lookup_type Lookup(data_type B, key_type K) { | 163 | 8.39k | return B.lookup(K); | 164 | 8.39k | } |
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 | 29.3k | static lookup_type Lookup(data_type B, key_type K) { | 163 | 29.3k | return B.lookup(K); | 164 | 29.3k | } |
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 | 29.0k | static lookup_type Lookup(data_type B, key_type K) { | 163 | 29.0k | return B.lookup(K); | 164 | 29.0k | } |
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 | 8.28k | static lookup_type Lookup(data_type B, key_type K) { | 163 | 8.28k | return B.lookup(K); | 164 | 8.28k | } |
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 | 58.6k | static lookup_type Lookup(data_type B, key_type K) { | 163 | 58.6k | return B.lookup(K); | 164 | 58.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 | 769 | static lookup_type Lookup(data_type B, key_type K) { | 163 | 769 | return B.lookup(K); | 164 | 769 | } |
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.77k | static lookup_type Lookup(data_type B, key_type K) { | 163 | 7.77k | return B.lookup(K); | 164 | 7.77k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo> > >::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo> >, clang::ento::SymExpr const*) Line | Count | Source | 162 | 50 | static lookup_type Lookup(data_type B, key_type K) { | 163 | 50 | return B.lookup(K); | 164 | 50 | } |
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 | 88 | static lookup_type Lookup(data_type B, key_type K) { | 163 | 88 | return B.lookup(K); | 164 | 88 | } |
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 | 259k | static lookup_type Lookup(data_type B, key_type K) { | 163 | 259k | return B.lookup(K); | 164 | 259k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<std::__1::pair<clang::ObjCForCollectionStmt const*, clang::LocationContext const*>, bool, llvm::ImutKeyValueInfo<std::__1::pair<clang::ObjCForCollectionStmt const*, clang::LocationContext const*>, bool> > >::Lookup(llvm::ImmutableMap<std::__1::pair<clang::ObjCForCollectionStmt const*, clang::LocationContext const*>, bool, llvm::ImutKeyValueInfo<std::__1::pair<clang::ObjCForCollectionStmt const*, clang::LocationContext const*>, bool> >, std::__1::pair<clang::ObjCForCollectionStmt const*, clang::LocationContext const*>) Line | Count | Source | 162 | 871 | static lookup_type Lookup(data_type B, key_type K) { | 163 | 871 | return B.lookup(K); | 164 | 871 | } |
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 | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::EquivalenceClass, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<(anonymous namespace)::EquivalenceClass, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > > >::Lookup(llvm::ImmutableMap<(anonymous namespace)::EquivalenceClass, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<(anonymous namespace)::EquivalenceClass, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > >, (anonymous namespace)::EquivalenceClass) Line | Count | Source | 162 | 1.87M | static lookup_type Lookup(data_type B, key_type K) { | 163 | 1.87M | return B.lookup(K); | 164 | 1.87M | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::EquivalenceClass, clang::ento::RangeSet, llvm::ImutKeyValueInfo<(anonymous namespace)::EquivalenceClass, clang::ento::RangeSet> > >::Lookup(llvm::ImmutableMap<(anonymous namespace)::EquivalenceClass, clang::ento::RangeSet, llvm::ImutKeyValueInfo<(anonymous namespace)::EquivalenceClass, clang::ento::RangeSet> >, (anonymous namespace)::EquivalenceClass) Line | Count | Source | 162 | 551k | static lookup_type Lookup(data_type B, key_type K) { | 163 | 551k | return B.lookup(K); | 164 | 551k | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::EquivalenceClass, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::EquivalenceClass> > >::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::EquivalenceClass, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::EquivalenceClass> >, clang::ento::SymExpr const*) Line | Count | Source | 162 | 705k | static lookup_type Lookup(data_type B, key_type K) { | 163 | 705k | return B.lookup(K); | 164 | 705k | } |
|
165 | | |
166 | | static data_type Set(data_type B, key_type K, value_type E, |
167 | 78.0k | context_type F) { |
168 | 78.0k | return F.add(B, K, E); |
169 | 78.0k | } 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 | 94 | context_type F) { | 168 | 94 | return F.add(B, K, E); | 169 | 94 | } |
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.23k | context_type F) { | 168 | 1.23k | return F.add(B, K, E); | 169 | 1.23k | } |
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 | 2.36k | context_type F) { | 168 | 2.36k | return F.add(B, K, E); | 169 | 2.36k | } |
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 | 1.37k | context_type F) { | 168 | 1.37k | return F.add(B, K, E); | 169 | 1.37k | } |
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 | 168 | context_type F) { | 168 | 168 | return F.add(B, K, E); | 169 | 168 | } |
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 | 10.3k | context_type F) { | 168 | 10.3k | return F.add(B, K, E); | 169 | 10.3k | } |
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 | 199 | context_type F) { | 168 | 199 | return F.add(B, K, E); | 169 | 199 | } |
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.39k | context_type F) { | 168 | 2.39k | return F.add(B, K, E); | 169 | 2.39k | } |
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 | } |
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 | 55 | context_type F) { | 168 | 55 | return F.add(B, K, E); | 169 | 55 | } |
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.21k | context_type F) { | 168 | 2.21k | return F.add(B, K, E); | 169 | 2.21k | } |
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 | 556 | context_type F) { | 168 | 556 | return F.add(B, K, E); | 169 | 556 | } |
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 | 96 | context_type F) { | 168 | 96 | return F.add(B, K, E); | 169 | 96 | } |
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 | 290 | context_type F) { | 168 | 290 | return F.add(B, K, E); | 169 | 290 | } |
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 | 2.48k | context_type F) { | 168 | 2.48k | return F.add(B, K, E); | 169 | 2.48k | } |
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 | 4.04k | context_type F) { | 168 | 4.04k | return F.add(B, K, E); | 169 | 4.04k | } |
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 | 88 | context_type F) { | 168 | 88 | return F.add(B, K, E); | 169 | 88 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo> > >::Set(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo> >, clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo, llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo> >::Factory&) Line | Count | Source | 167 | 30 | context_type F) { | 168 | 30 | return F.add(B, K, E); | 169 | 30 | } |
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 | 38.9k | context_type F) { | 168 | 38.9k | return F.add(B, K, E); | 169 | 38.9k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<std::__1::pair<clang::ObjCForCollectionStmt const*, clang::LocationContext const*>, bool, llvm::ImutKeyValueInfo<std::__1::pair<clang::ObjCForCollectionStmt const*, clang::LocationContext const*>, bool> > >::Set(llvm::ImmutableMap<std::__1::pair<clang::ObjCForCollectionStmt const*, clang::LocationContext const*>, bool, llvm::ImutKeyValueInfo<std::__1::pair<clang::ObjCForCollectionStmt const*, clang::LocationContext const*>, bool> >, std::__1::pair<clang::ObjCForCollectionStmt const*, clang::LocationContext const*>, bool, llvm::ImmutableMap<std::__1::pair<clang::ObjCForCollectionStmt const*, clang::LocationContext const*>, bool, llvm::ImutKeyValueInfo<std::__1::pair<clang::ObjCForCollectionStmt const*, clang::LocationContext const*>, bool> >::Factory&) Line | Count | Source | 167 | 517 | context_type F) { | 168 | 517 | return F.add(B, K, E); | 169 | 517 | } |
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 | } |
|
170 | | |
171 | 78.2k | static data_type Remove(data_type B, key_type K, context_type F) { |
172 | 78.2k | return F.remove(B, K); |
173 | 78.2k | } 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 | 586 | static data_type Remove(data_type B, key_type K, context_type F) { | 172 | 586 | return F.remove(B, K); | 173 | 586 | } |
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 | 133 | static data_type Remove(data_type B, key_type K, context_type F) { | 172 | 133 | return F.remove(B, K); | 173 | 133 | } |
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 | 990 | static data_type Remove(data_type B, key_type K, context_type F) { | 172 | 990 | return F.remove(B, K); | 173 | 990 | } |
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 | 617 | static data_type Remove(data_type B, key_type K, context_type F) { | 172 | 617 | return F.remove(B, K); | 173 | 617 | } |
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 | 117 | static data_type Remove(data_type B, key_type K, context_type F) { | 172 | 117 | return F.remove(B, K); | 173 | 117 | } |
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 | 4.87k | static data_type Remove(data_type B, key_type K, context_type F) { | 172 | 4.87k | return F.remove(B, K); | 173 | 4.87k | } |
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 | 143 | static data_type Remove(data_type B, key_type K, context_type F) { | 172 | 143 | return F.remove(B, K); | 173 | 143 | } |
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 | } |
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.22k | static data_type Remove(data_type B, key_type K, context_type F) { | 172 | 1.22k | return F.remove(B, K); | 173 | 1.22k | } |
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 | 85 | static data_type Remove(data_type B, key_type K, context_type F) { | 172 | 85 | return F.remove(B, K); | 173 | 85 | } |
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 | 656 | static data_type Remove(data_type B, key_type K, context_type F) { | 172 | 656 | return F.remove(B, K); | 173 | 656 | } |
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.87k | static data_type Remove(data_type B, key_type K, context_type F) { | 172 | 1.87k | return F.remove(B, K); | 173 | 1.87k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::mpi::Request> > >::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 | 276 | static data_type Remove(data_type B, key_type K, context_type F) { | 172 | 276 | return F.remove(B, K); | 173 | 276 | } |
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 | 435 | static data_type Remove(data_type B, key_type K, context_type F) { | 172 | 435 | return F.remove(B, K); | 173 | 435 | } |
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.23k | static data_type Remove(data_type B, key_type K, context_type F) { | 172 | 7.23k | return F.remove(B, K); | 173 | 7.23k | } |
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.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::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.18k | static data_type Remove(data_type B, key_type K, context_type F) { | 172 | 6.18k | return F.remove(B, K); | 173 | 6.18k | } |
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 | 79 | static data_type Remove(data_type B, key_type K, context_type F) { | 172 | 79 | return F.remove(B, K); | 173 | 79 | } |
StreamChecker.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 | 139 | static data_type Remove(data_type B, key_type K, context_type F) { | 172 | 139 | return F.remove(B, K); | 173 | 139 | } |
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 | 2.46k | static data_type Remove(data_type B, key_type K, context_type F) { | 172 | 2.46k | return F.remove(B, K); | 173 | 2.46k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> > >::Remove(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> >, clang::ento::MemRegion const*, llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> >::Factory&) Line | Count | Source | 171 | 2.64k | static data_type Remove(data_type B, key_type K, context_type F) { | 172 | 2.64k | return F.remove(B, K); | 173 | 2.64k | } |
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 | 63 | static data_type Remove(data_type B, key_type K, context_type F) { | 172 | 63 | return F.remove(B, K); | 173 | 63 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo> > >::Remove(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo> >, clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo> >::Factory&) Line | Count | Source | 171 | 34 | static data_type Remove(data_type B, key_type K, context_type F) { | 172 | 34 | return F.remove(B, K); | 173 | 34 | } |
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 | 39.2k | static data_type Remove(data_type B, key_type K, context_type F) { | 172 | 39.2k | return F.remove(B, K); | 173 | 39.2k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<std::__1::pair<clang::ObjCForCollectionStmt const*, clang::LocationContext const*>, bool, llvm::ImutKeyValueInfo<std::__1::pair<clang::ObjCForCollectionStmt const*, clang::LocationContext const*>, bool> > >::Remove(llvm::ImmutableMap<std::__1::pair<clang::ObjCForCollectionStmt const*, clang::LocationContext const*>, bool, llvm::ImutKeyValueInfo<std::__1::pair<clang::ObjCForCollectionStmt const*, clang::LocationContext const*>, bool> >, std::__1::pair<clang::ObjCForCollectionStmt const*, clang::LocationContext const*>, llvm::ImmutableMap<std::__1::pair<clang::ObjCForCollectionStmt const*, clang::LocationContext const*>, bool, llvm::ImutKeyValueInfo<std::__1::pair<clang::ObjCForCollectionStmt const*, clang::LocationContext const*>, bool> >::Factory&) Line | Count | Source | 171 | 448 | static data_type Remove(data_type B, key_type K, context_type F) { | 172 | 448 | return F.remove(B, K); | 173 | 448 | } |
|
174 | | |
175 | 41.8k | static bool Contains(data_type B, key_type K) { |
176 | 41.8k | return B.contains(K); |
177 | 41.8k | } ExprEngine.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal> > >::Contains(llvm::ImmutableMap<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal> >, (anonymous namespace)::ConstructedObjectKey) Line | Count | Source | 175 | 39.9k | static bool Contains(data_type B, key_type K) { | 176 | 39.9k | return B.contains(K); | 177 | 39.9k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<std::__1::pair<clang::ObjCForCollectionStmt const*, clang::LocationContext const*>, bool, llvm::ImutKeyValueInfo<std::__1::pair<clang::ObjCForCollectionStmt const*, clang::LocationContext const*>, bool> > >::Contains(llvm::ImmutableMap<std::__1::pair<clang::ObjCForCollectionStmt const*, clang::LocationContext const*>, bool, llvm::ImutKeyValueInfo<std::__1::pair<clang::ObjCForCollectionStmt const*, clang::LocationContext const*>, bool> >, std::__1::pair<clang::ObjCForCollectionStmt const*, clang::LocationContext const*>) Line | Count | Source | 175 | 1.83k | static bool Contains(data_type B, key_type K) { | 176 | 1.83k | return B.contains(K); | 177 | 1.83k | } |
|
178 | | |
179 | 1.93M | static context_type MakeContext(void *p) { |
180 | 1.93M | return *((typename data_type::Factory *) p); |
181 | 1.93M | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> > >::MakeContext(void*) Line | Count | Source | 179 | 680 | static context_type MakeContext(void *p) { | 180 | 680 | return *((typename data_type::Factory *) p); | 181 | 680 | } |
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 | 51.5k | static context_type MakeContext(void *p) { | 180 | 51.5k | return *((typename data_type::Factory *) p); | 181 | 51.5k | } |
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::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData> > >::MakeContext(void*) Line | Count | Source | 179 | 3.35k | static context_type MakeContext(void *p) { | 180 | 3.35k | return *((typename data_type::Factory *) p); | 181 | 3.35k | } |
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.98k | static context_type MakeContext(void *p) { | 180 | 1.98k | return *((typename data_type::Factory *) p); | 181 | 1.98k | } |
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 | 285 | static context_type MakeContext(void *p) { | 180 | 285 | return *((typename data_type::Factory *) p); | 181 | 285 | } |
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 | } |
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 | 15.8k | static context_type MakeContext(void *p) { | 180 | 15.8k | return *((typename data_type::Factory *) p); | 181 | 15.8k | } |
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 | 1.03k | static context_type MakeContext(void *p) { | 180 | 1.03k | return *((typename data_type::Factory *) p); | 181 | 1.03k | } |
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 | 134k | static context_type MakeContext(void *p) { | 180 | 134k | return *((typename data_type::Factory *) p); | 181 | 134k | } |
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.26k | static context_type MakeContext(void *p) { | 180 | 1.26k | return *((typename data_type::Factory *) p); | 181 | 1.26k | } |
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 | 140 | static context_type MakeContext(void *p) { | 180 | 140 | return *((typename data_type::Factory *) p); | 181 | 140 | } |
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 | 4.09k | static context_type MakeContext(void *p) { | 180 | 4.09k | return *((typename data_type::Factory *) p); | 181 | 4.09k | } |
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 | 561 | static context_type MakeContext(void *p) { | 180 | 561 | return *((typename data_type::Factory *) p); | 181 | 561 | } |
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 | 372 | static context_type MakeContext(void *p) { | 180 | 372 | return *((typename data_type::Factory *) p); | 181 | 372 | } |
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 | 454 | static context_type MakeContext(void *p) { | 180 | 454 | return *((typename data_type::Factory *) p); | 181 | 454 | } |
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.48k | static context_type MakeContext(void *p) { | 180 | 7.48k | return *((typename data_type::Factory *) p); | 181 | 7.48k | } |
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.30k | static context_type MakeContext(void *p) { | 180 | 7.30k | return *((typename data_type::Factory *) p); | 181 | 7.30k | } |
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 | 96 | static context_type MakeContext(void *p) { | 180 | 96 | return *((typename data_type::Factory *) p); | 181 | 96 | } |
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 | 429 | static context_type MakeContext(void *p) { | 180 | 429 | return *((typename data_type::Factory *) p); | 181 | 429 | } |
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 | 4.95k | static context_type MakeContext(void *p) { | 180 | 4.95k | return *((typename data_type::Factory *) p); | 181 | 4.95k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> > >::MakeContext(void*) Line | Count | Source | 179 | 6.68k | static context_type MakeContext(void *p) { | 180 | 6.68k | return *((typename data_type::Factory *) p); | 181 | 6.68k | } |
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 | 151 | static context_type MakeContext(void *p) { | 180 | 151 | return *((typename data_type::Factory *) p); | 181 | 151 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo> > >::MakeContext(void*) Line | Count | Source | 179 | 64 | static context_type MakeContext(void *p) { | 180 | 64 | return *((typename data_type::Factory *) p); | 181 | 64 | } |
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 | 78.2k | static context_type MakeContext(void *p) { | 180 | 78.2k | return *((typename data_type::Factory *) p); | 181 | 78.2k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<std::__1::pair<clang::ObjCForCollectionStmt const*, clang::LocationContext const*>, bool, llvm::ImutKeyValueInfo<std::__1::pair<clang::ObjCForCollectionStmt const*, clang::LocationContext const*>, bool> > >::MakeContext(void*) Line | Count | Source | 179 | 965 | static context_type MakeContext(void *p) { | 180 | 965 | return *((typename data_type::Factory *) p); | 181 | 965 | } |
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 | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::EquivalenceClass, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<(anonymous namespace)::EquivalenceClass, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > > >::MakeContext(void*) Line | Count | Source | 179 | 361k | static context_type MakeContext(void *p) { | 180 | 361k | return *((typename data_type::Factory *) p); | 181 | 361k | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::EquivalenceClass, clang::ento::RangeSet, llvm::ImutKeyValueInfo<(anonymous namespace)::EquivalenceClass, clang::ento::RangeSet> > >::MakeContext(void*) Line | Count | Source | 179 | 502k | static context_type MakeContext(void *p) { | 180 | 502k | return *((typename data_type::Factory *) p); | 181 | 502k | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::EquivalenceClass, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::EquivalenceClass> > >::MakeContext(void*) Line | Count | Source | 179 | 361k | static context_type MakeContext(void *p) { | 180 | 361k | return *((typename data_type::Factory *) p); | 181 | 361k | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::EquivalenceClass, llvm::ImmutableSet<(anonymous namespace)::EquivalenceClass, llvm::ImutContainerInfo<(anonymous namespace)::EquivalenceClass> >, llvm::ImutKeyValueInfo<(anonymous namespace)::EquivalenceClass, llvm::ImmutableSet<(anonymous namespace)::EquivalenceClass, llvm::ImutContainerInfo<(anonymous namespace)::EquivalenceClass> > > > >::MakeContext(void*) Line | Count | Source | 179 | 364k | static context_type MakeContext(void *p) { | 180 | 364k | return *((typename data_type::Factory *) p); | 181 | 364k | } |
Unexecuted instantiation: clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::RangeSet> > >::MakeContext(void*) |
182 | | |
183 | 74.8k | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { |
184 | 74.8k | return new typename data_type::Factory(Alloc); |
185 | 74.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 | 109 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 184 | 109 | return new typename data_type::Factory(Alloc); | 185 | 109 | } |
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 | 2.57k | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 184 | 2.57k | return new typename data_type::Factory(Alloc); | 185 | 2.57k | } |
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::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 183 | 1.30k | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 184 | 1.30k | return new typename data_type::Factory(Alloc); | 185 | 1.30k | } |
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 | 801 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 184 | 801 | return new typename data_type::Factory(Alloc); | 185 | 801 | } |
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 | 39 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 184 | 39 | return new typename data_type::Factory(Alloc); | 185 | 39 | } |
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 | } |
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 | 1.29k | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 184 | 1.29k | return new typename data_type::Factory(Alloc); | 185 | 1.29k | } |
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 | 559 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 184 | 559 | return new typename data_type::Factory(Alloc); | 185 | 559 | } |
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 | 4.34k | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 184 | 4.34k | return new typename data_type::Factory(Alloc); | 185 | 4.34k | } |
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 | 595 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 184 | 595 | return new typename data_type::Factory(Alloc); | 185 | 595 | } |
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 | 33 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 184 | 33 | return new typename data_type::Factory(Alloc); | 185 | 33 | } |
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 | 462 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 184 | 462 | return new typename data_type::Factory(Alloc); | 185 | 462 | } |
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 | 168 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 184 | 168 | return new typename data_type::Factory(Alloc); | 185 | 168 | } |
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 | 51 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 184 | 51 | return new typename data_type::Factory(Alloc); | 185 | 51 | } |
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 | 81 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 184 | 81 | return new typename data_type::Factory(Alloc); | 185 | 81 | } |
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 | 342 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 184 | 342 | return new typename data_type::Factory(Alloc); | 185 | 342 | } |
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 | 831 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 184 | 831 | return new typename data_type::Factory(Alloc); | 185 | 831 | } |
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 | 772 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 184 | 772 | return new typename data_type::Factory(Alloc); | 185 | 772 | } |
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.08k | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 184 | 1.08k | return new typename data_type::Factory(Alloc); | 185 | 1.08k | } |
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 | 18 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 184 | 18 | return new typename data_type::Factory(Alloc); | 185 | 18 | } |
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 | 53 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 184 | 53 | return new typename data_type::Factory(Alloc); | 185 | 53 | } |
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 | 982 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 184 | 982 | return new typename data_type::Factory(Alloc); | 185 | 982 | } |
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 | 21 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 184 | 21 | return new typename data_type::Factory(Alloc); | 185 | 21 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 183 | 14 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 184 | 14 | return new typename data_type::Factory(Alloc); | 185 | 14 | } |
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.80k | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 184 | 3.80k | return new typename data_type::Factory(Alloc); | 185 | 3.80k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<std::__1::pair<clang::ObjCForCollectionStmt const*, clang::LocationContext const*>, bool, llvm::ImutKeyValueInfo<std::__1::pair<clang::ObjCForCollectionStmt const*, clang::LocationContext const*>, bool> > >::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 | } |
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 | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::EquivalenceClass, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<(anonymous namespace)::EquivalenceClass, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 183 | 13.0k | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 184 | 13.0k | return new typename data_type::Factory(Alloc); | 185 | 13.0k | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::EquivalenceClass, clang::ento::RangeSet, llvm::ImutKeyValueInfo<(anonymous namespace)::EquivalenceClass, clang::ento::RangeSet> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 183 | 13.5k | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 184 | 13.5k | return new typename data_type::Factory(Alloc); | 185 | 13.5k | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::EquivalenceClass, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::EquivalenceClass> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 183 | 13.0k | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 184 | 13.0k | return new typename data_type::Factory(Alloc); | 185 | 13.0k | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::EquivalenceClass, llvm::ImmutableSet<(anonymous namespace)::EquivalenceClass, llvm::ImutContainerInfo<(anonymous namespace)::EquivalenceClass> >, llvm::ImutKeyValueInfo<(anonymous namespace)::EquivalenceClass, llvm::ImmutableSet<(anonymous namespace)::EquivalenceClass, llvm::ImutContainerInfo<(anonymous namespace)::EquivalenceClass> > > > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 183 | 13.0k | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 184 | 13.0k | return new typename data_type::Factory(Alloc); | 185 | 13.0k | } |
Unexecuted instantiation: 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>&) |
186 | | |
187 | 74.8k | static void DeleteContext(void *Ctx) { |
188 | 74.8k | delete (typename data_type::Factory *) Ctx; |
189 | 74.8k | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> > >::DeleteContext(void*) Line | Count | Source | 187 | 109 | static void DeleteContext(void *Ctx) { | 188 | 109 | delete (typename data_type::Factory *) Ctx; | 189 | 109 | } |
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 | 2.57k | static void DeleteContext(void *Ctx) { | 188 | 2.57k | delete (typename data_type::Factory *) Ctx; | 189 | 2.57k | } |
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::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData> > >::DeleteContext(void*) Line | Count | Source | 187 | 1.30k | static void DeleteContext(void *Ctx) { | 188 | 1.30k | delete (typename data_type::Factory *) Ctx; | 189 | 1.30k | } |
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 | 801 | static void DeleteContext(void *Ctx) { | 188 | 801 | delete (typename data_type::Factory *) Ctx; | 189 | 801 | } |
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 | 39 | static void DeleteContext(void *Ctx) { | 188 | 39 | delete (typename data_type::Factory *) Ctx; | 189 | 39 | } |
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 | } |
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 | 1.29k | static void DeleteContext(void *Ctx) { | 188 | 1.29k | delete (typename data_type::Factory *) Ctx; | 189 | 1.29k | } |
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 | 559 | static void DeleteContext(void *Ctx) { | 188 | 559 | delete (typename data_type::Factory *) Ctx; | 189 | 559 | } |
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 | 4.34k | static void DeleteContext(void *Ctx) { | 188 | 4.34k | delete (typename data_type::Factory *) Ctx; | 189 | 4.34k | } |
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 | 595 | static void DeleteContext(void *Ctx) { | 188 | 595 | delete (typename data_type::Factory *) Ctx; | 189 | 595 | } |
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 | 33 | static void DeleteContext(void *Ctx) { | 188 | 33 | delete (typename data_type::Factory *) Ctx; | 189 | 33 | } |
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 | 462 | static void DeleteContext(void *Ctx) { | 188 | 462 | delete (typename data_type::Factory *) Ctx; | 189 | 462 | } |
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 | 168 | static void DeleteContext(void *Ctx) { | 188 | 168 | delete (typename data_type::Factory *) Ctx; | 189 | 168 | } |
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 | 51 | static void DeleteContext(void *Ctx) { | 188 | 51 | delete (typename data_type::Factory *) Ctx; | 189 | 51 | } |
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 | 81 | static void DeleteContext(void *Ctx) { | 188 | 81 | delete (typename data_type::Factory *) Ctx; | 189 | 81 | } |
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 | 342 | static void DeleteContext(void *Ctx) { | 188 | 342 | delete (typename data_type::Factory *) Ctx; | 189 | 342 | } |
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 | 831 | static void DeleteContext(void *Ctx) { | 188 | 831 | delete (typename data_type::Factory *) Ctx; | 189 | 831 | } |
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 | 772 | static void DeleteContext(void *Ctx) { | 188 | 772 | delete (typename data_type::Factory *) Ctx; | 189 | 772 | } |
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.08k | static void DeleteContext(void *Ctx) { | 188 | 1.08k | delete (typename data_type::Factory *) Ctx; | 189 | 1.08k | } |
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 | 18 | static void DeleteContext(void *Ctx) { | 188 | 18 | delete (typename data_type::Factory *) Ctx; | 189 | 18 | } |
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 | 53 | static void DeleteContext(void *Ctx) { | 188 | 53 | delete (typename data_type::Factory *) Ctx; | 189 | 53 | } |
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 | 982 | static void DeleteContext(void *Ctx) { | 188 | 982 | delete (typename data_type::Factory *) Ctx; | 189 | 982 | } |
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 | 21 | static void DeleteContext(void *Ctx) { | 188 | 21 | delete (typename data_type::Factory *) Ctx; | 189 | 21 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo> > >::DeleteContext(void*) Line | Count | Source | 187 | 14 | static void DeleteContext(void *Ctx) { | 188 | 14 | delete (typename data_type::Factory *) Ctx; | 189 | 14 | } |
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.80k | static void DeleteContext(void *Ctx) { | 188 | 3.80k | delete (typename data_type::Factory *) Ctx; | 189 | 3.80k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<std::__1::pair<clang::ObjCForCollectionStmt const*, clang::LocationContext const*>, bool, llvm::ImutKeyValueInfo<std::__1::pair<clang::ObjCForCollectionStmt const*, clang::LocationContext const*>, bool> > >::DeleteContext(void*) Line | Count | Source | 187 | 32 | static void DeleteContext(void *Ctx) { | 188 | 32 | delete (typename data_type::Factory *) Ctx; | 189 | 32 | } |
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 | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::EquivalenceClass, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<(anonymous namespace)::EquivalenceClass, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > > >::DeleteContext(void*) Line | Count | Source | 187 | 13.0k | static void DeleteContext(void *Ctx) { | 188 | 13.0k | delete (typename data_type::Factory *) Ctx; | 189 | 13.0k | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::EquivalenceClass, clang::ento::RangeSet, llvm::ImutKeyValueInfo<(anonymous namespace)::EquivalenceClass, clang::ento::RangeSet> > >::DeleteContext(void*) Line | Count | Source | 187 | 13.5k | static void DeleteContext(void *Ctx) { | 188 | 13.5k | delete (typename data_type::Factory *) Ctx; | 189 | 13.5k | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::EquivalenceClass, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::EquivalenceClass> > >::DeleteContext(void*) Line | Count | Source | 187 | 13.0k | static void DeleteContext(void *Ctx) { | 188 | 13.0k | delete (typename data_type::Factory *) Ctx; | 189 | 13.0k | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::EquivalenceClass, llvm::ImmutableSet<(anonymous namespace)::EquivalenceClass, llvm::ImutContainerInfo<(anonymous namespace)::EquivalenceClass> >, llvm::ImutKeyValueInfo<(anonymous namespace)::EquivalenceClass, llvm::ImmutableSet<(anonymous namespace)::EquivalenceClass, llvm::ImutContainerInfo<(anonymous namespace)::EquivalenceClass> > > > >::DeleteContext(void*) Line | Count | Source | 187 | 13.0k | static void DeleteContext(void *Ctx) { | 188 | 13.0k | delete (typename data_type::Factory *) Ctx; | 189 | 13.0k | } |
Unexecuted instantiation: clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::RangeSet> > >::DeleteContext(void*) |
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 | 200k | static data_type MakeData(void *const *p) { |
200 | 4.29k | return p ? data_type((typename data_type::TreeTy *) *p) |
201 | 196k | : data_type(nullptr); |
202 | 200k | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> > >::MakeData(void* const*) Line | Count | Source | 199 | 1.02k | static data_type MakeData(void *const *p) { | 200 | 201 | return p ? data_type((typename data_type::TreeTy *) *p) | 201 | 824 | : data_type(nullptr); | 202 | 1.02k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > >::MakeData(void* const*) Line | Count | Source | 199 | 187k | static data_type MakeData(void *const *p) { | 200 | 357 | return p ? data_type((typename data_type::TreeTy *) *p) | 201 | 187k | : data_type(nullptr); | 202 | 187k | } |
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 | 1 | return p ? data_type((typename data_type::TreeTy *) *p) | 201 | 20 | : data_type(nullptr); | 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.07k | static data_type MakeData(void *const *p) { | 200 | 116 | return p ? data_type((typename data_type::TreeTy *) *p) | 201 | 1.96k | : data_type(nullptr); | 202 | 2.07k | } |
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 | 3.57k | return p ? data_type((typename data_type::TreeTy *) *p) | 201 | 5.82k | : data_type(nullptr); | 202 | 9.39k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> > >::MakeData(void* const*) Line | Count | Source | 199 | 393 | static data_type MakeData(void *const *p) { | 200 | 41 | return p ? data_type((typename data_type::TreeTy *) *p) | 201 | 352 | : data_type(nullptr); | 202 | 393 | } |
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.27k | static void *MakeVoidPtr(data_type B) { |
205 | 1.27k | return B.getRoot(); |
206 | 1.27k | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> > >::MakeVoidPtr(llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> >) Line | Count | Source | 204 | 201 | static void *MakeVoidPtr(data_type B) { | 205 | 201 | return B.getRoot(); | 206 | 201 | } |
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 | 76 | static void *MakeVoidPtr(data_type B) { | 205 | 76 | return B.getRoot(); | 206 | 76 | } |
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 | 194 | static void *MakeVoidPtr(data_type B) { | 205 | 194 | return B.getRoot(); | 206 | 194 | } |
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 | 837 | static data_type Add(data_type B, key_type K, context_type F) { |
209 | 837 | return F.add(B, K); |
210 | 837 | } 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 | 201 | static data_type Add(data_type B, key_type K, context_type F) { | 209 | 201 | return F.add(B, K); | 210 | 201 | } |
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 | 64 | static data_type Add(data_type B, key_type K, context_type F) { | 209 | 64 | return F.add(B, K); | 210 | 64 | } |
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 | 194 | static data_type Add(data_type B, key_type K, context_type F) { | 209 | 194 | return F.add(B, K); | 210 | 194 | } |
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 | 388 | static data_type Remove(data_type B, key_type K, context_type F) { |
213 | 388 | return F.remove(B, K); |
214 | 388 | } 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 | 12 | static data_type Remove(data_type B, key_type K, context_type F) { | 213 | 12 | return F.remove(B, K); | 214 | 12 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> > >::Remove(llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> >, clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> >::Factory&) Line | Count | Source | 212 | 376 | static data_type Remove(data_type B, key_type K, context_type F) { | 213 | 376 | return F.remove(B, K); | 214 | 376 | } |
|
215 | | |
216 | 19.8k | static bool Contains(data_type B, key_type K) { |
217 | 19.8k | return B.contains(K); |
218 | 19.8k | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > >::Contains(llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, clang::ento::SymExpr const*) Line | Count | Source | 216 | 13.6k | static bool Contains(data_type B, key_type K) { | 217 | 13.6k | return B.contains(K); | 218 | 13.6k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ParmVarDecl const*, llvm::ImutContainerInfo<clang::ParmVarDecl const*> > >::Contains(llvm::ImmutableSet<clang::ParmVarDecl const*, llvm::ImutContainerInfo<clang::ParmVarDecl const*> >, clang::ParmVarDecl const*) Line | Count | Source | 216 | 20 | static bool Contains(data_type B, key_type K) { | 217 | 20 | return B.contains(K); | 218 | 20 | } |
TestAfterDivZeroChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<(anonymous namespace)::ZeroState, llvm::ImutContainerInfo<(anonymous namespace)::ZeroState> > >::Contains(llvm::ImmutableSet<(anonymous namespace)::ZeroState, llvm::ImutContainerInfo<(anonymous namespace)::ZeroState> >, (anonymous namespace)::ZeroState) Line | Count | Source | 216 | 370 | static bool Contains(data_type B, key_type K) { | 217 | 370 | return B.contains(K); | 218 | 370 | } |
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 | 199 | static bool Contains(data_type B, key_type K) { | 217 | 199 | return B.contains(K); | 218 | 199 | } |
|
219 | | |
220 | 869k | static context_type MakeContext(void *p) { |
221 | 869k | return *((typename data_type::Factory *) p); |
222 | 869k | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> > >::MakeContext(void*) Line | Count | Source | 220 | 201 | static context_type MakeContext(void *p) { | 221 | 201 | return *((typename data_type::Factory *) p); | 222 | 201 | } |
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 | 88 | static context_type MakeContext(void *p) { | 221 | 88 | return *((typename data_type::Factory *) p); | 222 | 88 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> > >::MakeContext(void*) Line | Count | Source | 220 | 194 | static context_type MakeContext(void *p) { | 221 | 194 | return *((typename data_type::Factory *) p); | 222 | 194 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > >::MakeContext(void*) Line | Count | Source | 220 | 459k | static context_type MakeContext(void *p) { | 221 | 459k | return *((typename data_type::Factory *) p); | 222 | 459k | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<(anonymous namespace)::EquivalenceClass, llvm::ImutContainerInfo<(anonymous namespace)::EquivalenceClass> > >::MakeContext(void*) Line | Count | Source | 220 | 408k | static context_type MakeContext(void *p) { | 221 | 408k | return *((typename data_type::Factory *) p); | 222 | 408k | } |
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 | 26.7k | static void *CreateContext(llvm::BumpPtrAllocator &Alloc) { |
225 | 26.7k | return new typename data_type::Factory(Alloc); |
226 | 26.7k | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 224 | 88 | static void *CreateContext(llvm::BumpPtrAllocator &Alloc) { | 225 | 88 | return new typename data_type::Factory(Alloc); | 226 | 88 | } |
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 | 21 | static void *CreateContext(llvm::BumpPtrAllocator &Alloc) { | 225 | 21 | return new typename data_type::Factory(Alloc); | 226 | 21 | } |
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 | 174 | static void *CreateContext(llvm::BumpPtrAllocator &Alloc) { | 225 | 174 | return new typename data_type::Factory(Alloc); | 226 | 174 | } |
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 | 13.1k | static void *CreateContext(llvm::BumpPtrAllocator &Alloc) { | 225 | 13.1k | return new typename data_type::Factory(Alloc); | 226 | 13.1k | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<(anonymous namespace)::EquivalenceClass, llvm::ImutContainerInfo<(anonymous namespace)::EquivalenceClass> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 224 | 13.0k | static void *CreateContext(llvm::BumpPtrAllocator &Alloc) { | 225 | 13.0k | return new typename data_type::Factory(Alloc); | 226 | 13.0k | } |
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 | 26.7k | static void DeleteContext(void *Ctx) { |
229 | 26.7k | delete (typename data_type::Factory *) Ctx; |
230 | 26.7k | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> > >::DeleteContext(void*) Line | Count | Source | 228 | 88 | static void DeleteContext(void *Ctx) { | 229 | 88 | delete (typename data_type::Factory *) Ctx; | 230 | 88 | } |
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 | 21 | static void DeleteContext(void *Ctx) { | 229 | 21 | delete (typename data_type::Factory *) Ctx; | 230 | 21 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> > >::DeleteContext(void*) Line | Count | Source | 228 | 174 | static void DeleteContext(void *Ctx) { | 229 | 174 | delete (typename data_type::Factory *) Ctx; | 230 | 174 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > >::DeleteContext(void*) Line | Count | Source | 228 | 13.1k | static void DeleteContext(void *Ctx) { | 229 | 13.1k | delete (typename data_type::Factory *) Ctx; | 230 | 13.1k | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<(anonymous namespace)::EquivalenceClass, llvm::ImutContainerInfo<(anonymous namespace)::EquivalenceClass> > >::DeleteContext(void*) Line | Count | Source | 228 | 13.0k | static void DeleteContext(void *Ctx) { | 229 | 13.0k | delete (typename data_type::Factory *) Ctx; | 230 | 13.0k | } |
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 | 275 | static data_type Add(data_type L, key_type K, context_type F) { |
241 | 275 | return F.add(K, L); |
242 | 275 | } 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 | 189 | static data_type Add(data_type L, key_type K, context_type F) { | 241 | 189 | return F.add(K, L); | 242 | 189 | } |
|
243 | | |
244 | | static bool Contains(data_type L, key_type K) { |
245 | | return L.contains(K); |
246 | | } |
247 | | |
248 | 8.07k | static data_type MakeData(void *const *p) { |
249 | 7.71k | return p ? data_type((const llvm::ImmutableListImpl<T> *) *p) |
250 | 355 | : data_type(nullptr); |
251 | 8.07k | } 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 | 73 | return p ? data_type((const llvm::ImmutableListImpl<T> *) *p) | 250 | 81 | : data_type(nullptr); | 251 | 154 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<LoopState> >::MakeData(void* const*) Line | Count | Source | 248 | 7.91k | static data_type MakeData(void *const *p) { | 249 | 7.64k | return p ? data_type((const llvm::ImmutableListImpl<T> *) *p) | 250 | 274 | : data_type(nullptr); | 251 | 7.91k | } |
|
252 | | |
253 | 488 | static void *MakeVoidPtr(data_type D) { |
254 | 488 | return const_cast<llvm::ImmutableListImpl<T> *>(D.getInternalPointer()); |
255 | 488 | } 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 | 357 | static void *MakeVoidPtr(data_type D) { | 254 | 357 | return const_cast<llvm::ImmutableListImpl<T> *>(D.getInternalPointer()); | 255 | 357 | } |
|
256 | | |
257 | 275 | static context_type MakeContext(void *p) { |
258 | 275 | return *((typename data_type::Factory *) p); |
259 | 275 | } 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 | 189 | static context_type MakeContext(void *p) { | 258 | 189 | return *((typename data_type::Factory *) p); | 259 | 189 | } |
|
260 | | |
261 | 153 | static void *CreateContext(llvm::BumpPtrAllocator &Alloc) { |
262 | 153 | return new typename data_type::Factory(Alloc); |
263 | 153 | } 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 | 90 | static void *CreateContext(llvm::BumpPtrAllocator &Alloc) { | 262 | 90 | return new typename data_type::Factory(Alloc); | 263 | 90 | } |
|
264 | | |
265 | 153 | static void DeleteContext(void *Ctx) { |
266 | 153 | delete (typename data_type::Factory *) Ctx; |
267 | 153 | } 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 | 90 | static void DeleteContext(void *Ctx) { | 266 | 90 | delete (typename data_type::Factory *) Ctx; | 267 | 90 | } |
|
268 | | }; |
269 | | |
270 | | // Partial specialization for bool. |
271 | | template <> struct ProgramStatePartialTrait<bool> { |
272 | | using data_type = bool; |
273 | | |
274 | 5.29k | static data_type MakeData(void *const *p) { |
275 | 727 | return p ? (data_type) (uintptr_t) *p |
276 | 4.57k | : data_type(); |
277 | 5.29k | } |
278 | | |
279 | 213 | static void *MakeVoidPtr(data_type d) { |
280 | 213 | return (void *) (uintptr_t) d; |
281 | 213 | } |
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 | 83 | return p ? (data_type) (uintptr_t) *p |
290 | 114 | : data_type(); |
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 | 67.3k | static data_type MakeData(void *const *p) { |
317 | 67.1k | return p ? *p138 : data_type(); |
318 | 67.3k | } |
319 | | |
320 | 54 | static void *MakeVoidPtr(data_type d) { |
321 | 54 | return const_cast<void *>(d); |
322 | 54 | } |
323 | | }; |
324 | | |
325 | | } // namespace ento |
326 | | } // namespace clang |
327 | | |
328 | | #endif // LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_PROGRAMSTATETRAIT_H |