/Users/buildslave/jenkins/workspace/coverage/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h
Line | Count | Source |
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 | | #include <type_traits> |
25 | | |
26 | | namespace clang { |
27 | | namespace ento { |
28 | | |
29 | | template <typename T, typename Enable = void> struct ProgramStatePartialTrait; |
30 | | |
31 | | /// Declares a program state trait for type \p Type called \p Name, and |
32 | | /// introduce a type named \c NameTy. |
33 | | /// The macro should not be used inside namespaces. |
34 | | #define REGISTER_TRAIT_WITH_PROGRAMSTATE(Name, Type) \ |
35 | | namespace { \ |
36 | | class Name {}; \ |
37 | | using Name##Ty = Type; \ |
38 | | } \ |
39 | | namespace clang { \ |
40 | | namespace ento { \ |
41 | | template <> \ |
42 | | struct ProgramStateTrait<Name> : public ProgramStatePartialTrait<Name##Ty> { \ |
43 | 38.3M | static void *GDMIndex() { \ |
44 | 38.3M | static int Index; \ |
45 | 38.3M | return &Index; \ |
46 | 38.3M | } \ BasicObjCFoundationChecks.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerCountMap>::GDMIndex() Line | Count | Source | 43 | 5.04k | static void *GDMIndex() { \ | 44 | 5.04k | static int Index; \ | 45 | 5.04k | return &Index; \ | 46 | 5.04k | } \ |
BasicObjCFoundationChecks.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerNonEmptyMap>::GDMIndex() Line | Count | Source | 43 | 2.32k | static void *GDMIndex() { \ | 44 | 2.32k | static int Index; \ | 45 | 2.32k | return &Index; \ | 46 | 2.32k | } \ |
BlockInCriticalSectionChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::MutexCounter>::GDMIndex() Line | Count | Source | 43 | 94 | static void *GDMIndex() { \ | 44 | 94 | static int Index; \ | 45 | 94 | return &Index; \ | 46 | 94 | } \ |
CStringChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CStringLength>::GDMIndex() Line | Count | Source | 43 | 336k | static void *GDMIndex() { \ | 44 | 336k | static int Index; \ | 45 | 336k | return &Index; \ | 46 | 336k | } \ |
CheckObjCDealloc.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::UnreleasedIvarMap>::GDMIndex() Line | Count | Source | 43 | 5.99k | static void *GDMIndex() { \ | 44 | 5.99k | static int Index; \ | 45 | 5.99k | return &Index; \ | 46 | 5.99k | } \ |
DynamicTypePropagation.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::MostSpecializedTypeArgsMap>::GDMIndex() Line | Count | Source | 43 | 398k | static void *GDMIndex() { \ | 44 | 398k | static int Index; \ | 45 | 398k | return &Index; \ | 46 | 398k | } \ |
ErrnoModeling.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ErrnoRegion>::GDMIndex() Line | Count | Source | 43 | 5.53k | static void *GDMIndex() { \ | 44 | 5.53k | static int Index; \ | 45 | 5.53k | return &Index; \ | 46 | 5.53k | } \ |
ErrnoModeling.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ErrnoState>::GDMIndex() Line | Count | Source | 43 | 1.40k | static void *GDMIndex() { \ | 44 | 1.40k | static int Index; \ | 45 | 1.40k | return &Index; \ | 46 | 1.40k | } \ |
ExprInspectionChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::MarkedSymbols>::GDMIndex() Line | Count | Source | 43 | 212k | static void *GDMIndex() { \ | 44 | 212k | static int Index; \ | 45 | 212k | return &Index; \ | 46 | 212k | } \ |
ExprInspectionChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DenotedSymbols>::GDMIndex() Line | Count | Source | 43 | 221k | static void *GDMIndex() { \ | 44 | 221k | static int Index; \ | 45 | 221k | return &Index; \ | 46 | 221k | } \ |
FuchsiaHandleChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::HStateMap>::GDMIndex() Line | Count | Source | 43 | 2.36k | static void *GDMIndex() { \ | 44 | 2.36k | static int Index; \ | 45 | 2.36k | return &Index; \ | 46 | 2.36k | } \ |
GenericTaintChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TaintArgsOnPostVisit>::GDMIndex() Line | Count | Source | 43 | 9.35k | static void *GDMIndex() { \ | 44 | 9.35k | static int Index; \ | 45 | 9.35k | return &Index; \ | 46 | 9.35k | } \ |
InnerPointerChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RawPtrMap>::GDMIndex() Line | Count | Source | 43 | 100k | static void *GDMIndex() { \ | 44 | 100k | static int Index; \ | 45 | 100k | return &Index; \ | 46 | 100k | } \ |
InvalidPtrChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::EnvPtrRegion>::GDMIndex() Line | Count | Source | 43 | 10 | static void *GDMIndex() { \ | 44 | 10 | static int Index; \ | 45 | 10 | return &Index; \ | 46 | 10 | } \ |
InvalidPtrChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::InvalidMemoryRegions>::GDMIndex() Line | Count | Source | 43 | 411 | static void *GDMIndex() { \ | 44 | 411 | static int Index; \ | 45 | 411 | return &Index; \ | 46 | 411 | } \ |
InvalidPtrChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::PreviousCallResultMap>::GDMIndex() Line | Count | Source | 43 | 216 | static void *GDMIndex() { \ | 44 | 216 | static int Index; \ | 45 | 216 | return &Index; \ | 46 | 216 | } \ |
LocalizationChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LocalizedMemMap>::GDMIndex() Line | Count | Source | 43 | 777 | static void *GDMIndex() { \ | 44 | 777 | static int Index; \ | 45 | 777 | return &Index; \ | 46 | 777 | } \ |
MacOSKeychainAPIChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::AllocatedData>::GDMIndex() Line | Count | Source | 43 | 5.56k | static void *GDMIndex() { \ | 44 | 5.56k | static int Index; \ | 45 | 5.56k | return &Index; \ | 46 | 5.56k | } \ |
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::GDMIndex() Line | Count | Source | 43 | 611k | static void *GDMIndex() { \ | 44 | 611k | static int Index; \ | 45 | 611k | return &Index; \ | 46 | 611k | } \ |
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::FreeReturnValue>::GDMIndex() Line | Count | Source | 43 | 268k | static void *GDMIndex() { \ | 44 | 268k | static int Index; \ | 45 | 268k | return &Index; \ | 46 | 268k | } \ |
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocSizeZeroSymbols>::GDMIndex() Line | Count | Source | 43 | 13.3k | static void *GDMIndex() { \ | 44 | 13.3k | static int Index; \ | 45 | 13.3k | return &Index; \ | 46 | 13.3k | } \ |
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocPairs>::GDMIndex() Line | Count | Source | 43 | 466k | static void *GDMIndex() { \ | 44 | 466k | static int Index; \ | 45 | 466k | return &Index; \ | 46 | 466k | } \ |
MIGChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RefCountedParameters>::GDMIndex() Line | Count | Source | 43 | 23 | static void *GDMIndex() { \ | 44 | 23 | static int Index; \ | 45 | 23 | return &Index; \ | 46 | 23 | } \ |
MIGChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ReleasedParameter>::GDMIndex() Line | Count | Source | 43 | 44 | static void *GDMIndex() { \ | 44 | 44 | static int Index; \ | 45 | 44 | return &Index; \ | 46 | 44 | } \ |
MoveChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TrackedRegionMap>::GDMIndex() Line | Count | Source | 43 | 267k | static void *GDMIndex() { \ | 44 | 267k | static int Index; \ | 45 | 267k | return &Index; \ | 46 | 267k | } \ |
NSErrorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NSErrorOut>::GDMIndex() Line | Count | Source | 43 | 26 | static void *GDMIndex() { \ | 44 | 26 | static int Index; \ | 45 | 26 | return &Index; \ | 46 | 26 | } \ |
NSErrorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CFErrorOut>::GDMIndex() Line | Count | Source | 43 | 39 | static void *GDMIndex() { \ | 44 | 39 | static int Index; \ | 45 | 39 | return &Index; \ | 46 | 39 | } \ |
NullabilityChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NullabilityMap>::GDMIndex() Line | Count | Source | 43 | 12.5k | static void *GDMIndex() { \ | 44 | 12.5k | static int Index; \ | 45 | 12.5k | return &Index; \ | 46 | 12.5k | } \ |
NullabilityChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::InvariantViolated>::GDMIndex() Line | Count | Source | 43 | 5.25k | static void *GDMIndex() { \ | 44 | 5.25k | static int Index; \ | 45 | 5.25k | return &Index; \ | 46 | 5.25k | } \ |
ObjCContainersChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ArraySizeMap>::GDMIndex() Line | Count | Source | 43 | 1.42k | static void *GDMIndex() { \ | 44 | 1.42k | static int Index; \ | 45 | 1.42k | return &Index; \ | 46 | 1.42k | } \ |
ObjCSelfInitChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::SelfFlag>::GDMIndex() Line | Count | Source | 43 | 1.71k | static void *GDMIndex() { \ | 44 | 1.71k | static int Index; \ | 45 | 1.71k | return &Index; \ | 46 | 1.71k | } \ |
ObjCSelfInitChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CalledInit>::GDMIndex() Line | Count | Source | 43 | 259 | static void *GDMIndex() { \ | 44 | 259 | static int Index; \ | 45 | 259 | return &Index; \ | 46 | 259 | } \ |
ObjCSelfInitChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::PreCallSelfFlags>::GDMIndex() Line | Count | Source | 43 | 178 | static void *GDMIndex() { \ | 44 | 178 | static int Index; \ | 45 | 178 | return &Index; \ | 46 | 178 | } \ |
ObjCSuperDeallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CalledSuperDealloc>::GDMIndex() Line | Count | Source | 43 | 549 | static void *GDMIndex() { \ | 44 | 549 | static int Index; \ | 45 | 549 | return &Index; \ | 46 | 549 | } \ |
PointerArithChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::GDMIndex() Line | Count | Source | 43 | 26.0k | static void *GDMIndex() { \ | 44 | 26.0k | static int Index; \ | 45 | 26.0k | return &Index; \ | 46 | 26.0k | } \ |
PthreadLockChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DestroyRetVal>::GDMIndex() Line | Count | Source | 43 | 32.6k | static void *GDMIndex() { \ | 44 | 32.6k | static int Index; \ | 45 | 32.6k | return &Index; \ | 46 | 32.6k | } \ |
PthreadLockChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LockMap>::GDMIndex() Line | Count | Source | 43 | 33.2k | static void *GDMIndex() { \ | 44 | 33.2k | static int Index; \ | 45 | 33.2k | return &Index; \ | 46 | 33.2k | } \ |
PthreadLockChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LockSet>::GDMIndex() Line | Count | Source | 43 | 390 | static void *GDMIndex() { \ | 44 | 390 | static int Index; \ | 45 | 390 | return &Index; \ | 46 | 390 | } \ |
RetainCountChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RefBindings>::GDMIndex() Line | Count | Source | 43 | 127k | static void *GDMIndex() { \ | 44 | 127k | static int Index; \ | 45 | 127k | return &Index; \ | 46 | 127k | } \ |
SimpleStreamChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::GDMIndex() Line | Count | Source | 43 | 465 | static void *GDMIndex() { \ | 44 | 465 | static int Index; \ | 45 | 465 | return &Index; \ | 46 | 465 | } \ |
SmartPtrModeling.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TrackedRegionMap>::GDMIndex() Line | Count | Source | 43 | 478k | static void *GDMIndex() { \ | 44 | 478k | static int Index; \ | 45 | 478k | return &Index; \ | 46 | 478k | } \ |
StreamChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::GDMIndex() Line | Count | Source | 43 | 3.31k | static void *GDMIndex() { \ | 44 | 3.31k | static int Index; \ | 45 | 3.31k | return &Index; \ | 46 | 3.31k | } \ |
Taint.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TaintMap>::GDMIndex() Line | Count | Source | 43 | 113k | static void *GDMIndex() { \ | 44 | 113k | static int Index; \ | 45 | 113k | return &Index; \ | 46 | 113k | } \ |
Taint.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DerivedSymTaint>::GDMIndex() Line | Count | Source | 43 | 7.56k | static void *GDMIndex() { \ | 44 | 7.56k | static int Index; \ | 45 | 7.56k | return &Index; \ | 46 | 7.56k | } \ |
TestAfterDivZeroChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DivZeroMap>::GDMIndex() Line | Count | Source | 43 | 2.34k | static void *GDMIndex() { \ | 44 | 2.34k | static int Index; \ | 45 | 2.34k | return &Index; \ | 46 | 2.34k | } \ |
TrustNonnullChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NonNullImplicationMap>::GDMIndex() Line | Count | Source | 43 | 7.25k | static void *GDMIndex() { \ | 44 | 7.25k | static int Index; \ | 45 | 7.25k | return &Index; \ | 46 | 7.25k | } \ |
TrustNonnullChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NullImplicationMap>::GDMIndex() Line | Count | Source | 43 | 7.25k | static void *GDMIndex() { \ | 44 | 7.25k | static int Index; \ | 45 | 7.25k | return &Index; \ | 46 | 7.25k | } \ |
UninitializedObjectChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::AnalyzedRegions>::GDMIndex() Line | Count | Source | 43 | 4.16k | static void *GDMIndex() { \ | 44 | 4.16k | static int Index; \ | 45 | 4.16k | return &Index; \ | 46 | 4.16k | } \ |
VforkChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::VforkResultRegion>::GDMIndex() Line | Count | Source | 43 | 3.59k | static void *GDMIndex() { \ | 44 | 3.59k | static int Index; \ | 45 | 3.59k | return &Index; \ | 46 | 3.59k | } \ |
ValistChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::InitializedVALists>::GDMIndex() Line | Count | Source | 43 | 6.55k | static void *GDMIndex() { \ | 44 | 6.55k | static int Index; \ | 45 | 6.55k | return &Index; \ | 46 | 6.55k | } \ |
VirtualCallChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CtorDtorMap>::GDMIndex() Line | Count | Source | 43 | 15.1k | static void *GDMIndex() { \ | 44 | 15.1k | static int Index; \ | 45 | 15.1k | return &Index; \ | 46 | 15.1k | } \ |
DynamicExtent.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicExtentMap>::GDMIndex() Line | Count | Source | 43 | 78.8k | static void *GDMIndex() { \ | 44 | 78.8k | static int Index; \ | 45 | 78.8k | return &Index; \ | 46 | 78.8k | } \ |
DynamicType.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicTypeMap>::GDMIndex() Line | Count | Source | 43 | 417k | static void *GDMIndex() { \ | 44 | 417k | static int Index; \ | 45 | 417k | return &Index; \ | 46 | 417k | } \ |
DynamicType.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicClassObjectMap>::GDMIndex() Line | Count | Source | 43 | 387k | static void *GDMIndex() { \ | 44 | 387k | static int Index; \ | 45 | 387k | return &Index; \ | 46 | 387k | } \ |
DynamicType.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicCastMap>::GDMIndex() Line | Count | Source | 43 | 7.50k | static void *GDMIndex() { \ | 44 | 7.50k | static int Index; \ | 45 | 7.50k | return &Index; \ | 46 | 7.50k | } \ |
ExprEngine.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::IndexOfElementToConstruct>::GDMIndex() Line | Count | Source | 43 | 11.8k | static void *GDMIndex() { \ | 44 | 11.8k | static int Index; \ | 45 | 11.8k | return &Index; \ | 46 | 11.8k | } \ |
ExprEngine.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ObjectsUnderConstruction>::GDMIndex() Line | Count | Source | 43 | 1.11M | static void *GDMIndex() { \ | 44 | 1.11M | static int Index; \ | 45 | 1.11M | return &Index; \ | 46 | 1.11M | } \ |
ExprEngine.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ObjCForHasMoreIterations>::GDMIndex() Line | Count | Source | 43 | 5.60k | static void *GDMIndex() { \ | 44 | 5.60k | static int Index; \ | 45 | 5.60k | return &Index; \ | 46 | 5.60k | } \ |
ExprEngine.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::InitializedGlobalsSet>::GDMIndex() Line | Count | Source | 43 | 805 | static void *GDMIndex() { \ | 44 | 805 | static int Index; \ | 45 | 805 | return &Index; \ | 46 | 805 | } \ |
ExprEngineCallAndReturn.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CTUDispatchBifurcation>::GDMIndex() Line | Count | Source | 43 | 51 | static void *GDMIndex() { \ | 44 | 51 | static int Index; \ | 45 | 51 | return &Index; \ | 46 | 51 | } \ |
ExprEngineCallAndReturn.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicDispatchBifurcationMap>::GDMIndex() Line | Count | Source | 43 | 83 | static void *GDMIndex() { \ | 44 | 83 | static int Index; \ | 45 | 83 | return &Index; \ | 46 | 83 | } \ |
LoopUnrolling.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LoopStack>::GDMIndex() Line | Count | Source | 43 | 8.76k | static void *GDMIndex() { \ | 44 | 8.76k | static int Index; \ | 45 | 8.76k | return &Index; \ | 46 | 8.76k | } \ |
RangeConstraintManager.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ClassMembers>::GDMIndex() Line | Count | Source | 43 | 5.08M | static void *GDMIndex() { \ | 44 | 5.08M | static int Index; \ | 45 | 5.08M | return &Index; \ | 46 | 5.08M | } \ |
RangeConstraintManager.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ConstraintRange>::GDMIndex() Line | Count | Source | 43 | 13.1M | static void *GDMIndex() { \ | 44 | 13.1M | static int Index; \ | 45 | 13.1M | return &Index; \ | 46 | 13.1M | } \ |
RangeConstraintManager.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ClassMap>::GDMIndex() Line | Count | Source | 43 | 12.8M | static void *GDMIndex() { \ | 44 | 12.8M | static int Index; \ | 45 | 12.8M | return &Index; \ | 46 | 12.8M | } \ |
RangeConstraintManager.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DisequalityMap>::GDMIndex() Line | Count | Source | 43 | 1.42M | static void *GDMIndex() { \ | 44 | 1.42M | static int Index; \ | 45 | 1.42M | return &Index; \ | 46 | 1.42M | } \ |
Unexecuted instantiation: SMTConstraintManager.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ConstraintSMT>::GDMIndex() |
47 | | }; \ |
48 | | } \ |
49 | | } |
50 | | |
51 | | /// Declares a factory for objects of type \p Type in the program state |
52 | | /// manager. The type must provide a ::Factory sub-class. Commonly used for |
53 | | /// ImmutableMap, ImmutableSet, ImmutableList. The macro should not be used |
54 | | /// inside namespaces. |
55 | | #define REGISTER_FACTORY_WITH_PROGRAMSTATE(Type) \ |
56 | | namespace clang { \ |
57 | | namespace ento { \ |
58 | | template <> \ |
59 | | struct ProgramStateTrait<Type> \ |
60 | | : public ProgramStatePartialTrait<Type> { \ |
61 | 2.06M | 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::ImmutableSet<int, llvm::ImutContainerInfo<int> > >::GDMIndex() Line | Count | Source | 61 | 1.41k | static void *GDMIndex() { static int Index; return &Index; } \ |
clang::ento::ProgramStateTrait<llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> > >::GDMIndex() Line | Count | Source | 61 | 35 | 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 | 61 | 370 | 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 | 61 | 1.54M | 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 | 61 | 522k | static void *GDMIndex() { static int Index; return &Index; } \ |
|
62 | | }; \ |
63 | | } \ |
64 | | } |
65 | | |
66 | | /// Helper for registering a map trait. |
67 | | /// |
68 | | /// If the map type were written directly in the invocation of |
69 | | /// REGISTER_TRAIT_WITH_PROGRAMSTATE, the comma in the template arguments |
70 | | /// would be treated as a macro argument separator, which is wrong. |
71 | | /// This allows the user to specify a map type in a way that the preprocessor |
72 | | /// can deal with. |
73 | | #define CLANG_ENTO_PROGRAMSTATE_MAP(Key, Value) llvm::ImmutableMap<Key, Value> |
74 | | |
75 | | /// Declares an immutable map of type \p NameTy, suitable for placement into |
76 | | /// the ProgramState. This is implementing using llvm::ImmutableMap. |
77 | | /// |
78 | | /// \code |
79 | | /// State = State->set<Name>(K, V); |
80 | | /// const Value *V = State->get<Name>(K); // Returns NULL if not in the map. |
81 | | /// State = State->remove<Name>(K); |
82 | | /// NameTy Map = State->get<Name>(); |
83 | | /// \endcode |
84 | | /// |
85 | | /// The macro should not be used inside namespaces, or for traits that must |
86 | | /// be accessible from more than one translation unit. |
87 | | #define REGISTER_MAP_WITH_PROGRAMSTATE(Name, Key, Value) \ |
88 | | REGISTER_TRAIT_WITH_PROGRAMSTATE(Name, \ |
89 | | CLANG_ENTO_PROGRAMSTATE_MAP(Key, Value)) |
90 | | |
91 | | /// Declares an immutable map type \p Name and registers the factory |
92 | | /// for such maps in the program state, but does not add the map itself |
93 | | /// to the program state. Useful for managing lifetime of maps that are used |
94 | | /// as elements of other program state data structures. |
95 | | #define REGISTER_MAP_FACTORY_WITH_PROGRAMSTATE(Name, Key, Value) \ |
96 | | using Name = llvm::ImmutableMap<Key, Value>; \ |
97 | | REGISTER_FACTORY_WITH_PROGRAMSTATE(Name) |
98 | | |
99 | | |
100 | | /// Declares an immutable set of type \p NameTy, suitable for placement into |
101 | | /// the ProgramState. This is implementing using llvm::ImmutableSet. |
102 | | /// |
103 | | /// \code |
104 | | /// State = State->add<Name>(E); |
105 | | /// State = State->remove<Name>(E); |
106 | | /// bool Present = State->contains<Name>(E); |
107 | | /// NameTy Set = State->get<Name>(); |
108 | | /// \endcode |
109 | | /// |
110 | | /// The macro should not be used inside namespaces, or for traits that must |
111 | | /// be accessible from more than one translation unit. |
112 | | #define REGISTER_SET_WITH_PROGRAMSTATE(Name, Elem) \ |
113 | | REGISTER_TRAIT_WITH_PROGRAMSTATE(Name, llvm::ImmutableSet<Elem>) |
114 | | |
115 | | /// Declares an immutable set type \p Name and registers the factory |
116 | | /// for such sets in the program state, but does not add the set itself |
117 | | /// to the program state. Useful for managing lifetime of sets that are used |
118 | | /// as elements of other program state data structures. |
119 | | #define REGISTER_SET_FACTORY_WITH_PROGRAMSTATE(Name, Elem) \ |
120 | | using Name = llvm::ImmutableSet<Elem>; \ |
121 | | REGISTER_FACTORY_WITH_PROGRAMSTATE(Name) |
122 | | |
123 | | |
124 | | /// Declares an immutable list type \p NameTy, suitable for placement into |
125 | | /// the ProgramState. This is implementing using llvm::ImmutableList. |
126 | | /// |
127 | | /// \code |
128 | | /// State = State->add<Name>(E); // Adds to the /end/ of the list. |
129 | | /// bool Present = State->contains<Name>(E); |
130 | | /// NameTy List = State->get<Name>(); |
131 | | /// \endcode |
132 | | /// |
133 | | /// The macro should not be used inside namespaces, or for traits that must |
134 | | /// be accessible from more than one translation unit. |
135 | | #define REGISTER_LIST_WITH_PROGRAMSTATE(Name, Elem) \ |
136 | | REGISTER_TRAIT_WITH_PROGRAMSTATE(Name, llvm::ImmutableList<Elem>) |
137 | | |
138 | | /// Declares an immutable list of type \p Name and registers the factory |
139 | | /// for such lists in the program state, but does not add the list itself |
140 | | /// to the program state. Useful for managing lifetime of lists that are used |
141 | | /// as elements of other program state data structures. |
142 | | #define REGISTER_LIST_FACTORY_WITH_PROGRAMSTATE(Name, Elem) \ |
143 | | using Name = llvm::ImmutableList<Elem>; \ |
144 | | REGISTER_FACTORY_WITH_PROGRAMSTATE(Name) |
145 | | |
146 | | |
147 | | // Partial-specialization for ImmutableMap. |
148 | | template <typename Key, typename Data, typename Info> |
149 | | struct ProgramStatePartialTrait<llvm::ImmutableMap<Key, Data, Info>> { |
150 | | using data_type = llvm::ImmutableMap<Key, Data, Info>; |
151 | | using context_type = typename data_type::Factory &; |
152 | | using key_type = Key; |
153 | | using value_type = Data; |
154 | | using lookup_type = const value_type *; |
155 | | |
156 | 35.6M | static data_type MakeData(void *const *p) { |
157 | 35.6M | return p ? data_type((typename data_type::TreeTy *) *p)17.5M |
158 | 35.6M | : data_type(nullptr)18.1M ; |
159 | 35.6M | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> >, void>::MakeData(void* const*) Line | Count | Source | 156 | 941 | static data_type MakeData(void *const *p) { | 157 | 941 | return p ? data_type((typename data_type::TreeTy *) *p)748 | 158 | 941 | : data_type(nullptr)193 ; | 159 | 941 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> >, void>::MakeData(void* const*) Line | Count | Source | 156 | 710k | static data_type MakeData(void *const *p) { | 157 | 710k | return p ? data_type((typename data_type::TreeTy *) *p)337k | 158 | 710k | : data_type(nullptr)373k ; | 159 | 710k | } |
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*> > > >, void>::MakeData(void* const*) Line | Count | Source | 156 | 5.37k | static data_type MakeData(void *const *p) { | 157 | 5.37k | return p ? data_type((typename data_type::TreeTy *) *p)1.20k | 158 | 5.37k | : data_type(nullptr)4.16k ; | 159 | 5.37k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData> >, void>::MakeData(void* const*) Line | Count | Source | 156 | 92.7k | static data_type MakeData(void *const *p) { | 157 | 92.7k | return p ? data_type((typename data_type::TreeTy *) *p)72.6k | 158 | 92.7k | : data_type(nullptr)20.0k ; | 159 | 92.7k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*> >, void>::MakeData(void* const*) Line | Count | Source | 156 | 398k | static data_type MakeData(void *const *p) { | 157 | 398k | return p ? data_type((typename data_type::TreeTy *) *p)6.10k | 158 | 398k | : data_type(nullptr)392k ; | 159 | 398k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::StringLiteral const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::StringLiteral const*> >, void>::MakeData(void* const*) Line | Count | Source | 156 | 216k | static data_type MakeData(void *const *p) { | 157 | 216k | return p ? data_type((typename data_type::TreeTy *) *p)13.9k | 158 | 216k | : data_type(nullptr)202k ; | 159 | 216k | } |
FuchsiaHandleChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::HandleState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::HandleState> >, void>::MakeData(void* const*) Line | Count | Source | 156 | 1.79k | static data_type MakeData(void *const *p) { | 157 | 1.79k | return p ? data_type((typename data_type::TreeTy *) *p)1.48k | 158 | 1.79k | : data_type(nullptr)307 ; | 159 | 1.79k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::LocationContext const*, llvm::ImmutableSet<int, llvm::ImutContainerInfo<int> >, llvm::ImutKeyValueInfo<clang::LocationContext const*, llvm::ImmutableSet<int, llvm::ImutContainerInfo<int> > > >, void>::MakeData(void* const*) Line | Count | Source | 156 | 4.82k | static data_type MakeData(void *const *p) { | 157 | 4.82k | return p ? data_type((typename data_type::TreeTy *) *p)3.73k | 158 | 4.82k | : data_type(nullptr)1.08k ; | 159 | 4.82k | } |
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*> > > >, void>::MakeData(void* const*) Line | Count | Source | 156 | 100k | static data_type MakeData(void *const *p) { | 157 | 100k | return p ? data_type((typename data_type::TreeTy *) *p)2.02k | 158 | 100k | : data_type(nullptr)98.3k ; | 159 | 100k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::FunctionDecl const*, clang::ento::MemRegion const*, llvm::ImutKeyValueInfo<clang::FunctionDecl const*, clang::ento::MemRegion const*> >, void>::MakeData(void* const*) Line | Count | Source | 156 | 108 | static data_type MakeData(void *const *p) { | 157 | 108 | return p ? data_type((typename data_type::TreeTy *) *p)64 | 158 | 108 | : data_type(nullptr)44 ; | 159 | 108 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::iterator::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::iterator::IteratorPosition> >, void>::MakeData(void* const*) Line | Count | Source | 156 | 82.9k | static data_type MakeData(void *const *p) { | 157 | 82.9k | return p ? data_type((typename data_type::TreeTy *) *p)3.24k | 158 | 82.9k | : data_type(nullptr)79.6k ; | 159 | 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> >, void>::MakeData(void* const*) Line | Count | Source | 156 | 135k | static data_type MakeData(void *const *p) { | 157 | 135k | return p ? data_type((typename data_type::TreeTy *) *p)114k | 158 | 135k | : data_type(nullptr)21.3k ; | 159 | 135k | } |
LocalizationChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState> >, void>::MakeData(void* const*) Line | Count | Source | 156 | 389 | static data_type MakeData(void *const *p) { | 157 | 389 | return p ? data_type((typename data_type::TreeTy *) *p)344 | 158 | 389 | : data_type(nullptr)45 ; | 159 | 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> >, void>::MakeData(void* const*) Line | Count | Source | 156 | 5.40k | static data_type MakeData(void *const *p) { | 157 | 5.40k | return p ? data_type((typename data_type::TreeTy *) *p)1.60k | 158 | 5.40k | : data_type(nullptr)3.79k ; | 159 | 5.40k | } |
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefState> >, void>::MakeData(void* const*) Line | Count | Source | 156 | 470k | static data_type MakeData(void *const *p) { | 157 | 470k | return p ? data_type((typename data_type::TreeTy *) *p)79.2k | 158 | 470k | : data_type(nullptr)390k ; | 159 | 470k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> >, void>::MakeData(void* const*) Line | Count | Source | 156 | 285k | static data_type MakeData(void *const *p) { | 157 | 285k | return p ? data_type((typename data_type::TreeTy *) *p)5.25k | 158 | 285k | : data_type(nullptr)280k ; | 159 | 285k | } |
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair> >, void>::MakeData(void* const*) Line | Count | Source | 156 | 466k | static data_type MakeData(void *const *p) { | 157 | 466k | return p ? data_type((typename data_type::TreeTy *) *p)1.45k | 158 | 466k | : data_type(nullptr)465k ; | 159 | 466k | } |
MoveChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::RegionState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::RegionState> >, void>::MakeData(void* const*) Line | Count | Source | 156 | 259k | static data_type MakeData(void *const *p) { | 157 | 259k | return p ? data_type((typename data_type::TreeTy *) *p)69.5k | 158 | 259k | : data_type(nullptr)189k ; | 159 | 259k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::mpi::Request> >, void>::MakeData(void* const*) Line | Count | Source | 156 | 1.25k | static data_type MakeData(void *const *p) { | 157 | 1.25k | return p ? data_type((typename data_type::TreeTy *) *p)966 | 158 | 1.25k | : data_type(nullptr)285 ; | 159 | 1.25k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> >, void>::MakeData(void* const*) Line | Count | Source | 156 | 110k | static data_type MakeData(void *const *p) { | 157 | 110k | return p ? data_type((typename data_type::TreeTy *) *p)42.2k | 158 | 110k | : data_type(nullptr)68.1k ; | 159 | 110k | } |
NullabilityChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> >, void>::MakeData(void* const*) Line | Count | Source | 156 | 11.8k | static data_type MakeData(void *const *p) { | 157 | 11.8k | return p ? data_type((typename data_type::TreeTy *) *p)7.58k | 158 | 11.8k | : data_type(nullptr)4.24k ; | 159 | 11.8k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DefinedSVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DefinedSVal> >, void>::MakeData(void* const*) Line | Count | Source | 156 | 484 | static data_type MakeData(void *const *p) { | 157 | 484 | return p ? data_type((typename data_type::TreeTy *) *p)390 | 158 | 484 | : data_type(nullptr)94 ; | 159 | 484 | } |
ObjCSelfInitChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::SelfFlagEnum, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::SelfFlagEnum> >, void>::MakeData(void* const*) Line | Count | Source | 156 | 1.02k | static data_type MakeData(void *const *p) { | 157 | 1.02k | return p ? data_type((typename data_type::TreeTy *) *p)889 | 158 | 1.02k | : data_type(nullptr)140 ; | 159 | 1.02k | } |
PointerArithChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind> >, void>::MakeData(void* const*) Line | Count | Source | 156 | 15.3k | static data_type MakeData(void *const *p) { | 157 | 15.3k | return p ? data_type((typename data_type::TreeTy *) *p)14.7k | 158 | 15.3k | : data_type(nullptr)575 ; | 159 | 15.3k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SymExpr const*> >, void>::MakeData(void* const*) Line | Count | Source | 156 | 17.9k | static data_type MakeData(void *const *p) { | 157 | 17.9k | return p ? data_type((typename data_type::TreeTy *) *p)12.0k | 158 | 17.9k | : data_type(nullptr)5.97k ; | 159 | 17.9k | } |
PthreadLockChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LockState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LockState> >, void>::MakeData(void* const*) Line | Count | Source | 156 | 18.2k | static data_type MakeData(void *const *p) { | 157 | 18.2k | return p ? data_type((typename data_type::TreeTy *) *p)12.5k | 158 | 18.2k | : data_type(nullptr)5.70k ; | 159 | 18.2k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal> >, void>::MakeData(void* const*) Line | Count | Source | 156 | 96.9k | static data_type MakeData(void *const *p) { | 157 | 96.9k | return p ? data_type((typename data_type::TreeTy *) *p)77.7k | 158 | 96.9k | : data_type(nullptr)19.2k ; | 159 | 96.9k | } |
SimpleStreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> >, void>::MakeData(void* const*) Line | Count | Source | 156 | 273 | static data_type MakeData(void *const *p) { | 157 | 273 | return p ? data_type((typename data_type::TreeTy *) *p)171 | 158 | 273 | : data_type(nullptr)102 ; | 159 | 273 | } |
StreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> >, void>::MakeData(void* const*) Line | Count | Source | 156 | 2.33k | static data_type MakeData(void *const *p) { | 157 | 2.33k | return p ? data_type((typename data_type::TreeTy *) *p)2.00k | 158 | 2.33k | : data_type(nullptr)326 ; | 159 | 2.33k | } |
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> > > >, void>::MakeData(void* const*) Line | Count | Source | 156 | 7.49k | static data_type MakeData(void *const *p) { | 157 | 7.49k | return p ? data_type((typename data_type::TreeTy *) *p)700 | 158 | 7.49k | : data_type(nullptr)6.79k ; | 159 | 7.49k | } |
VirtualCallChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState> >, void>::MakeData(void* const*) Line | Count | Source | 156 | 5.14k | static data_type MakeData(void *const *p) { | 157 | 5.14k | return p ? data_type((typename data_type::TreeTy *) *p)4.14k | 158 | 5.14k | : data_type(nullptr)1.00k ; | 159 | 5.14k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DefinedOrUnknownSVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DefinedOrUnknownSVal> >, void>::MakeData(void* const*) Line | Count | Source | 156 | 75.4k | static data_type MakeData(void *const *p) { | 157 | 75.4k | return p ? data_type((typename data_type::TreeTy *) *p)975 | 158 | 75.4k | : data_type(nullptr)74.4k ; | 159 | 75.4k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> >, void>::MakeData(void* const*) Line | Count | Source | 156 | 402k | static data_type MakeData(void *const *p) { | 157 | 402k | return p ? data_type((typename data_type::TreeTy *) *p)36.1k | 158 | 402k | : data_type(nullptr)366k ; | 159 | 402k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo> >, void>::MakeData(void* const*) Line | Count | Source | 156 | 387k | static data_type MakeData(void *const *p) { | 157 | 387k | return p ? data_type((typename data_type::TreeTy *) *p)305 | 158 | 387k | : data_type(nullptr)387k ; | 159 | 387k | } |
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> > > >, void>::MakeData(void* const*) Line | Count | Source | 156 | 6.16k | static data_type MakeData(void *const *p) { | 157 | 6.16k | return p ? data_type((typename data_type::TreeTy *) *p)2.30k | 158 | 6.16k | : data_type(nullptr)3.85k ; | 159 | 6.16k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<std::__1::pair<clang::CXXConstructExpr const*, clang::LocationContext const*>, unsigned int, llvm::ImutKeyValueInfo<std::__1::pair<clang::CXXConstructExpr const*, clang::LocationContext const*>, unsigned int> >, void>::MakeData(void* const*) Line | Count | Source | 156 | 10.8k | static data_type MakeData(void *const *p) { | 157 | 10.8k | return p ? data_type((typename data_type::TreeTy *) *p)1.52k | 158 | 10.8k | : data_type(nullptr)9.36k ; | 159 | 10.8k | } |
ExprEngine.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal> >, void>::MakeData(void* const*) Line | Count | Source | 156 | 957k | static data_type MakeData(void *const *p) { | 157 | 957k | return p ? data_type((typename data_type::TreeTy *) *p)663k | 158 | 957k | : data_type(nullptr)294k ; | 159 | 957k | } |
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> >, void>::MakeData(void* const*) Line | Count | Source | 156 | 3.67k | static data_type MakeData(void *const *p) { | 157 | 3.67k | return p ? data_type((typename data_type::TreeTy *) *p)3.52k | 158 | 3.67k | : data_type(nullptr)150 ; | 159 | 3.67k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, unsigned int> >, void>::MakeData(void* const*) Line | Count | Source | 156 | 39 | static data_type MakeData(void *const *p) { | 157 | 39 | return p ? data_type((typename data_type::TreeTy *) *p)6 | 158 | 39 | : data_type(nullptr)33 ; | 159 | 39 | } |
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*> > > >, void>::MakeData(void* const*) Line | Count | Source | 156 | 4.60M | static data_type MakeData(void *const *p) { | 157 | 4.60M | return p ? data_type((typename data_type::TreeTy *) *p)563k | 158 | 4.60M | : data_type(nullptr)4.04M ; | 159 | 4.60M | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::EquivalenceClass, clang::ento::RangeSet, llvm::ImutKeyValueInfo<(anonymous namespace)::EquivalenceClass, clang::ento::RangeSet> >, void>::MakeData(void* const*) Line | Count | Source | 156 | 12.3M | static data_type MakeData(void *const *p) { | 157 | 12.3M | return p ? data_type((typename data_type::TreeTy *) *p)12.0M | 158 | 12.3M | : data_type(nullptr)252k ; | 159 | 12.3M | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::EquivalenceClass, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::EquivalenceClass> >, void>::MakeData(void* const*) Line | Count | Source | 156 | 12.3M | static data_type MakeData(void *const *p) { | 157 | 12.3M | return p ? data_type((typename data_type::TreeTy *) *p)3.24M | 158 | 12.3M | : data_type(nullptr)9.11M ; | 159 | 12.3M | } |
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> > > >, void>::MakeData(void* const*) Line | Count | Source | 156 | 986k | static data_type MakeData(void *const *p) { | 157 | 986k | return p ? data_type((typename data_type::TreeTy *) *p)63.8k | 158 | 986k | : data_type(nullptr)922k ; | 159 | 986k | } |
|
160 | | |
161 | 538k | static void *MakeVoidPtr(data_type B) { |
162 | 538k | return B.getRoot(); |
163 | 538k | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> >, void>::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> >) Line | Count | Source | 161 | 693 | static void *MakeVoidPtr(data_type B) { | 162 | 693 | return B.getRoot(); | 163 | 693 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> >, void>::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> >) Line | Count | Source | 161 | 52.2k | static void *MakeVoidPtr(data_type B) { | 162 | 52.2k | return B.getRoot(); | 163 | 52.2k | } |
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*> > > >, void>::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 | 161 | 314 | static void *MakeVoidPtr(data_type B) { | 162 | 314 | return B.getRoot(); | 163 | 314 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData> >, void>::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData> >) Line | Count | Source | 161 | 3.35k | static void *MakeVoidPtr(data_type B) { | 162 | 3.35k | return B.getRoot(); | 163 | 3.35k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*> >, void>::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*> >) Line | Count | Source | 161 | 212 | static void *MakeVoidPtr(data_type B) { | 162 | 212 | return B.getRoot(); | 163 | 212 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::StringLiteral const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::StringLiteral const*> >, void>::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::StringLiteral const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::StringLiteral const*> >) Line | Count | Source | 161 | 2.17k | static void *MakeVoidPtr(data_type B) { | 162 | 2.17k | return B.getRoot(); | 163 | 2.17k | } |
FuchsiaHandleChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::HandleState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::HandleState> >, void>::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::HandleState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::HandleState> >) Line | Count | Source | 161 | 285 | static void *MakeVoidPtr(data_type B) { | 162 | 285 | return B.getRoot(); | 163 | 285 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::LocationContext const*, llvm::ImmutableSet<int, llvm::ImutContainerInfo<int> >, llvm::ImutKeyValueInfo<clang::LocationContext const*, llvm::ImmutableSet<int, llvm::ImutContainerInfo<int> > > >, void>::MakeVoidPtr(llvm::ImmutableMap<clang::LocationContext const*, llvm::ImmutableSet<int, llvm::ImutContainerInfo<int> >, llvm::ImutKeyValueInfo<clang::LocationContext const*, llvm::ImmutableSet<int, llvm::ImutContainerInfo<int> > > >) Line | Count | Source | 161 | 2.26k | static void *MakeVoidPtr(data_type B) { | 162 | 2.26k | return B.getRoot(); | 163 | 2.26k | } |
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*> > > >, void>::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 | 161 | 189 | static void *MakeVoidPtr(data_type B) { | 162 | 189 | return B.getRoot(); | 163 | 189 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::FunctionDecl const*, clang::ento::MemRegion const*, llvm::ImutKeyValueInfo<clang::FunctionDecl const*, clang::ento::MemRegion const*> >, void>::MakeVoidPtr(llvm::ImmutableMap<clang::FunctionDecl const*, clang::ento::MemRegion const*, llvm::ImutKeyValueInfo<clang::FunctionDecl const*, clang::ento::MemRegion const*> >) Line | Count | Source | 161 | 54 | static void *MakeVoidPtr(data_type B) { | 162 | 54 | return B.getRoot(); | 163 | 54 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::iterator::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::IteratorPosition> >, void>::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::iterator::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::IteratorPosition> >) Line | Count | Source | 161 | 15.8k | static void *MakeVoidPtr(data_type B) { | 162 | 15.8k | return B.getRoot(); | 163 | 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> >, void>::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::iterator::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::iterator::IteratorPosition> >) Line | Count | Source | 161 | 342 | static void *MakeVoidPtr(data_type B) { | 162 | 342 | return B.getRoot(); | 163 | 342 | } |
LocalizationChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState> >, void>::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState> >) Line | Count | Source | 161 | 194 | static void *MakeVoidPtr(data_type B) { | 162 | 194 | return B.getRoot(); | 163 | 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> >, void>::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState> >) Line | Count | Source | 161 | 84 | static void *MakeVoidPtr(data_type B) { | 162 | 84 | return B.getRoot(); | 163 | 84 | } |
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefState> >, void>::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefState> >) Line | Count | Source | 161 | 4.59k | static void *MakeVoidPtr(data_type B) { | 162 | 4.59k | return B.getRoot(); | 163 | 4.59k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> >, void>::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> >) Line | Count | Source | 161 | 1.40k | static void *MakeVoidPtr(data_type B) { | 162 | 1.40k | return B.getRoot(); | 163 | 1.40k | } |
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair> >, void>::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair> >) Line | Count | Source | 161 | 143 | static void *MakeVoidPtr(data_type B) { | 162 | 143 | return B.getRoot(); | 163 | 143 | } |
MoveChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::RegionState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::RegionState> >, void>::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::RegionState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::RegionState> >) Line | Count | Source | 161 | 4.13k | static void *MakeVoidPtr(data_type B) { | 162 | 4.13k | return B.getRoot(); | 163 | 4.13k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::mpi::Request> >, void>::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::mpi::Request> >) Line | Count | Source | 161 | 153 | static void *MakeVoidPtr(data_type B) { | 162 | 153 | return B.getRoot(); | 163 | 153 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> >, void>::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> >) Line | Count | Source | 161 | 1.51k | static void *MakeVoidPtr(data_type B) { | 162 | 1.51k | return B.getRoot(); | 163 | 1.51k | } |
NullabilityChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> >, void>::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> >) Line | Count | Source | 161 | 372 | static void *MakeVoidPtr(data_type B) { | 162 | 372 | return B.getRoot(); | 163 | 372 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DefinedSVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DefinedSVal> >, void>::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DefinedSVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DefinedSVal> >) Line | Count | Source | 161 | 469 | static void *MakeVoidPtr(data_type B) { | 162 | 469 | return B.getRoot(); | 163 | 469 | } |
ObjCSelfInitChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::SelfFlagEnum, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::SelfFlagEnum> >, void>::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::SelfFlagEnum, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::SelfFlagEnum> >) Line | Count | Source | 161 | 344 | static void *MakeVoidPtr(data_type B) { | 162 | 344 | return B.getRoot(); | 163 | 344 | } |
PointerArithChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind> >, void>::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind> >) Line | Count | Source | 161 | 5.39k | static void *MakeVoidPtr(data_type B) { | 162 | 5.39k | return B.getRoot(); | 163 | 5.39k | } |
PthreadLockChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LockState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LockState> >, void>::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LockState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LockState> >) Line | Count | Source | 161 | 7.52k | static void *MakeVoidPtr(data_type B) { | 162 | 7.52k | return B.getRoot(); | 163 | 7.52k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SymExpr const*> >, void>::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SymExpr const*> >) Line | Count | Source | 161 | 7.34k | static void *MakeVoidPtr(data_type B) { | 162 | 7.34k | return B.getRoot(); | 163 | 7.34k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal> >, void>::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal> >) Line | Count | Source | 161 | 12.0k | static void *MakeVoidPtr(data_type B) { | 162 | 12.0k | return B.getRoot(); | 163 | 12.0k | } |
SimpleStreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> >, void>::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> >) Line | Count | Source | 161 | 96 | static void *MakeVoidPtr(data_type B) { | 162 | 96 | return B.getRoot(); | 163 | 96 | } |
StreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> >, void>::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> >) Line | Count | Source | 161 | 493 | static void *MakeVoidPtr(data_type B) { | 162 | 493 | return B.getRoot(); | 163 | 493 | } |
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> > > >, void>::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 | 161 | 35 | static void *MakeVoidPtr(data_type B) { | 162 | 35 | return B.getRoot(); | 163 | 35 | } |
VirtualCallChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState> >, void>::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState> >) Line | Count | Source | 161 | 5.00k | static void *MakeVoidPtr(data_type B) { | 162 | 5.00k | return B.getRoot(); | 163 | 5.00k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DefinedOrUnknownSVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DefinedOrUnknownSVal> >, void>::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DefinedOrUnknownSVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DefinedOrUnknownSVal> >) Line | Count | Source | 161 | 1.70k | static void *MakeVoidPtr(data_type B) { | 162 | 1.70k | return B.getRoot(); | 163 | 1.70k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> >, void>::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> >) Line | Count | Source | 161 | 7.34k | static void *MakeVoidPtr(data_type B) { | 162 | 7.34k | return B.getRoot(); | 163 | 7.34k | } |
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> > > >, void>::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 | 161 | 667 | static void *MakeVoidPtr(data_type B) { | 162 | 667 | return B.getRoot(); | 163 | 667 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo> >, void>::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo> >) Line | Count | Source | 161 | 64 | static void *MakeVoidPtr(data_type B) { | 162 | 64 | return B.getRoot(); | 163 | 64 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<std::__1::pair<clang::CXXConstructExpr const*, clang::LocationContext const*>, unsigned int, llvm::ImutKeyValueInfo<std::__1::pair<clang::CXXConstructExpr const*, clang::LocationContext const*>, unsigned int> >, void>::MakeVoidPtr(llvm::ImmutableMap<std::__1::pair<clang::CXXConstructExpr const*, clang::LocationContext const*>, unsigned int, llvm::ImutKeyValueInfo<std::__1::pair<clang::CXXConstructExpr const*, clang::LocationContext const*>, unsigned int> >) Line | Count | Source | 161 | 469 | static void *MakeVoidPtr(data_type B) { | 162 | 469 | return B.getRoot(); | 163 | 469 | } |
ExprEngine.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal> >, void>::MakeVoidPtr(llvm::ImmutableMap<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal> >) Line | Count | Source | 161 | 80.8k | static void *MakeVoidPtr(data_type B) { | 162 | 80.8k | return B.getRoot(); | 163 | 80.8k | } |
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> >, void>::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 | 161 | 965 | static void *MakeVoidPtr(data_type B) { | 162 | 965 | return B.getRoot(); | 163 | 965 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, unsigned int> >, void>::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, unsigned int> >) Line | Count | Source | 161 | 22 | static void *MakeVoidPtr(data_type B) { | 162 | 22 | return B.getRoot(); | 163 | 22 | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::EquivalenceClass, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::EquivalenceClass> >, void>::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::EquivalenceClass, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::EquivalenceClass> >) Line | Count | Source | 161 | 31.7k | static void *MakeVoidPtr(data_type B) { | 162 | 31.7k | return B.getRoot(); | 163 | 31.7k | } |
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*> > > >, void>::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 | 161 | 31.9k | static void *MakeVoidPtr(data_type B) { | 162 | 31.9k | return B.getRoot(); | 163 | 31.9k | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::EquivalenceClass, clang::ento::RangeSet, llvm::ImutKeyValueInfo<(anonymous namespace)::EquivalenceClass, clang::ento::RangeSet> >, void>::MakeVoidPtr(llvm::ImmutableMap<(anonymous namespace)::EquivalenceClass, clang::ento::RangeSet, llvm::ImutKeyValueInfo<(anonymous namespace)::EquivalenceClass, clang::ento::RangeSet> >) Line | Count | Source | 161 | 250k | static void *MakeVoidPtr(data_type B) { | 162 | 250k | return B.getRoot(); | 163 | 250k | } |
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> > > >, void>::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 | 161 | 3.73k | static void *MakeVoidPtr(data_type B) { | 162 | 3.73k | return B.getRoot(); | 163 | 3.73k | } |
|
164 | | |
165 | 28.0M | static lookup_type Lookup(data_type B, key_type K) { |
166 | 28.0M | return B.lookup(K); |
167 | 28.0M | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> >, void>::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> >, clang::ento::SymExpr const*) Line | Count | Source | 165 | 248 | static lookup_type Lookup(data_type B, key_type K) { | 166 | 248 | return B.lookup(K); | 167 | 248 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> >, void>::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 | 165 | 1.61k | static lookup_type Lookup(data_type B, key_type K) { | 166 | 1.61k | return B.lookup(K); | 167 | 1.61k | } |
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*> > > >, void>::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 | 165 | 434 | static lookup_type Lookup(data_type B, key_type K) { | 166 | 434 | return B.lookup(K); | 167 | 434 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*> >, void>::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 | 165 | 10.8k | static lookup_type Lookup(data_type B, key_type K) { | 166 | 10.8k | return B.lookup(K); | 167 | 10.8k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::StringLiteral const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::StringLiteral const*> >, void>::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 | 165 | 2.32k | static lookup_type Lookup(data_type B, key_type K) { | 166 | 2.32k | return B.lookup(K); | 167 | 2.32k | } |
FuchsiaHandleChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::HandleState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::HandleState> >, void>::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 | 165 | 621 | static lookup_type Lookup(data_type B, key_type K) { | 166 | 621 | return B.lookup(K); | 167 | 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*> > > >, void>::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 | 165 | 987 | static lookup_type Lookup(data_type B, key_type K) { | 166 | 987 | return B.lookup(K); | 167 | 987 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::FunctionDecl const*, clang::ento::MemRegion const*, llvm::ImutKeyValueInfo<clang::FunctionDecl const*, clang::ento::MemRegion const*> >, void>::Lookup(llvm::ImmutableMap<clang::FunctionDecl const*, clang::ento::MemRegion const*, llvm::ImutKeyValueInfo<clang::FunctionDecl const*, clang::ento::MemRegion const*> >, clang::FunctionDecl const*) Line | Count | Source | 165 | 54 | static lookup_type Lookup(data_type B, key_type K) { | 166 | 54 | return B.lookup(K); | 167 | 54 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData> >, void>::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 | 165 | 9.13k | static lookup_type Lookup(data_type B, key_type K) { | 166 | 9.13k | return B.lookup(K); | 167 | 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> >, void>::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 | 165 | 28.7k | static lookup_type Lookup(data_type B, key_type K) { | 166 | 28.7k | return B.lookup(K); | 167 | 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> >, void>::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 | 165 | 736 | static lookup_type Lookup(data_type B, key_type K) { | 166 | 736 | return B.lookup(K); | 167 | 736 | } |
LocalizationChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState> >, void>::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 | 165 | 195 | static lookup_type Lookup(data_type B, key_type K) { | 166 | 195 | return B.lookup(K); | 167 | 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> >, void>::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 | 165 | 1.81k | static lookup_type Lookup(data_type B, key_type K) { | 166 | 1.81k | return B.lookup(K); | 167 | 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> >, void>::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 | 165 | 132k | static lookup_type Lookup(data_type B, key_type K) { | 166 | 132k | return B.lookup(K); | 167 | 132k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> >, void>::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 | 165 | 9.29k | static lookup_type Lookup(data_type B, key_type K) { | 166 | 9.29k | return B.lookup(K); | 167 | 9.29k | } |
MoveChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::RegionState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::RegionState> >, void>::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 | 165 | 29.6k | static lookup_type Lookup(data_type B, key_type K) { | 166 | 29.6k | return B.lookup(K); | 167 | 29.6k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::mpi::Request> >, void>::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 | 165 | 650 | static lookup_type Lookup(data_type B, key_type K) { | 166 | 650 | return B.lookup(K); | 167 | 650 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> >, void>::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> >, clang::ento::SymExpr const*) Line | Count | Source | 165 | 108k | static lookup_type Lookup(data_type B, key_type K) { | 166 | 108k | return B.lookup(K); | 167 | 108k | } |
NullabilityChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> >, void>::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 | 165 | 8.28k | static lookup_type Lookup(data_type B, key_type K) { | 166 | 8.28k | return B.lookup(K); | 167 | 8.28k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DefinedSVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DefinedSVal> >, void>::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 | 165 | 15 | static lookup_type Lookup(data_type B, key_type K) { | 166 | 15 | return B.lookup(K); | 167 | 15 | } |
ObjCSelfInitChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::SelfFlagEnum, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::SelfFlagEnum> >, void>::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::SelfFlagEnum, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::SelfFlagEnum> >, clang::ento::SymExpr const*) Line | Count | Source | 165 | 685 | static lookup_type Lookup(data_type B, key_type K) { | 166 | 685 | return B.lookup(K); | 167 | 685 | } |
PointerArithChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind> >, void>::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 | 165 | 9.92k | static lookup_type Lookup(data_type B, key_type K) { | 166 | 9.92k | return B.lookup(K); | 167 | 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*> >, void>::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 | 165 | 260 | static lookup_type Lookup(data_type B, key_type K) { | 166 | 260 | return B.lookup(K); | 167 | 260 | } |
PthreadLockChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LockState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LockState> >, void>::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 | 165 | 309 | static lookup_type Lookup(data_type B, key_type K) { | 166 | 309 | return B.lookup(K); | 167 | 309 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal> >, void>::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 | 165 | 54.6k | static lookup_type Lookup(data_type B, key_type K) { | 166 | 54.6k | return B.lookup(K); | 167 | 54.6k | } |
SimpleStreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> >, void>::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 | 165 | 5 | static lookup_type Lookup(data_type B, key_type K) { | 166 | 5 | return B.lookup(K); | 167 | 5 | } |
StreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> >, void>::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 | 165 | 866 | static lookup_type Lookup(data_type B, key_type K) { | 166 | 866 | return B.lookup(K); | 167 | 866 | } |
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> > > >, void>::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 | 165 | 7.46k | static lookup_type Lookup(data_type B, key_type K) { | 166 | 7.46k | return B.lookup(K); | 167 | 7.46k | } |
VirtualCallChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState> >, void>::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 | 165 | 146 | static lookup_type Lookup(data_type B, key_type K) { | 166 | 146 | return B.lookup(K); | 167 | 146 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DefinedOrUnknownSVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DefinedOrUnknownSVal> >, void>::Lookup(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DefinedOrUnknownSVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DefinedOrUnknownSVal> >, clang::ento::MemRegion const*) Line | Count | Source | 165 | 73.7k | static lookup_type Lookup(data_type B, key_type K) { | 166 | 73.7k | return B.lookup(K); | 167 | 73.7k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> >, void>::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 | 165 | 7.81k | static lookup_type Lookup(data_type B, key_type K) { | 166 | 7.81k | return B.lookup(K); | 167 | 7.81k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo> >, void>::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 | 165 | 49 | static lookup_type Lookup(data_type B, key_type K) { | 166 | 49 | return B.lookup(K); | 167 | 49 | } |
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> > > >, void>::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 | 165 | 370 | static lookup_type Lookup(data_type B, key_type K) { | 166 | 370 | return B.lookup(K); | 167 | 370 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<std::__1::pair<clang::CXXConstructExpr const*, clang::LocationContext const*>, unsigned int, llvm::ImutKeyValueInfo<std::__1::pair<clang::CXXConstructExpr const*, clang::LocationContext const*>, unsigned int> >, void>::Lookup(llvm::ImmutableMap<std::__1::pair<clang::CXXConstructExpr const*, clang::LocationContext const*>, unsigned int, llvm::ImutKeyValueInfo<std::__1::pair<clang::CXXConstructExpr const*, clang::LocationContext const*>, unsigned int> >, std::__1::pair<clang::CXXConstructExpr const*, clang::LocationContext const*>) Line | Count | Source | 165 | 9.72k | static lookup_type Lookup(data_type B, key_type K) { | 166 | 9.72k | return B.lookup(K); | 167 | 9.72k | } |
ExprEngine.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal> >, void>::Lookup(llvm::ImmutableMap<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal> >, (anonymous namespace)::ConstructedObjectKey) Line | Count | Source | 165 | 292k | static lookup_type Lookup(data_type B, key_type K) { | 166 | 292k | return B.lookup(K); | 167 | 292k | } |
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> >, void>::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 | 165 | 871 | static lookup_type Lookup(data_type B, key_type K) { | 166 | 871 | return B.lookup(K); | 167 | 871 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, unsigned int> >, void>::Lookup(llvm::ImmutableMap<clang::ento::MemRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, unsigned int> >, clang::ento::MemRegion const*) Line | Count | Source | 165 | 17 | static lookup_type Lookup(data_type B, key_type K) { | 166 | 17 | return B.lookup(K); | 167 | 17 | } |
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*> > > >, void>::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 | 165 | 3.70M | static lookup_type Lookup(data_type B, key_type K) { | 166 | 3.70M | return B.lookup(K); | 167 | 3.70M | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::EquivalenceClass, clang::ento::RangeSet, llvm::ImutKeyValueInfo<(anonymous namespace)::EquivalenceClass, clang::ento::RangeSet> >, void>::Lookup(llvm::ImmutableMap<(anonymous namespace)::EquivalenceClass, clang::ento::RangeSet, llvm::ImutKeyValueInfo<(anonymous namespace)::EquivalenceClass, clang::ento::RangeSet> >, (anonymous namespace)::EquivalenceClass) Line | Count | Source | 165 | 11.6M | static lookup_type Lookup(data_type B, key_type K) { | 166 | 11.6M | return B.lookup(K); | 167 | 11.6M | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::EquivalenceClass, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::EquivalenceClass> >, void>::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 | 165 | 11.9M | static lookup_type Lookup(data_type B, key_type K) { | 166 | 11.9M | return B.lookup(K); | 167 | 11.9M | } |
|
168 | | |
169 | | static data_type Set(data_type B, key_type K, value_type E, |
170 | 223k | context_type F) { |
171 | 223k | return F.add(B, K, E); |
172 | 223k | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> >, void>::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 | 170 | 94 | context_type F) { | 171 | 94 | return F.add(B, K, E); | 172 | 94 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> >, void>::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 | 170 | 1.48k | context_type F) { | 171 | 1.48k | return F.add(B, K, E); | 172 | 1.48k | } |
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*> > > >, void>::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 | 170 | 189 | context_type F) { | 171 | 189 | return F.add(B, K, E); | 172 | 189 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData> >, void>::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 | 170 | 2.36k | context_type F) { | 171 | 2.36k | return F.add(B, K, E); | 172 | 2.36k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*> >, void>::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 | 170 | 106 | context_type F) { | 171 | 106 | return F.add(B, K, E); | 172 | 106 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::StringLiteral const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::StringLiteral const*> >, void>::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 | 170 | 1.46k | context_type F) { | 171 | 1.46k | return F.add(B, K, E); | 172 | 1.46k | } |
FuchsiaHandleChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::HandleState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::HandleState> >, void>::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 | 170 | 168 | context_type F) { | 171 | 168 | return F.add(B, K, E); | 172 | 168 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::LocationContext const*, llvm::ImmutableSet<int, llvm::ImutContainerInfo<int> >, llvm::ImutKeyValueInfo<clang::LocationContext const*, llvm::ImmutableSet<int, llvm::ImutContainerInfo<int> > > >, void>::Set(llvm::ImmutableMap<clang::LocationContext const*, llvm::ImmutableSet<int, llvm::ImutContainerInfo<int> >, llvm::ImutKeyValueInfo<clang::LocationContext const*, llvm::ImmutableSet<int, llvm::ImutContainerInfo<int> > > >, clang::LocationContext const*, llvm::ImmutableSet<int, llvm::ImutContainerInfo<int> >, llvm::ImmutableMap<clang::LocationContext const*, llvm::ImmutableSet<int, llvm::ImutContainerInfo<int> >, llvm::ImutKeyValueInfo<clang::LocationContext const*, llvm::ImmutableSet<int, llvm::ImutContainerInfo<int> > > >::Factory&) Line | Count | Source | 170 | 1.13k | context_type F) { | 171 | 1.13k | return F.add(B, K, E); | 172 | 1.13k | } |
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*> > > >, void>::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 | 170 | 144 | context_type F) { | 171 | 144 | return F.add(B, K, E); | 172 | 144 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::FunctionDecl const*, clang::ento::MemRegion const*, llvm::ImutKeyValueInfo<clang::FunctionDecl const*, clang::ento::MemRegion const*> >, void>::Set(llvm::ImmutableMap<clang::FunctionDecl const*, clang::ento::MemRegion const*, llvm::ImutKeyValueInfo<clang::FunctionDecl const*, clang::ento::MemRegion const*> >, clang::FunctionDecl const*, clang::ento::MemRegion const*, llvm::ImmutableMap<clang::FunctionDecl const*, clang::ento::MemRegion const*, llvm::ImutKeyValueInfo<clang::FunctionDecl const*, clang::ento::MemRegion const*> >::Factory&) Line | Count | Source | 170 | 54 | context_type F) { | 171 | 54 | return F.add(B, K, E); | 172 | 54 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::iterator::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::IteratorPosition> >, void>::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 | 170 | 10.3k | context_type F) { | 171 | 10.3k | return F.add(B, K, E); | 172 | 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> >, void>::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 | 170 | 199 | context_type F) { | 171 | 199 | return F.add(B, K, E); | 172 | 199 | } |
LocalizationChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState> >, void>::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 | 170 | 194 | context_type F) { | 171 | 194 | return F.add(B, K, E); | 172 | 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> >, void>::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 | 170 | 28 | context_type F) { | 171 | 28 | return F.add(B, K, E); | 172 | 28 | } |
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefState> >, void>::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 | 170 | 2.78k | context_type F) { | 171 | 2.78k | return F.add(B, K, E); | 172 | 2.78k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> >, void>::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 | 170 | 45 | context_type F) { | 171 | 45 | return F.add(B, K, E); | 172 | 45 | } |
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair> >, void>::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 | 170 | 56 | context_type F) { | 171 | 56 | return F.add(B, K, E); | 172 | 56 | } |
MoveChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::RegionState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::RegionState> >, void>::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 | 170 | 2.24k | context_type F) { | 171 | 2.24k | return F.add(B, K, E); | 172 | 2.24k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::mpi::Request> >, void>::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 | 170 | 97 | context_type F) { | 171 | 97 | return F.add(B, K, E); | 172 | 97 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> >, void>::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 | 170 | 1.51k | context_type F) { | 171 | 1.51k | return F.add(B, K, E); | 172 | 1.51k | } |
NullabilityChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> >, void>::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 | 170 | 96 | context_type F) { | 171 | 96 | return F.add(B, K, E); | 172 | 96 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DefinedSVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DefinedSVal> >, void>::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 | 170 | 19 | context_type F) { | 171 | 19 | return F.add(B, K, E); | 172 | 19 | } |
ObjCSelfInitChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::SelfFlagEnum, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::SelfFlagEnum> >, void>::Set(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::SelfFlagEnum, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::SelfFlagEnum> >, clang::ento::SymExpr const*, (anonymous namespace)::SelfFlagEnum, llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::SelfFlagEnum, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::SelfFlagEnum> >::Factory&) Line | Count | Source | 170 | 344 | context_type F) { | 171 | 344 | return F.add(B, K, E); | 172 | 344 | } |
PointerArithChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind> >, void>::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 | 170 | 5.39k | context_type F) { | 171 | 5.39k | return F.add(B, K, E); | 172 | 5.39k | } |
PthreadLockChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LockState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LockState> >, void>::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 | 170 | 259 | context_type F) { | 171 | 259 | return F.add(B, K, E); | 172 | 259 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SymExpr const*> >, void>::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 | 170 | 38 | context_type F) { | 171 | 38 | return F.add(B, K, E); | 172 | 38 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal> >, void>::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 | 170 | 4.23k | context_type F) { | 171 | 4.23k | return F.add(B, K, E); | 172 | 4.23k | } |
SimpleStreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> >, void>::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 | 170 | 17 | context_type F) { | 171 | 17 | return F.add(B, K, E); | 172 | 17 | } |
StreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> >, void>::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 | 170 | 344 | context_type F) { | 171 | 344 | return F.add(B, K, E); | 172 | 344 | } |
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> > > >, void>::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 | 170 | 35 | context_type F) { | 171 | 35 | return F.add(B, K, E); | 172 | 35 | } |
VirtualCallChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState> >, void>::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 | 170 | 2.51k | context_type F) { | 171 | 2.51k | return F.add(B, K, E); | 172 | 2.51k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DefinedOrUnknownSVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DefinedOrUnknownSVal> >, void>::Set(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DefinedOrUnknownSVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DefinedOrUnknownSVal> >, clang::ento::MemRegion const*, clang::ento::DefinedOrUnknownSVal, llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DefinedOrUnknownSVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DefinedOrUnknownSVal> >::Factory&) Line | Count | Source | 170 | 1.70k | context_type F) { | 171 | 1.70k | return F.add(B, K, E); | 172 | 1.70k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> >, void>::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 | 170 | 4.38k | context_type F) { | 171 | 4.38k | return F.add(B, K, E); | 172 | 4.38k | } |
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> > > >, void>::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 | 170 | 370 | context_type F) { | 171 | 370 | return F.add(B, K, E); | 172 | 370 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo> >, void>::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 | 170 | 30 | context_type F) { | 171 | 30 | return F.add(B, K, E); | 172 | 30 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<std::__1::pair<clang::CXXConstructExpr const*, clang::LocationContext const*>, unsigned int, llvm::ImutKeyValueInfo<std::__1::pair<clang::CXXConstructExpr const*, clang::LocationContext const*>, unsigned int> >, void>::Set(llvm::ImmutableMap<std::__1::pair<clang::CXXConstructExpr const*, clang::LocationContext const*>, unsigned int, llvm::ImutKeyValueInfo<std::__1::pair<clang::CXXConstructExpr const*, clang::LocationContext const*>, unsigned int> >, std::__1::pair<clang::CXXConstructExpr const*, clang::LocationContext const*>, unsigned int, llvm::ImmutableMap<std::__1::pair<clang::CXXConstructExpr const*, clang::LocationContext const*>, unsigned int, llvm::ImutKeyValueInfo<std::__1::pair<clang::CXXConstructExpr const*, clang::LocationContext const*>, unsigned int> >::Factory&) Line | Count | Source | 170 | 347 | context_type F) { | 171 | 347 | return F.add(B, K, E); | 172 | 347 | } |
ExprEngine.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal> >, void>::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 | 170 | 40.1k | context_type F) { | 171 | 40.1k | return F.add(B, K, E); | 172 | 40.1k | } |
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> >, void>::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 | 170 | 517 | context_type F) { | 171 | 517 | return F.add(B, K, E); | 172 | 517 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, unsigned int> >, void>::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 | 170 | 22 | context_type F) { | 171 | 22 | return F.add(B, K, E); | 172 | 22 | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::EquivalenceClass, clang::ento::RangeSet, llvm::ImutKeyValueInfo<(anonymous namespace)::EquivalenceClass, clang::ento::RangeSet> >, void>::Set(llvm::ImmutableMap<(anonymous namespace)::EquivalenceClass, clang::ento::RangeSet, llvm::ImutKeyValueInfo<(anonymous namespace)::EquivalenceClass, clang::ento::RangeSet> >, (anonymous namespace)::EquivalenceClass, clang::ento::RangeSet, llvm::ImmutableMap<(anonymous namespace)::EquivalenceClass, clang::ento::RangeSet, llvm::ImutKeyValueInfo<(anonymous namespace)::EquivalenceClass, clang::ento::RangeSet> >::Factory&) Line | Count | Source | 170 | 138k | context_type F) { | 171 | 138k | return F.add(B, K, E); | 172 | 138k | } |
|
173 | | |
174 | 82.2k | static data_type Remove(data_type B, key_type K, context_type F) { |
175 | 82.2k | return F.remove(B, K); |
176 | 82.2k | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> >, void>::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 | 174 | 599 | static data_type Remove(data_type B, key_type K, context_type F) { | 175 | 599 | return F.remove(B, K); | 176 | 599 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> >, void>::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 | 174 | 243 | static data_type Remove(data_type B, key_type K, context_type F) { | 175 | 243 | return F.remove(B, K); | 176 | 243 | } |
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*> > > >, void>::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 | 174 | 125 | static data_type Remove(data_type B, key_type K, context_type F) { | 175 | 125 | return F.remove(B, K); | 176 | 125 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData> >, void>::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 | 174 | 990 | static data_type Remove(data_type B, key_type K, context_type F) { | 175 | 990 | return F.remove(B, K); | 176 | 990 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*> >, void>::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 | 174 | 106 | static data_type Remove(data_type B, key_type K, context_type F) { | 175 | 106 | return F.remove(B, K); | 176 | 106 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::StringLiteral const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::StringLiteral const*> >, void>::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 | 174 | 712 | static data_type Remove(data_type B, key_type K, context_type F) { | 175 | 712 | return F.remove(B, K); | 176 | 712 | } |
FuchsiaHandleChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::HandleState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::HandleState> >, void>::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 | 174 | 117 | static data_type Remove(data_type B, key_type K, context_type F) { | 175 | 117 | return F.remove(B, K); | 176 | 117 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::LocationContext const*, llvm::ImmutableSet<int, llvm::ImutContainerInfo<int> >, llvm::ImutKeyValueInfo<clang::LocationContext const*, llvm::ImmutableSet<int, llvm::ImutContainerInfo<int> > > >, void>::Remove(llvm::ImmutableMap<clang::LocationContext const*, llvm::ImmutableSet<int, llvm::ImutContainerInfo<int> >, llvm::ImutKeyValueInfo<clang::LocationContext const*, llvm::ImmutableSet<int, llvm::ImutContainerInfo<int> > > >, clang::LocationContext const*, llvm::ImmutableMap<clang::LocationContext const*, llvm::ImmutableSet<int, llvm::ImutContainerInfo<int> >, llvm::ImutKeyValueInfo<clang::LocationContext const*, llvm::ImmutableSet<int, llvm::ImutContainerInfo<int> > > >::Factory&) Line | Count | Source | 174 | 1.13k | static data_type Remove(data_type B, key_type K, context_type F) { | 175 | 1.13k | return F.remove(B, K); | 176 | 1.13k | } |
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*> > > >, void>::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 | 174 | 45 | static data_type Remove(data_type B, key_type K, context_type F) { | 175 | 45 | return F.remove(B, K); | 176 | 45 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::iterator::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::IteratorPosition> >, void>::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 | 174 | 4.89k | static data_type Remove(data_type B, key_type K, context_type F) { | 175 | 4.89k | return F.remove(B, K); | 176 | 4.89k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::iterator::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::iterator::IteratorPosition> >, void>::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 | 174 | 143 | static data_type Remove(data_type B, key_type K, context_type F) { | 175 | 143 | return F.remove(B, K); | 176 | 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> >, void>::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 | 174 | 56 | static data_type Remove(data_type B, key_type K, context_type F) { | 175 | 56 | return F.remove(B, K); | 176 | 56 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> >, void>::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 | 174 | 1.36k | static data_type Remove(data_type B, key_type K, context_type F) { | 175 | 1.36k | return F.remove(B, K); | 176 | 1.36k | } |
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair> >, void>::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 | 174 | 87 | static data_type Remove(data_type B, key_type K, context_type F) { | 175 | 87 | return F.remove(B, K); | 176 | 87 | } |
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefState> >, void>::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 | 174 | 728 | static data_type Remove(data_type B, key_type K, context_type F) { | 175 | 728 | return F.remove(B, K); | 176 | 728 | } |
MoveChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::RegionState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::RegionState> >, void>::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 | 174 | 1.89k | static data_type Remove(data_type B, key_type K, context_type F) { | 175 | 1.89k | return F.remove(B, K); | 176 | 1.89k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::mpi::Request> >, void>::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 | 174 | 56 | static data_type Remove(data_type B, key_type K, context_type F) { | 175 | 56 | return F.remove(B, K); | 176 | 56 | } |
NullabilityChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> >, void>::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 | 174 | 276 | static data_type Remove(data_type B, key_type K, context_type F) { | 175 | 276 | return F.remove(B, K); | 176 | 276 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DefinedSVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DefinedSVal> >, void>::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 | 174 | 450 | static data_type Remove(data_type B, key_type K, context_type F) { | 175 | 450 | return F.remove(B, K); | 176 | 450 | } |
Unexecuted instantiation: ObjCSelfInitChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::SelfFlagEnum, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::SelfFlagEnum> >, void>::Remove(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::SelfFlagEnum, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::SelfFlagEnum> >, clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::SelfFlagEnum, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::SelfFlagEnum> >::Factory&) PthreadLockChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LockState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LockState> >, void>::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 | 174 | 7.26k | static data_type Remove(data_type B, key_type K, context_type F) { | 175 | 7.26k | return F.remove(B, K); | 176 | 7.26k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SymExpr const*> >, void>::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 | 174 | 7.30k | static data_type Remove(data_type B, key_type K, context_type F) { | 175 | 7.30k | return F.remove(B, K); | 176 | 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> >, void>::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 | 174 | 6.32k | static data_type Remove(data_type B, key_type K, context_type F) { | 175 | 6.32k | return F.remove(B, K); | 176 | 6.32k | } |
SimpleStreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> >, void>::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 | 174 | 79 | static data_type Remove(data_type B, key_type K, context_type F) { | 175 | 79 | return F.remove(B, K); | 176 | 79 | } |
StreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> >, void>::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 | 174 | 149 | static data_type Remove(data_type B, key_type K, context_type F) { | 175 | 149 | return F.remove(B, K); | 176 | 149 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> >, void>::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 | 174 | 5 | static data_type Remove(data_type B, key_type K, context_type F) { | 175 | 5 | return F.remove(B, K); | 176 | 5 | } |
VirtualCallChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState> >, void>::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 | 174 | 2.48k | static data_type Remove(data_type B, key_type K, context_type F) { | 175 | 2.48k | return F.remove(B, K); | 176 | 2.48k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> >, void>::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 | 174 | 2.96k | static data_type Remove(data_type B, key_type K, context_type F) { | 175 | 2.96k | return F.remove(B, K); | 176 | 2.96k | } |
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> > > >, void>::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 | 174 | 297 | static data_type Remove(data_type B, key_type K, context_type F) { | 175 | 297 | return F.remove(B, K); | 176 | 297 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo> >, void>::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 | 174 | 34 | static data_type Remove(data_type B, key_type K, context_type F) { | 175 | 34 | return F.remove(B, K); | 176 | 34 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<std::__1::pair<clang::CXXConstructExpr const*, clang::LocationContext const*>, unsigned int, llvm::ImutKeyValueInfo<std::__1::pair<clang::CXXConstructExpr const*, clang::LocationContext const*>, unsigned int> >, void>::Remove(llvm::ImmutableMap<std::__1::pair<clang::CXXConstructExpr const*, clang::LocationContext const*>, unsigned int, llvm::ImutKeyValueInfo<std::__1::pair<clang::CXXConstructExpr const*, clang::LocationContext const*>, unsigned int> >, std::__1::pair<clang::CXXConstructExpr const*, clang::LocationContext const*>, llvm::ImmutableMap<std::__1::pair<clang::CXXConstructExpr const*, clang::LocationContext const*>, unsigned int, llvm::ImutKeyValueInfo<std::__1::pair<clang::CXXConstructExpr const*, clang::LocationContext const*>, unsigned int> >::Factory&) Line | Count | Source | 174 | 122 | static data_type Remove(data_type B, key_type K, context_type F) { | 175 | 122 | return F.remove(B, K); | 176 | 122 | } |
ExprEngine.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal> >, void>::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 | 174 | 40.7k | static data_type Remove(data_type B, key_type K, context_type F) { | 175 | 40.7k | return F.remove(B, K); | 176 | 40.7k | } |
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> >, void>::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 | 174 | 448 | static data_type Remove(data_type B, key_type K, context_type F) { | 175 | 448 | return F.remove(B, K); | 176 | 448 | } |
|
177 | | |
178 | 43.8k | static bool Contains(data_type B, key_type K) { |
179 | 43.8k | return B.contains(K); |
180 | 43.8k | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<std::__1::pair<clang::CXXConstructExpr const*, clang::LocationContext const*>, unsigned int, llvm::ImutKeyValueInfo<std::__1::pair<clang::CXXConstructExpr const*, clang::LocationContext const*>, unsigned int> >, void>::Contains(llvm::ImmutableMap<std::__1::pair<clang::CXXConstructExpr const*, clang::LocationContext const*>, unsigned int, llvm::ImutKeyValueInfo<std::__1::pair<clang::CXXConstructExpr const*, clang::LocationContext const*>, unsigned int> >, std::__1::pair<clang::CXXConstructExpr const*, clang::LocationContext const*>) Line | Count | Source | 178 | 589 | static bool Contains(data_type B, key_type K) { | 179 | 589 | return B.contains(K); | 180 | 589 | } |
ExprEngine.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal> >, void>::Contains(llvm::ImmutableMap<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal> >, (anonymous namespace)::ConstructedObjectKey) Line | Count | Source | 178 | 41.4k | static bool Contains(data_type B, key_type K) { | 179 | 41.4k | return B.contains(K); | 180 | 41.4k | } |
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> >, void>::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 | 178 | 1.83k | static bool Contains(data_type B, key_type K) { | 179 | 1.83k | return B.contains(K); | 180 | 1.83k | } |
|
181 | | |
182 | 2.30M | static context_type MakeContext(void *p) { |
183 | 2.30M | return *((typename data_type::Factory *) p); |
184 | 2.30M | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> >, void>::MakeContext(void*) Line | Count | Source | 182 | 693 | static context_type MakeContext(void *p) { | 183 | 693 | return *((typename data_type::Factory *) p); | 184 | 693 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> >, void>::MakeContext(void*) Line | Count | Source | 182 | 52.2k | static context_type MakeContext(void *p) { | 183 | 52.2k | return *((typename data_type::Factory *) p); | 184 | 52.2k | } |
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*> > > >, void>::MakeContext(void*) Line | Count | Source | 182 | 314 | static context_type MakeContext(void *p) { | 183 | 314 | return *((typename data_type::Factory *) p); | 184 | 314 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData> >, void>::MakeContext(void*) Line | Count | Source | 182 | 3.35k | static context_type MakeContext(void *p) { | 183 | 3.35k | return *((typename data_type::Factory *) p); | 184 | 3.35k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*> >, void>::MakeContext(void*) Line | Count | Source | 182 | 212 | static context_type MakeContext(void *p) { | 183 | 212 | return *((typename data_type::Factory *) p); | 184 | 212 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::StringLiteral const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::StringLiteral const*> >, void>::MakeContext(void*) Line | Count | Source | 182 | 2.17k | static context_type MakeContext(void *p) { | 183 | 2.17k | return *((typename data_type::Factory *) p); | 184 | 2.17k | } |
FuchsiaHandleChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::HandleState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::HandleState> >, void>::MakeContext(void*) Line | Count | Source | 182 | 285 | static context_type MakeContext(void *p) { | 183 | 285 | return *((typename data_type::Factory *) p); | 184 | 285 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::LocationContext const*, llvm::ImmutableSet<int, llvm::ImutContainerInfo<int> >, llvm::ImutKeyValueInfo<clang::LocationContext const*, llvm::ImmutableSet<int, llvm::ImutContainerInfo<int> > > >, void>::MakeContext(void*) Line | Count | Source | 182 | 2.26k | static context_type MakeContext(void *p) { | 183 | 2.26k | return *((typename data_type::Factory *) p); | 184 | 2.26k | } |
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*> > > >, void>::MakeContext(void*) Line | Count | Source | 182 | 189 | static context_type MakeContext(void *p) { | 183 | 189 | return *((typename data_type::Factory *) p); | 184 | 189 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::FunctionDecl const*, clang::ento::MemRegion const*, llvm::ImutKeyValueInfo<clang::FunctionDecl const*, clang::ento::MemRegion const*> >, void>::MakeContext(void*) Line | Count | Source | 182 | 54 | static context_type MakeContext(void *p) { | 183 | 54 | return *((typename data_type::Factory *) p); | 184 | 54 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::iterator::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::IteratorPosition> >, void>::MakeContext(void*) Line | Count | Source | 182 | 15.9k | static context_type MakeContext(void *p) { | 183 | 15.9k | return *((typename data_type::Factory *) p); | 184 | 15.9k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::iterator::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::iterator::IteratorPosition> >, void>::MakeContext(void*) Line | Count | Source | 182 | 1.03k | static context_type MakeContext(void *p) { | 183 | 1.03k | return *((typename data_type::Factory *) p); | 184 | 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> >, void>::MakeContext(void*) Line | Count | Source | 182 | 194 | static context_type MakeContext(void *p) { | 183 | 194 | return *((typename data_type::Factory *) p); | 184 | 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> >, void>::MakeContext(void*) Line | Count | Source | 182 | 84 | static context_type MakeContext(void *p) { | 183 | 84 | return *((typename data_type::Factory *) p); | 184 | 84 | } |
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefState> >, void>::MakeContext(void*) Line | Count | Source | 182 | 137k | static context_type MakeContext(void *p) { | 183 | 137k | return *((typename data_type::Factory *) p); | 184 | 137k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> >, void>::MakeContext(void*) Line | Count | Source | 182 | 1.40k | static context_type MakeContext(void *p) { | 183 | 1.40k | return *((typename data_type::Factory *) p); | 184 | 1.40k | } |
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair> >, void>::MakeContext(void*) Line | Count | Source | 182 | 143 | static context_type MakeContext(void *p) { | 183 | 143 | return *((typename data_type::Factory *) p); | 184 | 143 | } |
MoveChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::RegionState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::RegionState> >, void>::MakeContext(void*) Line | Count | Source | 182 | 4.13k | static context_type MakeContext(void *p) { | 183 | 4.13k | return *((typename data_type::Factory *) p); | 184 | 4.13k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::mpi::Request> >, void>::MakeContext(void*) Line | Count | Source | 182 | 153 | static context_type MakeContext(void *p) { | 183 | 153 | return *((typename data_type::Factory *) p); | 184 | 153 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> >, void>::MakeContext(void*) Line | Count | Source | 182 | 1.51k | static context_type MakeContext(void *p) { | 183 | 1.51k | return *((typename data_type::Factory *) p); | 184 | 1.51k | } |
NullabilityChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> >, void>::MakeContext(void*) Line | Count | Source | 182 | 372 | static context_type MakeContext(void *p) { | 183 | 372 | return *((typename data_type::Factory *) p); | 184 | 372 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DefinedSVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DefinedSVal> >, void>::MakeContext(void*) Line | Count | Source | 182 | 469 | static context_type MakeContext(void *p) { | 183 | 469 | return *((typename data_type::Factory *) p); | 184 | 469 | } |
ObjCSelfInitChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::SelfFlagEnum, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::SelfFlagEnum> >, void>::MakeContext(void*) Line | Count | Source | 182 | 344 | static context_type MakeContext(void *p) { | 183 | 344 | return *((typename data_type::Factory *) p); | 184 | 344 | } |
PointerArithChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind> >, void>::MakeContext(void*) Line | Count | Source | 182 | 5.39k | static context_type MakeContext(void *p) { | 183 | 5.39k | return *((typename data_type::Factory *) p); | 184 | 5.39k | } |
PthreadLockChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LockState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LockState> >, void>::MakeContext(void*) Line | Count | Source | 182 | 7.52k | static context_type MakeContext(void *p) { | 183 | 7.52k | return *((typename data_type::Factory *) p); | 184 | 7.52k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SymExpr const*> >, void>::MakeContext(void*) Line | Count | Source | 182 | 7.34k | static context_type MakeContext(void *p) { | 183 | 7.34k | return *((typename data_type::Factory *) p); | 184 | 7.34k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal> >, void>::MakeContext(void*) Line | Count | Source | 182 | 18.4k | static context_type MakeContext(void *p) { | 183 | 18.4k | return *((typename data_type::Factory *) p); | 184 | 18.4k | } |
SimpleStreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> >, void>::MakeContext(void*) Line | Count | Source | 182 | 96 | static context_type MakeContext(void *p) { | 183 | 96 | return *((typename data_type::Factory *) p); | 184 | 96 | } |
StreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> >, void>::MakeContext(void*) Line | Count | Source | 182 | 493 | static context_type MakeContext(void *p) { | 183 | 493 | return *((typename data_type::Factory *) p); | 184 | 493 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> >, void>::MakeContext(void*) Line | Count | Source | 182 | 35 | static context_type MakeContext(void *p) { | 183 | 35 | return *((typename data_type::Factory *) p); | 184 | 35 | } |
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> > > >, void>::MakeContext(void*) Line | Count | Source | 182 | 35 | static context_type MakeContext(void *p) { | 183 | 35 | return *((typename data_type::Factory *) p); | 184 | 35 | } |
VirtualCallChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState> >, void>::MakeContext(void*) Line | Count | Source | 182 | 5.00k | static context_type MakeContext(void *p) { | 183 | 5.00k | return *((typename data_type::Factory *) p); | 184 | 5.00k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DefinedOrUnknownSVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DefinedOrUnknownSVal> >, void>::MakeContext(void*) Line | Count | Source | 182 | 1.70k | static context_type MakeContext(void *p) { | 183 | 1.70k | return *((typename data_type::Factory *) p); | 184 | 1.70k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> >, void>::MakeContext(void*) Line | Count | Source | 182 | 7.34k | static context_type MakeContext(void *p) { | 183 | 7.34k | return *((typename data_type::Factory *) p); | 184 | 7.34k | } |
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> > > >, void>::MakeContext(void*) Line | Count | Source | 182 | 667 | static context_type MakeContext(void *p) { | 183 | 667 | return *((typename data_type::Factory *) p); | 184 | 667 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo> >, void>::MakeContext(void*) Line | Count | Source | 182 | 64 | static context_type MakeContext(void *p) { | 183 | 64 | return *((typename data_type::Factory *) p); | 184 | 64 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<std::__1::pair<clang::CXXConstructExpr const*, clang::LocationContext const*>, unsigned int, llvm::ImutKeyValueInfo<std::__1::pair<clang::CXXConstructExpr const*, clang::LocationContext const*>, unsigned int> >, void>::MakeContext(void*) Line | Count | Source | 182 | 469 | static context_type MakeContext(void *p) { | 183 | 469 | return *((typename data_type::Factory *) p); | 184 | 469 | } |
ExprEngine.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal> >, void>::MakeContext(void*) Line | Count | Source | 182 | 80.8k | static context_type MakeContext(void *p) { | 183 | 80.8k | return *((typename data_type::Factory *) p); | 184 | 80.8k | } |
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> >, void>::MakeContext(void*) Line | Count | Source | 182 | 965 | static context_type MakeContext(void *p) { | 183 | 965 | return *((typename data_type::Factory *) p); | 184 | 965 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, unsigned int> >, void>::MakeContext(void*) Line | Count | Source | 182 | 22 | static context_type MakeContext(void *p) { | 183 | 22 | return *((typename data_type::Factory *) p); | 184 | 22 | } |
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*> > > >, void>::MakeContext(void*) Line | Count | Source | 182 | 439k | static context_type MakeContext(void *p) { | 183 | 439k | return *((typename data_type::Factory *) p); | 184 | 439k | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::EquivalenceClass, clang::ento::RangeSet, llvm::ImutKeyValueInfo<(anonymous namespace)::EquivalenceClass, clang::ento::RangeSet> >, void>::MakeContext(void*) Line | Count | Source | 182 | 630k | static context_type MakeContext(void *p) { | 183 | 630k | return *((typename data_type::Factory *) p); | 184 | 630k | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::EquivalenceClass, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::EquivalenceClass> >, void>::MakeContext(void*) Line | Count | Source | 182 | 439k | static context_type MakeContext(void *p) { | 183 | 439k | return *((typename data_type::Factory *) p); | 184 | 439k | } |
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> > > >, void>::MakeContext(void*) Line | Count | Source | 182 | 430k | static context_type MakeContext(void *p) { | 183 | 430k | return *((typename data_type::Factory *) p); | 184 | 430k | } |
Unexecuted instantiation: clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::RangeSet> >, void>::MakeContext(void*) |
185 | | |
186 | 86.0k | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { |
187 | 86.0k | return new typename data_type::Factory(Alloc); |
188 | 86.0k | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 114 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 114 | return new typename data_type::Factory(Alloc); | 188 | 114 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 2.73k | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 2.73k | return new typename data_type::Factory(Alloc); | 188 | 2.73k | } |
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*> > > >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 65 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 65 | return new typename data_type::Factory(Alloc); | 188 | 65 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 1.30k | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 1.30k | return new typename data_type::Factory(Alloc); | 188 | 1.30k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 78 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 78 | return new typename data_type::Factory(Alloc); | 188 | 78 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::StringLiteral const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::StringLiteral const*> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 866 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 866 | return new typename data_type::Factory(Alloc); | 188 | 866 | } |
FuchsiaHandleChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::HandleState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::HandleState> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 39 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 39 | return new typename data_type::Factory(Alloc); | 188 | 39 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::LocationContext const*, llvm::ImmutableSet<int, llvm::ImutContainerInfo<int> >, llvm::ImutKeyValueInfo<clang::LocationContext const*, llvm::ImmutableSet<int, llvm::ImutContainerInfo<int> > > >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 484 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 484 | return new typename data_type::Factory(Alloc); | 188 | 484 | } |
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*> > > >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 35 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 35 | return new typename data_type::Factory(Alloc); | 188 | 35 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::FunctionDecl const*, clang::ento::MemRegion const*, llvm::ImutKeyValueInfo<clang::FunctionDecl const*, clang::ento::MemRegion const*> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 22 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 22 | return new typename data_type::Factory(Alloc); | 188 | 22 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::iterator::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::IteratorPosition> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 1.29k | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 1.29k | return new typename data_type::Factory(Alloc); | 188 | 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> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 559 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 559 | return new typename data_type::Factory(Alloc); | 188 | 559 | } |
LocalizationChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 35 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 35 | return new typename data_type::Factory(Alloc); | 188 | 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> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 24 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 24 | return new typename data_type::Factory(Alloc); | 188 | 24 | } |
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefState> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 4.63k | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 4.63k | return new typename data_type::Factory(Alloc); | 188 | 4.63k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 718 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 718 | return new typename data_type::Factory(Alloc); | 188 | 718 | } |
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 34 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 34 | return new typename data_type::Factory(Alloc); | 188 | 34 | } |
MoveChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::RegionState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::RegionState> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 486 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 486 | return new typename data_type::Factory(Alloc); | 188 | 486 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::mpi::Request> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 34 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 34 | return new typename data_type::Factory(Alloc); | 188 | 34 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 492 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 492 | return new typename data_type::Factory(Alloc); | 188 | 492 | } |
NullabilityChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 51 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 51 | return new typename data_type::Factory(Alloc); | 188 | 51 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DefinedSVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DefinedSVal> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 86 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 86 | return new typename data_type::Factory(Alloc); | 188 | 86 | } |
ObjCSelfInitChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::SelfFlagEnum, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::SelfFlagEnum> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 67 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 67 | return new typename data_type::Factory(Alloc); | 188 | 67 | } |
PointerArithChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 351 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 351 | return new typename data_type::Factory(Alloc); | 188 | 351 | } |
PthreadLockChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LockState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LockState> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 846 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 846 | return new typename data_type::Factory(Alloc); | 188 | 846 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SymExpr const*> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 794 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 794 | return new typename data_type::Factory(Alloc); | 188 | 794 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 1.09k | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 1.09k | return new typename data_type::Factory(Alloc); | 188 | 1.09k | } |
SimpleStreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 18 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 18 | return new typename data_type::Factory(Alloc); | 188 | 18 | } |
StreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 57 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 57 | return new typename data_type::Factory(Alloc); | 188 | 57 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 15 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 15 | return new typename data_type::Factory(Alloc); | 188 | 15 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> > > >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 15 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 15 | return new typename data_type::Factory(Alloc); | 188 | 15 | } |
VirtualCallChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 984 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 984 | return new typename data_type::Factory(Alloc); | 188 | 984 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DefinedOrUnknownSVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DefinedOrUnknownSVal> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 1.31k | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 1.31k | return new typename data_type::Factory(Alloc); | 188 | 1.31k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 1.61k | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 1.61k | return new typename data_type::Factory(Alloc); | 188 | 1.61k | } |
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> > > >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 82 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 82 | return new typename data_type::Factory(Alloc); | 188 | 82 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 14 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 14 | return new typename data_type::Factory(Alloc); | 188 | 14 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<std::__1::pair<clang::CXXConstructExpr const*, clang::LocationContext const*>, unsigned int, llvm::ImutKeyValueInfo<std::__1::pair<clang::CXXConstructExpr const*, clang::LocationContext const*>, unsigned int> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 120 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 120 | return new typename data_type::Factory(Alloc); | 188 | 120 | } |
ExprEngine.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 4.06k | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 4.06k | return new typename data_type::Factory(Alloc); | 188 | 4.06k | } |
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> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 32 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 32 | return new typename data_type::Factory(Alloc); | 188 | 32 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, unsigned int> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 10 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 10 | return new typename data_type::Factory(Alloc); | 188 | 10 | } |
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*> > > >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 14.9k | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 14.9k | return new typename data_type::Factory(Alloc); | 188 | 14.9k | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::EquivalenceClass, clang::ento::RangeSet, llvm::ImutKeyValueInfo<(anonymous namespace)::EquivalenceClass, clang::ento::RangeSet> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 15.4k | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 15.4k | return new typename data_type::Factory(Alloc); | 188 | 15.4k | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::EquivalenceClass, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::EquivalenceClass> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 14.9k | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 14.9k | return new typename data_type::Factory(Alloc); | 188 | 14.9k | } |
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> > > >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 186 | 14.9k | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 187 | 14.9k | return new typename data_type::Factory(Alloc); | 188 | 14.9k | } |
Unexecuted instantiation: clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::RangeSet> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) |
189 | | |
190 | 86.0k | static void DeleteContext(void *Ctx) { |
191 | 86.0k | delete (typename data_type::Factory *) Ctx; |
192 | 86.0k | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> >, void>::DeleteContext(void*) Line | Count | Source | 190 | 114 | static void DeleteContext(void *Ctx) { | 191 | 114 | delete (typename data_type::Factory *) Ctx; | 192 | 114 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> >, void>::DeleteContext(void*) Line | Count | Source | 190 | 2.73k | static void DeleteContext(void *Ctx) { | 191 | 2.73k | delete (typename data_type::Factory *) Ctx; | 192 | 2.73k | } |
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*> > > >, void>::DeleteContext(void*) Line | Count | Source | 190 | 65 | static void DeleteContext(void *Ctx) { | 191 | 65 | delete (typename data_type::Factory *) Ctx; | 192 | 65 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::ContainerData> >, void>::DeleteContext(void*) Line | Count | Source | 190 | 1.30k | static void DeleteContext(void *Ctx) { | 191 | 1.30k | delete (typename data_type::Factory *) Ctx; | 192 | 1.30k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*> >, void>::DeleteContext(void*) Line | Count | Source | 190 | 78 | static void DeleteContext(void *Ctx) { | 191 | 78 | delete (typename data_type::Factory *) Ctx; | 192 | 78 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::StringLiteral const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::StringLiteral const*> >, void>::DeleteContext(void*) Line | Count | Source | 190 | 866 | static void DeleteContext(void *Ctx) { | 191 | 866 | delete (typename data_type::Factory *) Ctx; | 192 | 866 | } |
FuchsiaHandleChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::HandleState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::HandleState> >, void>::DeleteContext(void*) Line | Count | Source | 190 | 39 | static void DeleteContext(void *Ctx) { | 191 | 39 | delete (typename data_type::Factory *) Ctx; | 192 | 39 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::LocationContext const*, llvm::ImmutableSet<int, llvm::ImutContainerInfo<int> >, llvm::ImutKeyValueInfo<clang::LocationContext const*, llvm::ImmutableSet<int, llvm::ImutContainerInfo<int> > > >, void>::DeleteContext(void*) Line | Count | Source | 190 | 484 | static void DeleteContext(void *Ctx) { | 191 | 484 | delete (typename data_type::Factory *) Ctx; | 192 | 484 | } |
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*> > > >, void>::DeleteContext(void*) Line | Count | Source | 190 | 35 | static void DeleteContext(void *Ctx) { | 191 | 35 | delete (typename data_type::Factory *) Ctx; | 192 | 35 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::FunctionDecl const*, clang::ento::MemRegion const*, llvm::ImutKeyValueInfo<clang::FunctionDecl const*, clang::ento::MemRegion const*> >, void>::DeleteContext(void*) Line | Count | Source | 190 | 22 | static void DeleteContext(void *Ctx) { | 191 | 22 | delete (typename data_type::Factory *) Ctx; | 192 | 22 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::iterator::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::iterator::IteratorPosition> >, void>::DeleteContext(void*) Line | Count | Source | 190 | 1.29k | static void DeleteContext(void *Ctx) { | 191 | 1.29k | delete (typename data_type::Factory *) Ctx; | 192 | 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> >, void>::DeleteContext(void*) Line | Count | Source | 190 | 559 | static void DeleteContext(void *Ctx) { | 191 | 559 | delete (typename data_type::Factory *) Ctx; | 192 | 559 | } |
LocalizationChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState> >, void>::DeleteContext(void*) Line | Count | Source | 190 | 35 | static void DeleteContext(void *Ctx) { | 191 | 35 | delete (typename data_type::Factory *) Ctx; | 192 | 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> >, void>::DeleteContext(void*) Line | Count | Source | 190 | 24 | static void DeleteContext(void *Ctx) { | 191 | 24 | delete (typename data_type::Factory *) Ctx; | 192 | 24 | } |
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefState> >, void>::DeleteContext(void*) Line | Count | Source | 190 | 4.63k | static void DeleteContext(void *Ctx) { | 191 | 4.63k | delete (typename data_type::Factory *) Ctx; | 192 | 4.63k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> >, void>::DeleteContext(void*) Line | Count | Source | 190 | 718 | static void DeleteContext(void *Ctx) { | 191 | 718 | delete (typename data_type::Factory *) Ctx; | 192 | 718 | } |
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair> >, void>::DeleteContext(void*) Line | Count | Source | 190 | 34 | static void DeleteContext(void *Ctx) { | 191 | 34 | delete (typename data_type::Factory *) Ctx; | 192 | 34 | } |
MoveChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::RegionState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::RegionState> >, void>::DeleteContext(void*) Line | Count | Source | 190 | 486 | static void DeleteContext(void *Ctx) { | 191 | 486 | delete (typename data_type::Factory *) Ctx; | 192 | 486 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::mpi::Request> >, void>::DeleteContext(void*) Line | Count | Source | 190 | 34 | static void DeleteContext(void *Ctx) { | 191 | 34 | delete (typename data_type::Factory *) Ctx; | 192 | 34 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> >, void>::DeleteContext(void*) Line | Count | Source | 190 | 492 | static void DeleteContext(void *Ctx) { | 191 | 492 | delete (typename data_type::Factory *) Ctx; | 192 | 492 | } |
NullabilityChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> >, void>::DeleteContext(void*) Line | Count | Source | 190 | 51 | static void DeleteContext(void *Ctx) { | 191 | 51 | delete (typename data_type::Factory *) Ctx; | 192 | 51 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DefinedSVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DefinedSVal> >, void>::DeleteContext(void*) Line | Count | Source | 190 | 86 | static void DeleteContext(void *Ctx) { | 191 | 86 | delete (typename data_type::Factory *) Ctx; | 192 | 86 | } |
ObjCSelfInitChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::SelfFlagEnum, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::SelfFlagEnum> >, void>::DeleteContext(void*) Line | Count | Source | 190 | 67 | static void DeleteContext(void *Ctx) { | 191 | 67 | delete (typename data_type::Factory *) Ctx; | 192 | 67 | } |
PointerArithChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind> >, void>::DeleteContext(void*) Line | Count | Source | 190 | 351 | static void DeleteContext(void *Ctx) { | 191 | 351 | delete (typename data_type::Factory *) Ctx; | 192 | 351 | } |
PthreadLockChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LockState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LockState> >, void>::DeleteContext(void*) Line | Count | Source | 190 | 846 | static void DeleteContext(void *Ctx) { | 191 | 846 | delete (typename data_type::Factory *) Ctx; | 192 | 846 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SymExpr const*> >, void>::DeleteContext(void*) Line | Count | Source | 190 | 794 | static void DeleteContext(void *Ctx) { | 191 | 794 | delete (typename data_type::Factory *) Ctx; | 192 | 794 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::retaincountchecker::RefVal> >, void>::DeleteContext(void*) Line | Count | Source | 190 | 1.09k | static void DeleteContext(void *Ctx) { | 191 | 1.09k | delete (typename data_type::Factory *) Ctx; | 192 | 1.09k | } |
SimpleStreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> >, void>::DeleteContext(void*) Line | Count | Source | 190 | 18 | static void DeleteContext(void *Ctx) { | 191 | 18 | delete (typename data_type::Factory *) Ctx; | 192 | 18 | } |
StreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> >, void>::DeleteContext(void*) Line | Count | Source | 190 | 57 | static void DeleteContext(void *Ctx) { | 191 | 57 | delete (typename data_type::Factory *) Ctx; | 192 | 57 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> >, void>::DeleteContext(void*) Line | Count | Source | 190 | 15 | static void DeleteContext(void *Ctx) { | 191 | 15 | delete (typename data_type::Factory *) Ctx; | 192 | 15 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> > > >, void>::DeleteContext(void*) Line | Count | Source | 190 | 15 | static void DeleteContext(void *Ctx) { | 191 | 15 | delete (typename data_type::Factory *) Ctx; | 192 | 15 | } |
VirtualCallChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState> >, void>::DeleteContext(void*) Line | Count | Source | 190 | 984 | static void DeleteContext(void *Ctx) { | 191 | 984 | delete (typename data_type::Factory *) Ctx; | 192 | 984 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DefinedOrUnknownSVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DefinedOrUnknownSVal> >, void>::DeleteContext(void*) Line | Count | Source | 190 | 1.31k | static void DeleteContext(void *Ctx) { | 191 | 1.31k | delete (typename data_type::Factory *) Ctx; | 192 | 1.31k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> >, void>::DeleteContext(void*) Line | Count | Source | 190 | 1.61k | static void DeleteContext(void *Ctx) { | 191 | 1.61k | delete (typename data_type::Factory *) Ctx; | 192 | 1.61k | } |
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> > > >, void>::DeleteContext(void*) Line | Count | Source | 190 | 82 | static void DeleteContext(void *Ctx) { | 191 | 82 | delete (typename data_type::Factory *) Ctx; | 192 | 82 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DynamicTypeInfo> >, void>::DeleteContext(void*) Line | Count | Source | 190 | 14 | static void DeleteContext(void *Ctx) { | 191 | 14 | delete (typename data_type::Factory *) Ctx; | 192 | 14 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<std::__1::pair<clang::CXXConstructExpr const*, clang::LocationContext const*>, unsigned int, llvm::ImutKeyValueInfo<std::__1::pair<clang::CXXConstructExpr const*, clang::LocationContext const*>, unsigned int> >, void>::DeleteContext(void*) Line | Count | Source | 190 | 120 | static void DeleteContext(void *Ctx) { | 191 | 120 | delete (typename data_type::Factory *) Ctx; | 192 | 120 | } |
ExprEngine.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<(anonymous namespace)::ConstructedObjectKey, clang::ento::SVal> >, void>::DeleteContext(void*) Line | Count | Source | 190 | 4.06k | static void DeleteContext(void *Ctx) { | 191 | 4.06k | delete (typename data_type::Factory *) Ctx; | 192 | 4.06k | } |
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> >, void>::DeleteContext(void*) Line | Count | Source | 190 | 32 | static void DeleteContext(void *Ctx) { | 191 | 32 | delete (typename data_type::Factory *) Ctx; | 192 | 32 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, unsigned int> >, void>::DeleteContext(void*) Line | Count | Source | 190 | 10 | static void DeleteContext(void *Ctx) { | 191 | 10 | delete (typename data_type::Factory *) Ctx; | 192 | 10 | } |
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*> > > >, void>::DeleteContext(void*) Line | Count | Source | 190 | 14.9k | static void DeleteContext(void *Ctx) { | 191 | 14.9k | delete (typename data_type::Factory *) Ctx; | 192 | 14.9k | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<(anonymous namespace)::EquivalenceClass, clang::ento::RangeSet, llvm::ImutKeyValueInfo<(anonymous namespace)::EquivalenceClass, clang::ento::RangeSet> >, void>::DeleteContext(void*) Line | Count | Source | 190 | 15.4k | static void DeleteContext(void *Ctx) { | 191 | 15.4k | delete (typename data_type::Factory *) Ctx; | 192 | 15.4k | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::EquivalenceClass, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::EquivalenceClass> >, void>::DeleteContext(void*) Line | Count | Source | 190 | 14.9k | static void DeleteContext(void *Ctx) { | 191 | 14.9k | delete (typename data_type::Factory *) Ctx; | 192 | 14.9k | } |
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> > > >, void>::DeleteContext(void*) Line | Count | Source | 190 | 14.9k | static void DeleteContext(void *Ctx) { | 191 | 14.9k | delete (typename data_type::Factory *) Ctx; | 192 | 14.9k | } |
Unexecuted instantiation: clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::RangeSet> >, void>::DeleteContext(void*) |
193 | | }; |
194 | | |
195 | | // Partial-specialization for ImmutableSet. |
196 | | template <typename Key, typename Info> |
197 | | struct ProgramStatePartialTrait<llvm::ImmutableSet<Key, Info>> { |
198 | | using data_type = llvm::ImmutableSet<Key, Info>; |
199 | | using context_type = typename data_type::Factory &; |
200 | | using key_type = Key; |
201 | | |
202 | 238k | static data_type MakeData(void *const *p) { |
203 | 238k | return p ? data_type((typename data_type::TreeTy *) *p)4.27k |
204 | 238k | : data_type(nullptr)234k ; |
205 | 238k | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, void>::MakeData(void* const*) Line | Count | Source | 202 | 226k | static data_type MakeData(void *const *p) { | 203 | 226k | return p ? data_type((typename data_type::TreeTy *) *p)369 | 204 | 226k | : data_type(nullptr)225k ; | 205 | 226k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ParmVarDecl const*, llvm::ImutContainerInfo<clang::ParmVarDecl const*> >, void>::MakeData(void* const*) Line | Count | Source | 202 | 21 | static data_type MakeData(void *const *p) { | 203 | 21 | return p ? data_type((typename data_type::TreeTy *) *p)1 | 204 | 21 | : data_type(nullptr)20 ; | 205 | 21 | } |
TestAfterDivZeroChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<(anonymous namespace)::ZeroState, llvm::ImutContainerInfo<(anonymous namespace)::ZeroState> >, void>::MakeData(void* const*) Line | Count | Source | 202 | 2.11k | static data_type MakeData(void *const *p) { | 203 | 2.11k | return p ? data_type((typename data_type::TreeTy *) *p)116 | 204 | 2.11k | : data_type(nullptr)1.99k ; | 205 | 2.11k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> >, void>::MakeData(void* const*) Line | Count | Source | 202 | 9.67k | static data_type MakeData(void *const *p) { | 203 | 9.67k | return p ? data_type((typename data_type::TreeTy *) *p)3.75k | 204 | 9.67k | : data_type(nullptr)5.92k ; | 205 | 9.67k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> >, void>::MakeData(void* const*) Line | Count | Source | 202 | 405 | static data_type MakeData(void *const *p) { | 203 | 405 | return p ? data_type((typename data_type::TreeTy *) *p)41 | 204 | 405 | : data_type(nullptr)364 ; | 205 | 405 | } |
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*> > >, void>::MakeData(void* const*) |
206 | | |
207 | 1.12k | static void *MakeVoidPtr(data_type B) { |
208 | 1.12k | return B.getRoot(); |
209 | 1.12k | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, void>::MakeVoidPtr(llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >) Line | Count | Source | 207 | 82 | static void *MakeVoidPtr(data_type B) { | 208 | 82 | return B.getRoot(); | 209 | 82 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ParmVarDecl const*, llvm::ImutContainerInfo<clang::ParmVarDecl const*> >, void>::MakeVoidPtr(llvm::ImmutableSet<clang::ParmVarDecl const*, llvm::ImutContainerInfo<clang::ParmVarDecl const*> >) Line | Count | Source | 207 | 1 | static void *MakeVoidPtr(data_type B) { | 208 | 1 | return B.getRoot(); | 209 | 1 | } |
TestAfterDivZeroChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<(anonymous namespace)::ZeroState, llvm::ImutContainerInfo<(anonymous namespace)::ZeroState> >, void>::MakeVoidPtr(llvm::ImmutableSet<(anonymous namespace)::ZeroState, llvm::ImutContainerInfo<(anonymous namespace)::ZeroState> >) Line | Count | Source | 207 | 116 | static void *MakeVoidPtr(data_type B) { | 208 | 116 | return B.getRoot(); | 209 | 116 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> >, void>::MakeVoidPtr(llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> >) Line | Count | Source | 207 | 723 | static void *MakeVoidPtr(data_type B) { | 208 | 723 | return B.getRoot(); | 209 | 723 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> >, void>::MakeVoidPtr(llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> >) Line | Count | Source | 207 | 200 | static void *MakeVoidPtr(data_type B) { | 208 | 200 | return B.getRoot(); | 209 | 200 | } |
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*> > >, void>::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*> > >) |
210 | | |
211 | 682 | static data_type Add(data_type B, key_type K, context_type F) { |
212 | 682 | return F.add(B, K); |
213 | 682 | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, void>::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 | 211 | 67 | static data_type Add(data_type B, key_type K, context_type F) { | 212 | 67 | return F.add(B, K); | 213 | 67 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ParmVarDecl const*, llvm::ImutContainerInfo<clang::ParmVarDecl const*> >, void>::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 | 211 | 1 | static data_type Add(data_type B, key_type K, context_type F) { | 212 | 1 | return F.add(B, K); | 213 | 1 | } |
TestAfterDivZeroChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<(anonymous namespace)::ZeroState, llvm::ImutContainerInfo<(anonymous namespace)::ZeroState> >, void>::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 | 211 | 68 | static data_type Add(data_type B, key_type K, context_type F) { | 212 | 68 | return F.add(B, K); | 213 | 68 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> >, void>::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 | 211 | 346 | static data_type Add(data_type B, key_type K, context_type F) { | 212 | 346 | return F.add(B, K); | 213 | 346 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> >, void>::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 | 211 | 200 | static data_type Add(data_type B, key_type K, context_type F) { | 212 | 200 | return F.add(B, K); | 213 | 200 | } |
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*> > >, void>::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&) |
214 | | |
215 | 392 | static data_type Remove(data_type B, key_type K, context_type F) { |
216 | 392 | return F.remove(B, K); |
217 | 392 | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, void>::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 | 215 | 15 | static data_type Remove(data_type B, key_type K, context_type F) { | 216 | 15 | return F.remove(B, K); | 217 | 15 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> >, void>::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 | 215 | 377 | static data_type Remove(data_type B, key_type K, context_type F) { | 216 | 377 | return F.remove(B, K); | 217 | 377 | } |
|
218 | | |
219 | 20.1k | static bool Contains(data_type B, key_type K) { |
220 | 20.1k | return B.contains(K); |
221 | 20.1k | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, void>::Contains(llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, clang::ento::SymExpr const*) Line | Count | Source | 219 | 13.7k | static bool Contains(data_type B, key_type K) { | 220 | 13.7k | return B.contains(K); | 221 | 13.7k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ParmVarDecl const*, llvm::ImutContainerInfo<clang::ParmVarDecl const*> >, void>::Contains(llvm::ImmutableSet<clang::ParmVarDecl const*, llvm::ImutContainerInfo<clang::ParmVarDecl const*> >, clang::ParmVarDecl const*) Line | Count | Source | 219 | 20 | static bool Contains(data_type B, key_type K) { | 220 | 20 | return B.contains(K); | 221 | 20 | } |
TestAfterDivZeroChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<(anonymous namespace)::ZeroState, llvm::ImutContainerInfo<(anonymous namespace)::ZeroState> >, void>::Contains(llvm::ImmutableSet<(anonymous namespace)::ZeroState, llvm::ImutContainerInfo<(anonymous namespace)::ZeroState> >, (anonymous namespace)::ZeroState) Line | Count | Source | 219 | 372 | static bool Contains(data_type B, key_type K) { | 220 | 372 | return B.contains(K); | 221 | 372 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> >, void>::Contains(llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> >, clang::ento::MemRegion const*) Line | Count | Source | 219 | 5.85k | static bool Contains(data_type B, key_type K) { | 220 | 5.85k | return B.contains(K); | 221 | 5.85k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> >, void>::Contains(llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> >, clang::VarDecl const*) Line | Count | Source | 219 | 205 | static bool Contains(data_type B, key_type K) { | 220 | 205 | return B.contains(K); | 221 | 205 | } |
|
222 | | |
223 | 2.07M | static context_type MakeContext(void *p) { |
224 | 2.07M | return *((typename data_type::Factory *) p); |
225 | 2.07M | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<int, llvm::ImutContainerInfo<int> >, void>::MakeContext(void*) Line | Count | Source | 223 | 1.41k | static context_type MakeContext(void *p) { | 224 | 1.41k | return *((typename data_type::Factory *) p); | 225 | 1.41k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ParmVarDecl const*, llvm::ImutContainerInfo<clang::ParmVarDecl const*> >, void>::MakeContext(void*) Line | Count | Source | 223 | 1 | static context_type MakeContext(void *p) { | 224 | 1 | return *((typename data_type::Factory *) p); | 225 | 1 | } |
TestAfterDivZeroChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<(anonymous namespace)::ZeroState, llvm::ImutContainerInfo<(anonymous namespace)::ZeroState> >, void>::MakeContext(void*) Line | Count | Source | 223 | 116 | static context_type MakeContext(void *p) { | 224 | 116 | return *((typename data_type::Factory *) p); | 225 | 116 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> >, void>::MakeContext(void*) Line | Count | Source | 223 | 723 | static context_type MakeContext(void *p) { | 224 | 723 | return *((typename data_type::Factory *) p); | 225 | 723 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> >, void>::MakeContext(void*) Line | Count | Source | 223 | 370 | static context_type MakeContext(void *p) { | 224 | 370 | return *((typename data_type::Factory *) p); | 225 | 370 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> >, void>::MakeContext(void*) Line | Count | Source | 223 | 200 | static context_type MakeContext(void *p) { | 224 | 200 | return *((typename data_type::Factory *) p); | 225 | 200 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, void>::MakeContext(void*) Line | Count | Source | 223 | 1.54M | static context_type MakeContext(void *p) { | 224 | 1.54M | return *((typename data_type::Factory *) p); | 225 | 1.54M | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<(anonymous namespace)::EquivalenceClass, llvm::ImutContainerInfo<(anonymous namespace)::EquivalenceClass> >, void>::MakeContext(void*) Line | Count | Source | 223 | 522k | static context_type MakeContext(void *p) { | 224 | 522k | return *((typename data_type::Factory *) p); | 225 | 522k | } |
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*> > >, void>::MakeContext(void*) |
226 | | |
227 | 32.0k | static void *CreateContext(llvm::BumpPtrAllocator &Alloc) { |
228 | 32.0k | return new typename data_type::Factory(Alloc); |
229 | 32.0k | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<int, llvm::ImutContainerInfo<int> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 227 | 499 | static void *CreateContext(llvm::BumpPtrAllocator &Alloc) { | 228 | 499 | return new typename data_type::Factory(Alloc); | 229 | 499 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ParmVarDecl const*, llvm::ImutContainerInfo<clang::ParmVarDecl const*> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 227 | 1 | static void *CreateContext(llvm::BumpPtrAllocator &Alloc) { | 228 | 1 | return new typename data_type::Factory(Alloc); | 229 | 1 | } |
TestAfterDivZeroChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<(anonymous namespace)::ZeroState, llvm::ImutContainerInfo<(anonymous namespace)::ZeroState> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 227 | 63 | static void *CreateContext(llvm::BumpPtrAllocator &Alloc) { | 228 | 63 | return new typename data_type::Factory(Alloc); | 229 | 63 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 227 | 236 | static void *CreateContext(llvm::BumpPtrAllocator &Alloc) { | 228 | 236 | return new typename data_type::Factory(Alloc); | 229 | 236 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 227 | 82 | static void *CreateContext(llvm::BumpPtrAllocator &Alloc) { | 228 | 82 | return new typename data_type::Factory(Alloc); | 229 | 82 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 227 | 180 | static void *CreateContext(llvm::BumpPtrAllocator &Alloc) { | 228 | 180 | return new typename data_type::Factory(Alloc); | 229 | 180 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 227 | 15.5k | static void *CreateContext(llvm::BumpPtrAllocator &Alloc) { | 228 | 15.5k | return new typename data_type::Factory(Alloc); | 229 | 15.5k | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<(anonymous namespace)::EquivalenceClass, llvm::ImutContainerInfo<(anonymous namespace)::EquivalenceClass> >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 227 | 15.4k | static void *CreateContext(llvm::BumpPtrAllocator &Alloc) { | 228 | 15.4k | return new typename data_type::Factory(Alloc); | 229 | 15.4k | } |
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*> > >, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) |
230 | | |
231 | 32.0k | static void DeleteContext(void *Ctx) { |
232 | 32.0k | delete (typename data_type::Factory *) Ctx; |
233 | 32.0k | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<int, llvm::ImutContainerInfo<int> >, void>::DeleteContext(void*) Line | Count | Source | 231 | 499 | static void DeleteContext(void *Ctx) { | 232 | 499 | delete (typename data_type::Factory *) Ctx; | 233 | 499 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ParmVarDecl const*, llvm::ImutContainerInfo<clang::ParmVarDecl const*> >, void>::DeleteContext(void*) Line | Count | Source | 231 | 1 | static void DeleteContext(void *Ctx) { | 232 | 1 | delete (typename data_type::Factory *) Ctx; | 233 | 1 | } |
TestAfterDivZeroChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<(anonymous namespace)::ZeroState, llvm::ImutContainerInfo<(anonymous namespace)::ZeroState> >, void>::DeleteContext(void*) Line | Count | Source | 231 | 63 | static void DeleteContext(void *Ctx) { | 232 | 63 | delete (typename data_type::Factory *) Ctx; | 233 | 63 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> >, void>::DeleteContext(void*) Line | Count | Source | 231 | 236 | static void DeleteContext(void *Ctx) { | 232 | 236 | delete (typename data_type::Factory *) Ctx; | 233 | 236 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> >, void>::DeleteContext(void*) Line | Count | Source | 231 | 82 | static void DeleteContext(void *Ctx) { | 232 | 82 | delete (typename data_type::Factory *) Ctx; | 233 | 82 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> >, void>::DeleteContext(void*) Line | Count | Source | 231 | 180 | static void DeleteContext(void *Ctx) { | 232 | 180 | delete (typename data_type::Factory *) Ctx; | 233 | 180 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, void>::DeleteContext(void*) Line | Count | Source | 231 | 15.5k | static void DeleteContext(void *Ctx) { | 232 | 15.5k | delete (typename data_type::Factory *) Ctx; | 233 | 15.5k | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<(anonymous namespace)::EquivalenceClass, llvm::ImutContainerInfo<(anonymous namespace)::EquivalenceClass> >, void>::DeleteContext(void*) Line | Count | Source | 231 | 15.4k | static void DeleteContext(void *Ctx) { | 232 | 15.4k | delete (typename data_type::Factory *) Ctx; | 233 | 15.4k | } |
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*> > >, void>::DeleteContext(void*) |
234 | | }; |
235 | | |
236 | | // Partial-specialization for ImmutableList. |
237 | | template <typename T> |
238 | | struct ProgramStatePartialTrait<llvm::ImmutableList<T>> { |
239 | | using data_type = llvm::ImmutableList<T>; |
240 | | using key_type = T; |
241 | | using context_type = typename data_type::Factory &; |
242 | | |
243 | 284 | static data_type Add(data_type L, key_type K, context_type F) { |
244 | 284 | return F.add(K, L); |
245 | 284 | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<clang::ento::MemRegion const*>, void>::Add(llvm::ImmutableList<clang::ento::MemRegion const*>, clang::ento::MemRegion const*, llvm::ImmutableListFactory<clang::ento::MemRegion const*>&) Line | Count | Source | 243 | 87 | static data_type Add(data_type L, key_type K, context_type F) { | 244 | 87 | return F.add(K, L); | 245 | 87 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<LoopState>, void>::Add(llvm::ImmutableList<LoopState>, LoopState, llvm::ImmutableListFactory<LoopState>&) Line | Count | Source | 243 | 197 | static data_type Add(data_type L, key_type K, context_type F) { | 244 | 197 | return F.add(K, L); | 245 | 197 | } |
|
246 | | |
247 | | static bool Contains(data_type L, key_type K) { |
248 | | return L.contains(K); |
249 | | } |
250 | | |
251 | 8.36k | static data_type MakeData(void *const *p) { |
252 | 8.36k | return p ? data_type((const llvm::ImmutableListImpl<T> *) *p)7.96k |
253 | 8.36k | : data_type(nullptr)402 ; |
254 | 8.36k | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<clang::ento::MemRegion const*>, void>::MakeData(void* const*) Line | Count | Source | 251 | 170 | static data_type MakeData(void *const *p) { | 252 | 170 | return p ? data_type((const llvm::ImmutableListImpl<T> *) *p)82 | 253 | 170 | : data_type(nullptr)88 ; | 254 | 170 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<LoopState>, void>::MakeData(void* const*) Line | Count | Source | 251 | 8.19k | static data_type MakeData(void *const *p) { | 252 | 8.19k | return p ? data_type((const llvm::ImmutableListImpl<T> *) *p)7.88k | 253 | 8.19k | : data_type(nullptr)314 ; | 254 | 8.19k | } |
|
255 | | |
256 | 502 | static void *MakeVoidPtr(data_type D) { |
257 | 502 | return const_cast<llvm::ImmutableListImpl<T> *>(D.getInternalPointer()); |
258 | 502 | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<clang::ento::MemRegion const*>, void>::MakeVoidPtr(llvm::ImmutableList<clang::ento::MemRegion const*>) Line | Count | Source | 256 | 133 | static void *MakeVoidPtr(data_type D) { | 257 | 133 | return const_cast<llvm::ImmutableListImpl<T> *>(D.getInternalPointer()); | 258 | 133 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<LoopState>, void>::MakeVoidPtr(llvm::ImmutableList<LoopState>) Line | Count | Source | 256 | 369 | static void *MakeVoidPtr(data_type D) { | 257 | 369 | return const_cast<llvm::ImmutableListImpl<T> *>(D.getInternalPointer()); | 258 | 369 | } |
|
259 | | |
260 | 284 | static context_type MakeContext(void *p) { |
261 | 284 | return *((typename data_type::Factory *) p); |
262 | 284 | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<clang::ento::MemRegion const*>, void>::MakeContext(void*) Line | Count | Source | 260 | 87 | static context_type MakeContext(void *p) { | 261 | 87 | return *((typename data_type::Factory *) p); | 262 | 87 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<LoopState>, void>::MakeContext(void*) Line | Count | Source | 260 | 197 | static context_type MakeContext(void *p) { | 261 | 197 | return *((typename data_type::Factory *) p); | 262 | 197 | } |
|
263 | | |
264 | 162 | static void *CreateContext(llvm::BumpPtrAllocator &Alloc) { |
265 | 162 | return new typename data_type::Factory(Alloc); |
266 | 162 | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<clang::ento::MemRegion const*>, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 264 | 64 | static void *CreateContext(llvm::BumpPtrAllocator &Alloc) { | 265 | 64 | return new typename data_type::Factory(Alloc); | 266 | 64 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<LoopState>, void>::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>&) Line | Count | Source | 264 | 98 | static void *CreateContext(llvm::BumpPtrAllocator &Alloc) { | 265 | 98 | return new typename data_type::Factory(Alloc); | 266 | 98 | } |
|
267 | | |
268 | 162 | static void DeleteContext(void *Ctx) { |
269 | 162 | delete (typename data_type::Factory *) Ctx; |
270 | 162 | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<clang::ento::MemRegion const*>, void>::DeleteContext(void*) Line | Count | Source | 268 | 64 | static void DeleteContext(void *Ctx) { | 269 | 64 | delete (typename data_type::Factory *) Ctx; | 270 | 64 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<LoopState>, void>::DeleteContext(void*) Line | Count | Source | 268 | 98 | static void DeleteContext(void *Ctx) { | 269 | 98 | delete (typename data_type::Factory *) Ctx; | 270 | 98 | } |
|
271 | | }; |
272 | | |
273 | | template <typename T> struct DefaultProgramStatePartialTraitImpl { |
274 | | using data_type = T; |
275 | 84.6k | static T MakeData(void *const *P) { return P ? (T)(uintptr_t)*P3.68k : T{}80.9k ; } clang::ento::DefaultProgramStatePartialTraitImpl<unsigned int>::MakeData(void* const*) Line | Count | Source | 275 | 69 | static T MakeData(void *const *P) { return P ? (T)(uintptr_t)*P57 : T{}12 ; } |
clang::ento::DefaultProgramStatePartialTraitImpl<clang::ento::MemRegion const*>::MakeData(void* const*) Line | Count | Source | 275 | 5.47k | static T MakeData(void *const *P) { return P ? (T)(uintptr_t)*P2.52k : T{}2.94k ; } |
clang::ento::DefaultProgramStatePartialTraitImpl<clang::ento::errno_modeling::ErrnoCheckState>::MakeData(void* const*) Line | Count | Source | 275 | 162 | static T MakeData(void *const *P) { return P ? (T)(uintptr_t)*P : T{}0 ; } |
ObjCSelfInitChecker.cpp:clang::ento::DefaultProgramStatePartialTraitImpl<(anonymous namespace)::SelfFlagEnum>::MakeData(void* const*) Line | Count | Source | 275 | 128 | static T MakeData(void *const *P) { return P ? (T)(uintptr_t)*P26 : T{}102 ; } |
clang::ento::DefaultProgramStatePartialTraitImpl<void const*>::MakeData(void* const*) Line | Count | Source | 275 | 73.3k | static T MakeData(void *const *P) { return P ? (T)(uintptr_t)*P139 : T{}73.2k ; } |
clang::ento::DefaultProgramStatePartialTraitImpl<bool>::MakeData(void* const*) Line | Count | Source | 275 | 5.42k | static T MakeData(void *const *P) { return P ? (T)(uintptr_t)*P776 : T{}4.64k ; } |
|
276 | 1.65k | static void *MakeVoidPtr(T D) { return (void *)(uintptr_t)D; } clang::ento::DefaultProgramStatePartialTraitImpl<unsigned int>::MakeVoidPtr(unsigned int) Line | Count | Source | 276 | 25 | static void *MakeVoidPtr(T D) { return (void *)(uintptr_t)D; } |
clang::ento::DefaultProgramStatePartialTraitImpl<clang::ento::errno_modeling::ErrnoCheckState>::MakeVoidPtr(clang::ento::errno_modeling::ErrnoCheckState) Line | Count | Source | 276 | 1.23k | static void *MakeVoidPtr(T D) { return (void *)(uintptr_t)D; } |
clang::ento::DefaultProgramStatePartialTraitImpl<clang::ento::MemRegion const*>::MakeVoidPtr(clang::ento::MemRegion const*) Line | Count | Source | 276 | 76 | static void *MakeVoidPtr(T D) { return (void *)(uintptr_t)D; } |
ObjCSelfInitChecker.cpp:clang::ento::DefaultProgramStatePartialTraitImpl<(anonymous namespace)::SelfFlagEnum>::MakeVoidPtr((anonymous namespace)::SelfFlagEnum) Line | Count | Source | 276 | 24 | static void *MakeVoidPtr(T D) { return (void *)(uintptr_t)D; } |
clang::ento::DefaultProgramStatePartialTraitImpl<void const*>::MakeVoidPtr(void const*) Line | Count | Source | 276 | 54 | static void *MakeVoidPtr(T D) { return (void *)(uintptr_t)D; } |
clang::ento::DefaultProgramStatePartialTraitImpl<bool>::MakeVoidPtr(bool) Line | Count | Source | 276 | 235 | static void *MakeVoidPtr(T D) { return (void *)(uintptr_t)D; } |
|
277 | | }; |
278 | | |
279 | | // Partial specialization for integral types. |
280 | | template <typename T> |
281 | | struct ProgramStatePartialTrait<T, |
282 | | std::enable_if_t<std::is_integral<T>::value>> |
283 | | : DefaultProgramStatePartialTraitImpl<T> {}; |
284 | | |
285 | | // Partial specialization for enums. |
286 | | template <typename T> |
287 | | struct ProgramStatePartialTrait<T, std::enable_if_t<std::is_enum<T>::value>> |
288 | | : DefaultProgramStatePartialTraitImpl<T> {}; |
289 | | |
290 | | // Partial specialization for pointers. |
291 | | template <typename T> |
292 | | struct ProgramStatePartialTrait<T *, void> |
293 | | : DefaultProgramStatePartialTraitImpl<T *> {}; |
294 | | |
295 | | } // namespace ento |
296 | | } // namespace clang |
297 | | |
298 | | #endif // LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_PROGRAMSTATETRAIT_H |