/Users/buildslave/jenkins/sharedspace/clang-stage2-coverage-R@2/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h
Line | Count | Source (jump to first uncovered line) |
1 | | //ProgramStateTrait.h - Partial implementations of ProgramStateTrait -*- C++ -*- |
2 | | // |
3 | | // The LLVM Compiler Infrastructure |
4 | | // |
5 | | // This file is distributed under the University of Illinois Open Source |
6 | | // License. See LICENSE.TXT for details. |
7 | | // |
8 | | //===----------------------------------------------------------------------===// |
9 | | // |
10 | | // This file defines partial implementations of template specializations of |
11 | | // the class ProgramStateTrait<>. ProgramStateTrait<> is used by ProgramState |
12 | | // to implement set/get methods for manipulating a ProgramState's |
13 | | // generic data map. |
14 | | // |
15 | | //===----------------------------------------------------------------------===// |
16 | | |
17 | | |
18 | | #ifndef LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_PROGRAMSTATETRAIT_H |
19 | | #define LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_PROGRAMSTATETRAIT_H |
20 | | |
21 | | #include "llvm/Support/Allocator.h" |
22 | | #include "llvm/Support/DataTypes.h" |
23 | | |
24 | | namespace llvm { |
25 | | template <typename K, typename D, typename I> class ImmutableMap; |
26 | | template <typename K, typename I> class ImmutableSet; |
27 | | template <typename T> class ImmutableList; |
28 | | template <typename T> class ImmutableListImpl; |
29 | | } |
30 | | |
31 | | namespace clang { |
32 | | |
33 | | namespace ento { |
34 | | template <typename T> struct ProgramStatePartialTrait; |
35 | | |
36 | | /// Declares a program state trait for type \p Type called \p Name, and |
37 | | /// introduce a typedef named \c NameTy. |
38 | | /// The macro should not be used inside namespaces, or for traits that must |
39 | | /// be accessible from more than one translation unit. |
40 | | #define REGISTER_TRAIT_WITH_PROGRAMSTATE(Name, Type) \ |
41 | | namespace { \ |
42 | | class Name {}; \ |
43 | | typedef Type Name ## Ty; \ |
44 | | } \ |
45 | | namespace clang { \ |
46 | | namespace ento { \ |
47 | | template <> \ |
48 | | struct ProgramStateTrait<Name> \ |
49 | | : public ProgramStatePartialTrait<Name ## Ty> { \ |
50 | 2.02M | static void *GDMIndex() { static int Index; return &Index; } \ RangeConstraintManager.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ConstraintRange>::GDMIndex() Line | Count | Source | 50 | 1.14M | static void *GDMIndex() { static int Index; return &Index; } \ |
LoopUnrolling.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LoopStack>::GDMIndex() Line | Count | Source | 50 | 3.77k | static void *GDMIndex() { static int Index; return &Index; } \ |
ExprEngineCallAndReturn.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicDispatchBifurcationMap>::GDMIndex() Line | Count | Source | 50 | 69 | static void *GDMIndex() { static int Index; return &Index; } \ |
ExprEngine.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::InitializedGlobalsSet>::GDMIndex() Line | Count | Source | 50 | 585 | static void *GDMIndex() { static int Index; return &Index; } \ |
ExprEngine.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::InitializedTemporariesSet>::GDMIndex() Line | Count | Source | 50 | 771 | static void *GDMIndex() { static int Index; return &Index; } \ |
VirtualCallChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CtorDtorMap>::GDMIndex() Line | Count | Source | 50 | 431 | static void *GDMIndex() { static int Index; return &Index; } \ |
BasicObjCFoundationChecks.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerCountMap>::GDMIndex() Line | Count | Source | 50 | 1.81k | static void *GDMIndex() { static int Index; return &Index; } \ |
BasicObjCFoundationChecks.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerNonEmptyMap>::GDMIndex() Line | Count | Source | 50 | 1.46k | static void *GDMIndex() { static int Index; return &Index; } \ |
BlockInCriticalSectionChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::MutexCounter>::GDMIndex() Line | Count | Source | 50 | 80 | static void *GDMIndex() { static int Index; return &Index; } \ |
CStringChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CStringLength>::GDMIndex() Line | Count | Source | 50 | 134k | static void *GDMIndex() { static int Index; return &Index; } \ |
CheckObjCDealloc.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::UnreleasedIvarMap>::GDMIndex() Line | Count | Source | 50 | 4.79k | static void *GDMIndex() { static int Index; return &Index; } \ |
DynamicTypePropagation.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::MostSpecializedTypeArgsMap>::GDMIndex() Line | Count | Source | 50 | 76.4k | static void *GDMIndex() { static int Index; return &Index; } \ |
ExprInspectionChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::MarkedSymbols>::GDMIndex() Line | Count | Source | 50 | 4.97k | static void *GDMIndex() { static int Index; return &Index; } \ |
GenericTaintChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TaintArgsOnPostVisit>::GDMIndex() Line | Count | Source | 50 | 773 | static void *GDMIndex() { static int Index; return &Index; } \ |
IteratorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::IteratorRegionMap>::GDMIndex() Line | Count | Source | 50 | 140 | static void *GDMIndex() { static int Index; return &Index; } \ |
IteratorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::IteratorSymbolMap>::GDMIndex() Line | Count | Source | 50 | 43 | static void *GDMIndex() { static int Index; return &Index; } \ |
IteratorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerMap>::GDMIndex() Line | Count | Source | 50 | 61 | static void *GDMIndex() { static int Index; return &Index; } \ |
IteratorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::IteratorComparisonMap>::GDMIndex() Line | Count | Source | 50 | 28 | static void *GDMIndex() { static int Index; return &Index; } \ |
LocalizationChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LocalizedMemMap>::GDMIndex() Line | Count | Source | 50 | 777 | static void *GDMIndex() { static int Index; return &Index; } \ |
MacOSKeychainAPIChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::AllocatedData>::GDMIndex() Line | Count | Source | 50 | 2.50k | static void *GDMIndex() { static int Index; return &Index; } \ |
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::GDMIndex() Line | Count | Source | 50 | 267k | static void *GDMIndex() { static int Index; return &Index; } \ |
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocPairs>::GDMIndex() Line | Count | Source | 50 | 118k | static void *GDMIndex() { static int Index; return &Index; } \ |
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::FreeReturnValue>::GDMIndex() Line | Count | Source | 50 | 26.6k | static void *GDMIndex() { static int Index; return &Index; } \ |
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocSizeZeroSymbols>::GDMIndex() Line | Count | Source | 50 | 8.45k | static void *GDMIndex() { static int Index; return &Index; } \ |
MisusedMovedObjectChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TrackedRegionMap>::GDMIndex() Line | Count | Source | 50 | 14.0k | static void *GDMIndex() { static int Index; return &Index; } \ |
NSErrorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NSErrorOut>::GDMIndex() Line | Count | Source | 50 | 11 | static void *GDMIndex() { static int Index; return &Index; } \ |
NSErrorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CFErrorOut>::GDMIndex() Line | Count | Source | 50 | 22 | static void *GDMIndex() { static int Index; return &Index; } \ |
NullabilityChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NullabilityMap>::GDMIndex() Line | Count | Source | 50 | 4.79k | static void *GDMIndex() { static int Index; return &Index; } \ |
NullabilityChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::InvariantViolated>::GDMIndex() Line | Count | Source | 50 | 1.53k | static void *GDMIndex() { static int Index; return &Index; } \ |
ObjCContainersChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ArraySizeMap>::GDMIndex() Line | Count | Source | 50 | 636 | static void *GDMIndex() { static int Index; return &Index; } \ |
ObjCSelfInitChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::SelfFlag>::GDMIndex() Line | Count | Source | 50 | 1.71k | static void *GDMIndex() { static int Index; return &Index; } \ |
ObjCSelfInitChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CalledInit>::GDMIndex() Line | Count | Source | 50 | 259 | static void *GDMIndex() { static int Index; return &Index; } \ |
ObjCSelfInitChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::PreCallSelfFlags>::GDMIndex() Line | Count | Source | 50 | 178 | static void *GDMIndex() { static int Index; return &Index; } \ |
ObjCSuperDeallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CalledSuperDealloc>::GDMIndex() Line | Count | Source | 50 | 454 | static void *GDMIndex() { static int Index; return &Index; } \ |
PointerArithChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::GDMIndex() Line | Count | Source | 50 | 19.0k | static void *GDMIndex() { static int Index; return &Index; } \ |
PthreadLockChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DestroyRetVal>::GDMIndex() Line | Count | Source | 50 | 530 | static void *GDMIndex() { static int Index; return &Index; } \ |
PthreadLockChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LockMap>::GDMIndex() Line | Count | Source | 50 | 732 | static void *GDMIndex() { static int Index; return &Index; } \ |
PthreadLockChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LockSet>::GDMIndex() Line | Count | Source | 50 | 234 | static void *GDMIndex() { static int Index; return &Index; } \ |
RetainCountChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RefBindings>::GDMIndex() Line | Count | Source | 50 | 164k | static void *GDMIndex() { static int Index; return &Index; } \ |
SimpleStreamChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::GDMIndex() Line | Count | Source | 50 | 314 | static void *GDMIndex() { static int Index; return &Index; } \ |
StreamChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::GDMIndex() Line | Count | Source | 50 | 135 | static void *GDMIndex() { static int Index; return &Index; } \ |
TestAfterDivZeroChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DivZeroMap>::GDMIndex() Line | Count | Source | 50 | 2.02k | static void *GDMIndex() { static int Index; return &Index; } \ |
VforkChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::VforkResultRegion>::GDMIndex() Line | Count | Source | 50 | 572 | static void *GDMIndex() { static int Index; return &Index; } \ |
ValistChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::InitializedVALists>::GDMIndex() Line | Count | Source | 50 | 5.26k | static void *GDMIndex() { static int Index; return &Index; } \ |
|
51 | | }; \ |
52 | | } \ |
53 | | } |
54 | | |
55 | | |
56 | | // Partial-specialization for ImmutableMap. |
57 | | |
58 | | template <typename Key, typename Data, typename Info> |
59 | | struct ProgramStatePartialTrait< llvm::ImmutableMap<Key,Data,Info> > { |
60 | | typedef llvm::ImmutableMap<Key,Data,Info> data_type; |
61 | | typedef typename data_type::Factory& context_type; |
62 | | typedef Key key_type; |
63 | | typedef Data value_type; |
64 | | typedef const value_type* lookup_type; |
65 | | |
66 | 1.45M | static inline data_type MakeData(void *const* p) { |
67 | 937k | return p ? data_type((typename data_type::TreeTy*) *p) |
68 | 521k | : data_type(nullptr); |
69 | 1.45M | } StreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> > >::MakeData(void* const*) Line | Count | Source | 66 | 83 | static inline data_type MakeData(void *const* p) { | 67 | 35 | return p ? data_type((typename data_type::TreeTy*) *p) | 68 | 48 | : data_type(nullptr); | 69 | 83 | } |
VirtualCallChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState> > >::MakeData(void* const*) Line | Count | Source | 66 | 165 | static inline data_type MakeData(void *const* p) { | 67 | 151 | return p ? data_type((typename data_type::TreeTy*) *p) | 68 | 14 | : data_type(nullptr); | 69 | 165 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, unsigned int> > >::MakeData(void* const*) Line | Count | Source | 66 | 33 | static inline data_type MakeData(void *const* p) { | 67 | 6 | return p ? data_type((typename data_type::TreeTy*) *p) | 68 | 27 | : data_type(nullptr); | 69 | 33 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> > > > >::MakeData(void* const*) Line | Count | Source | 66 | 1.45k | static inline data_type MakeData(void *const* p) { | 67 | 109 | return p ? data_type((typename data_type::TreeTy*) *p) | 68 | 1.34k | : data_type(nullptr); | 69 | 1.45k | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RangeSet> > >::MakeData(void* const*) Line | Count | Source | 66 | 617k | static inline data_type MakeData(void *const* p) { | 67 | 561k | return p ? data_type((typename data_type::TreeTy*) *p) | 68 | 56.6k | : data_type(nullptr); | 69 | 617k | } |
RetainCountChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefVal> > >::MakeData(void* const*) Line | Count | Source | 66 | 140k | static inline data_type MakeData(void *const* p) { | 67 | 117k | return p ? data_type((typename data_type::TreeTy*) *p) | 68 | 22.6k | : data_type(nullptr); | 69 | 140k | } |
SimpleStreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> > >::MakeData(void* const*) Line | Count | Source | 66 | 136 | static inline data_type MakeData(void *const* p) { | 67 | 111 | return p ? data_type((typename data_type::TreeTy*) *p) | 68 | 25 | : data_type(nullptr); | 69 | 136 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> > >::MakeData(void* const*) Line | Count | Source | 66 | 648 | static inline data_type MakeData(void *const* p) { | 67 | 535 | return p ? data_type((typename data_type::TreeTy*) *p) | 68 | 113 | : data_type(nullptr); | 69 | 648 | } |
PthreadLockChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LockState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LockState> > >::MakeData(void* const*) Line | Count | Source | 66 | 382 | static inline data_type MakeData(void *const* p) { | 67 | 262 | return p ? data_type((typename data_type::TreeTy*) *p) | 68 | 120 | : data_type(nullptr); | 69 | 382 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SymExpr const*> > >::MakeData(void* const*) Line | Count | Source | 66 | 398 | static inline data_type MakeData(void *const* p) { | 67 | 128 | return p ? data_type((typename data_type::TreeTy*) *p) | 68 | 270 | : data_type(nullptr); | 69 | 398 | } |
PointerArithChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind> > >::MakeData(void* const*) Line | Count | Source | 66 | 17.1k | static inline data_type MakeData(void *const* p) { | 67 | 16.6k | return p ? data_type((typename data_type::TreeTy*) *p) | 68 | 539 | : data_type(nullptr); | 69 | 17.1k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DefinedSVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DefinedSVal> > >::MakeData(void* const*) Line | Count | Source | 66 | 222 | static inline data_type MakeData(void *const* p) { | 67 | 189 | return p ? data_type((typename data_type::TreeTy*) *p) | 68 | 33 | : data_type(nullptr); | 69 | 222 | } |
NullabilityChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> > >::MakeData(void* const*) Line | Count | Source | 66 | 4.56k | static inline data_type MakeData(void *const* p) { | 67 | 3.19k | return p ? data_type((typename data_type::TreeTy*) *p) | 68 | 1.36k | : data_type(nullptr); | 69 | 4.56k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> > >::MakeData(void* const*) Line | Count | Source | 66 | 24.2k | static inline data_type MakeData(void *const* p) { | 67 | 6.26k | return p ? data_type((typename data_type::TreeTy*) *p) | 68 | 17.9k | : data_type(nullptr); | 69 | 24.2k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::mpi::Request> > >::MakeData(void* const*) Line | Count | Source | 66 | 1.02k | static inline data_type MakeData(void *const* p) { | 67 | 914 | return p ? data_type((typename data_type::TreeTy*) *p) | 68 | 112 | : data_type(nullptr); | 69 | 1.02k | } |
MisusedMovedObjectChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::RegionState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::RegionState> > >::MakeData(void* const*) Line | Count | Source | 66 | 8.77k | static inline data_type MakeData(void *const* p) { | 67 | 8.73k | return p ? data_type((typename data_type::TreeTy*) *p) | 68 | 38 | : data_type(nullptr); | 69 | 8.77k | } |
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair> > >::MakeData(void* const*) Line | Count | Source | 66 | 118k | static inline data_type MakeData(void *const* p) { | 67 | 855 | return p ? data_type((typename data_type::TreeTy*) *p) | 68 | 117k | : data_type(nullptr); | 69 | 118k | } |
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefState> > >::MakeData(void* const*) Line | Count | Source | 66 | 212k | static inline data_type MakeData(void *const* p) { | 67 | 192k | return p ? data_type((typename data_type::TreeTy*) *p) | 68 | 19.2k | : data_type(nullptr); | 69 | 212k | } |
MacOSKeychainAPIChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState> > >::MakeData(void* const*) Line | Count | Source | 66 | 2.34k | static inline data_type MakeData(void *const* p) { | 67 | 1.35k | return p ? data_type((typename data_type::TreeTy*) *p) | 68 | 989 | : data_type(nullptr); | 69 | 2.34k | } |
LocalizationChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState> > >::MakeData(void* const*) Line | Count | Source | 66 | 389 | static inline data_type MakeData(void *const* p) { | 67 | 344 | return p ? data_type((typename data_type::TreeTy*) *p) | 68 | 45 | : data_type(nullptr); | 69 | 389 | } |
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison> > >::MakeData(void* const*) Line | Count | Source | 66 | 24 | static inline data_type MakeData(void *const* p) { | 67 | 3 | return p ? data_type((typename data_type::TreeTy*) *p) | 68 | 21 | : data_type(nullptr); | 69 | 24 | } |
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData> > >::MakeData(void* const*) Line | Count | Source | 66 | 35 | static inline data_type MakeData(void *const* p) { | 67 | 23 | return p ? data_type((typename data_type::TreeTy*) *p) | 68 | 12 | : data_type(nullptr); | 69 | 35 | } |
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition> > >::MakeData(void* const*) Line | Count | Source | 66 | 25 | static inline data_type MakeData(void *const* p) { | 67 | 17 | return p ? data_type((typename data_type::TreeTy*) *p) | 68 | 8 | : data_type(nullptr); | 69 | 25 | } |
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition> > >::MakeData(void* const*) Line | Count | Source | 66 | 82 | static inline data_type MakeData(void *const* p) { | 67 | 62 | return p ? data_type((typename data_type::TreeTy*) *p) | 68 | 20 | : data_type(nullptr); | 69 | 82 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*> > >::MakeData(void* const*) Line | Count | Source | 66 | 76.0k | static inline data_type MakeData(void *const* p) { | 67 | 10.8k | return p ? data_type((typename data_type::TreeTy*) *p) | 68 | 65.1k | : data_type(nullptr); | 69 | 76.0k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> > >::MakeData(void* const*) Line | Count | Source | 66 | 131k | static inline data_type MakeData(void *const* p) { | 67 | 3.46k | return p ? data_type((typename data_type::TreeTy*) *p) | 68 | 127k | : data_type(nullptr); | 69 | 131k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > > >::MakeData(void* const*) Line | Count | Source | 66 | 4.16k | static inline data_type MakeData(void *const* p) { | 67 | 1.14k | return p ? data_type((typename data_type::TreeTy*) *p) | 68 | 3.02k | : data_type(nullptr); | 69 | 4.16k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> > >::MakeData(void* const*) Line | Count | Source | 66 | 69.2k | static inline data_type MakeData(void *const* p) { | 67 | 8.56k | return p ? data_type((typename data_type::TreeTy*) *p) | 68 | 60.7k | : data_type(nullptr); | 69 | 69.2k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> > >::MakeData(void* const*) Line | Count | Source | 66 | 26.8k | static inline data_type MakeData(void *const* p) { | 67 | 1.53k | return p ? data_type((typename data_type::TreeTy*) *p) | 68 | 25.3k | : data_type(nullptr); | 69 | 26.8k | } |
|
70 | 234k | static inline void *MakeVoidPtr(data_type B) { |
71 | 234k | return B.getRoot(); |
72 | 234k | } StreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> >) Line | Count | Source | 70 | 26 | static inline void *MakeVoidPtr(data_type B) { | 71 | 26 | return B.getRoot(); | 72 | 26 | } |
SimpleStreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> >) Line | Count | Source | 70 | 89 | static inline void *MakeVoidPtr(data_type B) { | 71 | 89 | return B.getRoot(); | 72 | 89 | } |
RetainCountChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefVal> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefVal> >) Line | Count | Source | 70 | 9.72k | static inline void *MakeVoidPtr(data_type B) { | 71 | 9.72k | return B.getRoot(); | 72 | 9.72k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SymExpr const*> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SymExpr const*> >) Line | Count | Source | 70 | 66 | static inline void *MakeVoidPtr(data_type B) { | 71 | 66 | return B.getRoot(); | 72 | 66 | } |
PthreadLockChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LockState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LockState> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LockState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LockState> >) Line | Count | Source | 70 | 175 | static inline void *MakeVoidPtr(data_type B) { | 71 | 175 | return B.getRoot(); | 72 | 175 | } |
PointerArithChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind> >) Line | Count | Source | 70 | 944 | static inline void *MakeVoidPtr(data_type B) { | 71 | 944 | return B.getRoot(); | 72 | 944 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DefinedSVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DefinedSVal> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DefinedSVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DefinedSVal> >) Line | Count | Source | 70 | 207 | static inline void *MakeVoidPtr(data_type B) { | 71 | 207 | return B.getRoot(); | 72 | 207 | } |
NullabilityChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> >) Line | Count | Source | 70 | 118 | static inline void *MakeVoidPtr(data_type B) { | 71 | 118 | return B.getRoot(); | 72 | 118 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> >) Line | Count | Source | 70 | 445 | static inline void *MakeVoidPtr(data_type B) { | 71 | 445 | return B.getRoot(); | 72 | 445 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::mpi::Request> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::mpi::Request> >) Line | Count | Source | 70 | 153 | static inline void *MakeVoidPtr(data_type B) { | 71 | 153 | return B.getRoot(); | 72 | 153 | } |
MisusedMovedObjectChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::RegionState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::RegionState> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::RegionState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::RegionState> >) Line | Count | Source | 70 | 2.64k | static inline void *MakeVoidPtr(data_type B) { | 71 | 2.64k | return B.getRoot(); | 72 | 2.64k | } |
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefState> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefState> >) Line | Count | Source | 70 | 27.5k | static inline void *MakeVoidPtr(data_type B) { | 71 | 27.5k | return B.getRoot(); | 72 | 27.5k | } |
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair> >) Line | Count | Source | 70 | 130 | static inline void *MakeVoidPtr(data_type B) { | 71 | 130 | return B.getRoot(); | 72 | 130 | } |
MacOSKeychainAPIChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState> >) Line | Count | Source | 70 | 80 | static inline void *MakeVoidPtr(data_type B) { | 71 | 80 | return B.getRoot(); | 72 | 80 | } |
LocalizationChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState> >) Line | Count | Source | 70 | 194 | static inline void *MakeVoidPtr(data_type B) { | 71 | 194 | return B.getRoot(); | 72 | 194 | } |
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData> >) Line | Count | Source | 70 | 13 | static inline void *MakeVoidPtr(data_type B) { | 71 | 13 | return B.getRoot(); | 72 | 13 | } |
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition> >) Line | Count | Source | 70 | 9 | static inline void *MakeVoidPtr(data_type B) { | 71 | 9 | return B.getRoot(); | 72 | 9 | } |
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition> >) Line | Count | Source | 70 | 29 | static inline void *MakeVoidPtr(data_type B) { | 71 | 29 | return B.getRoot(); | 72 | 29 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*> >) Line | Count | Source | 70 | 204 | static inline void *MakeVoidPtr(data_type B) { | 71 | 204 | return B.getRoot(); | 72 | 204 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> >) Line | Count | Source | 70 | 3.26k | static inline void *MakeVoidPtr(data_type B) { | 71 | 3.26k | return B.getRoot(); | 72 | 3.26k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > >) Line | Count | Source | 70 | 314 | static inline void *MakeVoidPtr(data_type B) { | 71 | 314 | return B.getRoot(); | 72 | 314 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> >) Line | Count | Source | 70 | 1.54k | static inline void *MakeVoidPtr(data_type B) { | 71 | 1.54k | return B.getRoot(); | 72 | 1.54k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> >) Line | Count | Source | 70 | 798 | static inline void *MakeVoidPtr(data_type B) { | 71 | 798 | return B.getRoot(); | 72 | 798 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> >) Line | Count | Source | 70 | 410 | static inline void *MakeVoidPtr(data_type B) { | 71 | 410 | return B.getRoot(); | 72 | 410 | } |
VirtualCallChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState> >) Line | Count | Source | 70 | 133 | static inline void *MakeVoidPtr(data_type B) { | 71 | 133 | return B.getRoot(); | 72 | 133 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, unsigned int> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, unsigned int> >) Line | Count | Source | 70 | 18 | static inline void *MakeVoidPtr(data_type B) { | 71 | 18 | return B.getRoot(); | 72 | 18 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> > > > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> > > >) Line | Count | Source | 70 | 2 | static inline void *MakeVoidPtr(data_type B) { | 71 | 2 | return B.getRoot(); | 72 | 2 | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RangeSet> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RangeSet> >) Line | Count | Source | 70 | 185k | static inline void *MakeVoidPtr(data_type B) { | 71 | 185k | return B.getRoot(); | 72 | 185k | } |
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison> >) Line | Count | Source | 70 | 2 | static inline void *MakeVoidPtr(data_type B) { | 71 | 2 | return B.getRoot(); | 72 | 2 | } |
|
73 | 555k | static lookup_type Lookup(data_type B, key_type K) { |
74 | 555k | return B.lookup(K); |
75 | 555k | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DefinedSVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DefinedSVal> > >::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DefinedSVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DefinedSVal> >, clang::ento::SymExpr const*) Line | Count | Source | 73 | 15 | static lookup_type Lookup(data_type B, key_type K) { | 74 | 15 | return B.lookup(K); | 75 | 15 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> > > > >::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> > > >, clang::ento::SymExpr const*) Line | Count | Source | 73 | 1.44k | static lookup_type Lookup(data_type B, key_type K) { | 74 | 1.44k | return B.lookup(K); | 75 | 1.44k | } |
NullabilityChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> > >::Lookup(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> >, clang::ento::MemRegion const*) Line | Count | Source | 73 | 4.02k | static lookup_type Lookup(data_type B, key_type K) { | 74 | 4.02k | return B.lookup(K); | 75 | 4.02k | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RangeSet> > >::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RangeSet> >, clang::ento::SymExpr const*) Line | Count | Source | 73 | 272k | static lookup_type Lookup(data_type B, key_type K) { | 74 | 272k | return B.lookup(K); | 75 | 272k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> > >::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> >, clang::ento::SymExpr const*) Line | Count | Source | 73 | 23.7k | static lookup_type Lookup(data_type B, key_type K) { | 74 | 23.7k | return B.lookup(K); | 75 | 23.7k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::mpi::Request> > >::Lookup(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::mpi::Request> >, clang::ento::MemRegion const*) Line | Count | Source | 73 | 650 | static lookup_type Lookup(data_type B, key_type K) { | 74 | 650 | return B.lookup(K); | 75 | 650 | } |
MisusedMovedObjectChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::RegionState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::RegionState> > >::Lookup(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::RegionState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::RegionState> >, clang::ento::MemRegion const*) Line | Count | Source | 73 | 2.00k | static lookup_type Lookup(data_type B, key_type K) { | 74 | 2.00k | return B.lookup(K); | 75 | 2.00k | } |
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefState> > >::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefState> >, clang::ento::SymExpr const*) Line | Count | Source | 73 | 91.7k | static lookup_type Lookup(data_type B, key_type K) { | 74 | 91.7k | return B.lookup(K); | 75 | 91.7k | } |
MacOSKeychainAPIChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState> > >::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState> >, clang::ento::SymExpr const*) Line | Count | Source | 73 | 1.66k | static lookup_type Lookup(data_type B, key_type K) { | 74 | 1.66k | return B.lookup(K); | 75 | 1.66k | } |
LocalizationChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState> > >::Lookup(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState> >, clang::ento::MemRegion const*) Line | Count | Source | 73 | 195 | static lookup_type Lookup(data_type B, key_type K) { | 74 | 195 | return B.lookup(K); | 75 | 195 | } |
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison> > >::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison> >, clang::ento::SymExpr const*) Line | Count | Source | 73 | 12 | static lookup_type Lookup(data_type B, key_type K) { | 74 | 12 | return B.lookup(K); | 75 | 12 | } |
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData> > >::Lookup(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData> >, clang::ento::MemRegion const*) Line | Count | Source | 73 | 12 | static lookup_type Lookup(data_type B, key_type K) { | 74 | 12 | return B.lookup(K); | 75 | 12 | } |
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition> > >::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition> >, clang::ento::SymExpr const*) Line | Count | Source | 73 | 6 | static lookup_type Lookup(data_type B, key_type K) { | 74 | 6 | return B.lookup(K); | 75 | 6 | } |
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition> > >::Lookup(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition> >, clang::ento::MemRegion const*) Line | Count | Source | 73 | 43 | static lookup_type Lookup(data_type B, key_type K) { | 74 | 43 | return B.lookup(K); | 75 | 43 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> > >::Lookup(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> >, clang::ento::MemRegion const*) Line | Count | Source | 73 | 6.71k | static lookup_type Lookup(data_type B, key_type K) { | 74 | 6.71k | return B.lookup(K); | 75 | 6.71k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*> > >::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*> >, clang::ento::SymExpr const*) Line | Count | Source | 73 | 16.5k | static lookup_type Lookup(data_type B, key_type K) { | 74 | 16.5k | return B.lookup(K); | 75 | 16.5k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > > >::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 | 73 | 432 | static lookup_type Lookup(data_type B, key_type K) { | 74 | 432 | return B.lookup(K); | 75 | 432 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> > >::Lookup(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> >, clang::ento::MemRegion const*) Line | Count | Source | 73 | 699 | static lookup_type Lookup(data_type B, key_type K) { | 74 | 699 | return B.lookup(K); | 75 | 699 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> > >::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> >, clang::ento::SymExpr const*) Line | Count | Source | 73 | 238 | static lookup_type Lookup(data_type B, key_type K) { | 74 | 238 | return B.lookup(K); | 75 | 238 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> > >::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> >, clang::ento::SymExpr const*) Line | Count | Source | 73 | 357 | static lookup_type Lookup(data_type B, key_type K) { | 74 | 357 | return B.lookup(K); | 75 | 357 | } |
PointerArithChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind> > >::Lookup(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind> >, clang::ento::MemRegion const*) Line | Count | Source | 73 | 16.2k | static lookup_type Lookup(data_type B, key_type K) { | 74 | 16.2k | return B.lookup(K); | 75 | 16.2k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SymExpr const*> > >::Lookup(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SymExpr const*> >, clang::ento::MemRegion const*) Line | Count | Source | 73 | 169 | static lookup_type Lookup(data_type B, key_type K) { | 74 | 169 | return B.lookup(K); | 75 | 169 | } |
PthreadLockChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LockState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LockState> > >::Lookup(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LockState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LockState> >, clang::ento::MemRegion const*) Line | Count | Source | 73 | 207 | static lookup_type Lookup(data_type B, key_type K) { | 74 | 207 | return B.lookup(K); | 75 | 207 | } |
RetainCountChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefVal> > >::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefVal> >, clang::ento::SymExpr const*) Line | Count | Source | 73 | 115k | static lookup_type Lookup(data_type B, key_type K) { | 74 | 115k | return B.lookup(K); | 75 | 115k | } |
SimpleStreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> > >::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> >, clang::ento::SymExpr const*) Line | Count | Source | 73 | 5 | static lookup_type Lookup(data_type B, key_type K) { | 74 | 5 | return B.lookup(K); | 75 | 5 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, unsigned int> > >::Lookup(llvm::ImmutableMap<clang::ento::MemRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, unsigned int> >, clang::ento::MemRegion const*) Line | Count | Source | 73 | 15 | static lookup_type Lookup(data_type B, key_type K) { | 74 | 15 | return B.lookup(K); | 75 | 15 | } |
VirtualCallChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState> > >::Lookup(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState> >, clang::ento::MemRegion const*) Line | Count | Source | 73 | 32 | static lookup_type Lookup(data_type B, key_type K) { | 74 | 32 | return B.lookup(K); | 75 | 32 | } |
StreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> > >::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> >, clang::ento::SymExpr const*) Line | Count | Source | 73 | 57 | static lookup_type Lookup(data_type B, key_type K) { | 74 | 57 | return B.lookup(K); | 75 | 57 | } |
|
76 | 114k | static data_type Set(data_type B, key_type K, value_type E,context_type F){ |
77 | 114k | return F.add(B, K, E); |
78 | 114k | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > > >::Set(llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > >, clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > >::Factory&) Line | Count | Source | 76 | 189 | static data_type Set(data_type B, key_type K, value_type E,context_type F){ | 77 | 189 | return F.add(B, K, E); | 78 | 189 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> > > > >::Set(llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> > > >, clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> >, llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> > > >::Factory&) Line | Count | Source | 76 | 2 | static data_type Set(data_type B, key_type K, value_type E,context_type F){ | 77 | 2 | return F.add(B, K, E); | 78 | 2 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*> > >::Set(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*> >, clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*> >::Factory&) Line | Count | Source | 76 | 104 | static data_type Set(data_type B, key_type K, value_type E,context_type F){ | 77 | 104 | return F.add(B, K, E); | 78 | 104 | } |
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison> > >::Set(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison> >, clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison, llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison> >::Factory&) Line | Count | Source | 76 | 1 | static data_type Set(data_type B, key_type K, value_type E,context_type F){ | 77 | 1 | return F.add(B, K, E); | 78 | 1 | } |
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition> > >::Set(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition> >, clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition, llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition> >::Factory&) Line | Count | Source | 76 | 13 | static data_type Set(data_type B, key_type K, value_type E,context_type F){ | 77 | 13 | return F.add(B, K, E); | 78 | 13 | } |
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition> > >::Set(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition> >, clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition, llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition> >::Factory&) Line | Count | Source | 76 | 3 | static data_type Set(data_type B, key_type K, value_type E,context_type F){ | 77 | 3 | return F.add(B, K, E); | 78 | 3 | } |
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData> > >::Set(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData> >, clang::ento::MemRegion const*, (anonymous namespace)::ContainerData, llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData> >::Factory&) Line | Count | Source | 76 | 4 | static data_type Set(data_type B, key_type K, value_type E,context_type F){ | 77 | 4 | return F.add(B, K, E); | 78 | 4 | } |
LocalizationChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState> > >::Set(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState> >, clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState, llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState> >::Factory&) Line | Count | Source | 76 | 194 | static data_type Set(data_type B, key_type K, value_type E,context_type F){ | 77 | 194 | return F.add(B, K, E); | 78 | 194 | } |
MacOSKeychainAPIChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState> > >::Set(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState> >, clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState, llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState> >::Factory&) Line | Count | Source | 76 | 27 | static data_type Set(data_type B, key_type K, value_type E,context_type F){ | 77 | 27 | return F.add(B, K, E); | 78 | 27 | } |
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefState> > >::Set(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefState> >, clang::ento::SymExpr const*, (anonymous namespace)::RefState, llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefState> >::Factory&) Line | Count | Source | 76 | 1.57k | static data_type Set(data_type B, key_type K, value_type E,context_type F){ | 77 | 1.57k | return F.add(B, K, E); | 78 | 1.57k | } |
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair> > >::Set(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair> >, clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair, llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair> >::Factory&) Line | Count | Source | 76 | 51 | static data_type Set(data_type B, key_type K, value_type E,context_type F){ | 77 | 51 | return F.add(B, K, E); | 78 | 51 | } |
MisusedMovedObjectChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::RegionState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::RegionState> > >::Set(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::RegionState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::RegionState> >, clang::ento::MemRegion const*, (anonymous namespace)::RegionState, llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::RegionState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::RegionState> >::Factory&) Line | Count | Source | 76 | 289 | static data_type Set(data_type B, key_type K, value_type E,context_type F){ | 77 | 289 | return F.add(B, K, E); | 78 | 289 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::mpi::Request> > >::Set(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::mpi::Request> >, clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::mpi::Request> >::Factory&) Line | Count | Source | 76 | 97 | static data_type Set(data_type B, key_type K, value_type E,context_type F){ | 77 | 97 | return F.add(B, K, E); | 78 | 97 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> > >::Set(llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> >, clang::ento::SymExpr const*, unsigned int, llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> >::Factory&) Line | Count | Source | 76 | 445 | static data_type Set(data_type B, key_type K, value_type E,context_type F){ | 77 | 445 | return F.add(B, K, E); | 78 | 445 | } |
NullabilityChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> > >::Set(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> >, clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> >::Factory&) Line | Count | Source | 76 | 48 | static data_type Set(data_type B, key_type K, value_type E,context_type F){ | 77 | 48 | return F.add(B, K, E); | 78 | 48 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DefinedSVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DefinedSVal> > >::Set(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DefinedSVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DefinedSVal> >, clang::ento::SymExpr const*, clang::ento::DefinedSVal, llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DefinedSVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DefinedSVal> >::Factory&) Line | Count | Source | 76 | 19 | static data_type Set(data_type B, key_type K, value_type E,context_type F){ | 77 | 19 | return F.add(B, K, E); | 78 | 19 | } |
PointerArithChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind> > >::Set(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind> >, clang::ento::MemRegion const*, (anonymous namespace)::AllocKind, llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind> >::Factory&) Line | Count | Source | 76 | 944 | static data_type Set(data_type B, key_type K, value_type E,context_type F){ | 77 | 944 | return F.add(B, K, E); | 78 | 944 | } |
PthreadLockChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LockState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LockState> > >::Set(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LockState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LockState> >, clang::ento::MemRegion const*, (anonymous namespace)::LockState, llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LockState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LockState> >::Factory&) Line | Count | Source | 76 | 171 | static data_type Set(data_type B, key_type K, value_type E,context_type F){ | 77 | 171 | return F.add(B, K, E); | 78 | 171 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SymExpr const*> > >::Set(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SymExpr const*> >, clang::ento::MemRegion const*, clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SymExpr const*> >::Factory&) Line | Count | Source | 76 | 28 | static data_type Set(data_type B, key_type K, value_type E,context_type F){ | 77 | 28 | return F.add(B, K, E); | 78 | 28 | } |
RetainCountChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefVal> > >::Set(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefVal> >, clang::ento::SymExpr const*, (anonymous namespace)::RefVal, llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefVal> >::Factory&) Line | Count | Source | 76 | 3.36k | static data_type Set(data_type B, key_type K, value_type E,context_type F){ | 77 | 3.36k | return F.add(B, K, E); | 78 | 3.36k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, unsigned int> > >::Set(llvm::ImmutableMap<clang::ento::MemRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, unsigned int> >, clang::ento::MemRegion const*, unsigned int, llvm::ImmutableMap<clang::ento::MemRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, unsigned int> >::Factory&) Line | Count | Source | 76 | 18 | static data_type Set(data_type B, key_type K, value_type E,context_type F){ | 77 | 18 | return F.add(B, K, E); | 78 | 18 | } |
SimpleStreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> > >::Set(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> >, clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> >::Factory&) Line | Count | Source | 76 | 16 | static data_type Set(data_type B, key_type K, value_type E,context_type F){ | 77 | 16 | return F.add(B, K, E); | 78 | 16 | } |
StreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> > >::Set(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> >, clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> >::Factory&) Line | Count | Source | 76 | 26 | static data_type Set(data_type B, key_type K, value_type E,context_type F){ | 77 | 26 | return F.add(B, K, E); | 78 | 26 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> > >::Set(llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> >, clang::ento::SymExpr const*, bool, llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> >::Factory&) Line | Count | Source | 76 | 88 | static data_type Set(data_type B, key_type K, value_type E,context_type F){ | 77 | 88 | return F.add(B, K, E); | 78 | 88 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> > >::Set(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> >, clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> >::Factory&) Line | Count | Source | 76 | 42 | static data_type Set(data_type B, key_type K, value_type E,context_type F){ | 77 | 42 | return F.add(B, K, E); | 78 | 42 | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RangeSet> > >::Set(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RangeSet> >, clang::ento::SymExpr const*, (anonymous namespace)::RangeSet, llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RangeSet> >::Factory&) Line | Count | Source | 76 | 104k | static data_type Set(data_type B, key_type K, value_type E,context_type F){ | 77 | 104k | return F.add(B, K, E); | 78 | 104k | } |
VirtualCallChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState> > >::Set(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState> >, clang::ento::MemRegion const*, (anonymous namespace)::ObjectState, llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState> >::Factory&) Line | Count | Source | 76 | 66 | static data_type Set(data_type B, key_type K, value_type E,context_type F){ | 77 | 66 | return F.add(B, K, E); | 78 | 66 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> > >::Set(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> >, clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> >::Factory&) Line | Count | Source | 76 | 495 | static data_type Set(data_type B, key_type K, value_type E,context_type F){ | 77 | 495 | return F.add(B, K, E); | 78 | 495 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> > >::Set(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> >, clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> >::Factory&) Line | Count | Source | 76 | 1.91k | static data_type Set(data_type B, key_type K, value_type E,context_type F){ | 77 | 1.91k | return F.add(B, K, E); | 78 | 1.91k | } |
|
79 | | |
80 | 11.6k | static data_type Remove(data_type B, key_type K, context_type F) { |
81 | 11.6k | return F.remove(B, K); |
82 | 11.6k | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> > >::Remove(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> >, clang::ento::MemRegion const*, llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> >::Factory&) Line | Count | Source | 80 | 1.34k | static data_type Remove(data_type B, key_type K, context_type F) { | 81 | 1.34k | return F.remove(B, K); | 82 | 1.34k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> > >::Remove(llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> >, clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> >::Factory&) Line | Count | Source | 80 | 322 | static data_type Remove(data_type B, key_type K, context_type F) { | 81 | 322 | return F.remove(B, K); | 82 | 322 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> > >::Remove(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> >, clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> >::Factory&) Line | Count | Source | 80 | 756 | static data_type Remove(data_type B, key_type K, context_type F) { | 81 | 756 | return F.remove(B, K); | 82 | 756 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> > >::Remove(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> >, clang::ento::MemRegion const*, llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> >::Factory&) Line | Count | Source | 80 | 16 | static data_type Remove(data_type B, key_type K, context_type F) { | 81 | 16 | return F.remove(B, K); | 82 | 16 | } |
VirtualCallChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState> > >::Remove(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState> >, clang::ento::MemRegion const*, llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState> >::Factory&) Line | Count | Source | 80 | 67 | static data_type Remove(data_type B, key_type K, context_type F) { | 81 | 67 | return F.remove(B, K); | 82 | 67 | } |
SimpleStreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> > >::Remove(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> >, clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> >::Factory&) Line | Count | Source | 80 | 73 | static data_type Remove(data_type B, key_type K, context_type F) { | 81 | 73 | return F.remove(B, K); | 82 | 73 | } |
RetainCountChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefVal> > >::Remove(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefVal> >, clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefVal> >::Factory&) Line | Count | Source | 80 | 5.24k | static data_type Remove(data_type B, key_type K, context_type F) { | 81 | 5.24k | return F.remove(B, K); | 82 | 5.24k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SymExpr const*> > >::Remove(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SymExpr const*> >, clang::ento::MemRegion const*, llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SymExpr const*> >::Factory&) Line | Count | Source | 80 | 38 | static data_type Remove(data_type B, key_type K, context_type F) { | 81 | 38 | return F.remove(B, K); | 82 | 38 | } |
PthreadLockChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LockState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LockState> > >::Remove(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LockState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LockState> >, clang::ento::MemRegion const*, llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LockState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LockState> >::Factory&) Line | Count | Source | 80 | 4 | static data_type Remove(data_type B, key_type K, context_type F) { | 81 | 4 | return F.remove(B, K); | 82 | 4 | } |
Unexecuted instantiation: clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> > >::Remove(llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> >, clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> >::Factory&) clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DefinedSVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DefinedSVal> > >::Remove(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DefinedSVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DefinedSVal> >, clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DefinedSVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DefinedSVal> >::Factory&) Line | Count | Source | 80 | 188 | static data_type Remove(data_type B, key_type K, context_type F) { | 81 | 188 | return F.remove(B, K); | 82 | 188 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > > >::Remove(llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > >, clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > >::Factory&) Line | Count | Source | 80 | 125 | static data_type Remove(data_type B, key_type K, context_type F) { | 81 | 125 | return F.remove(B, K); | 82 | 125 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::mpi::Request> > >::Remove(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::mpi::Request> >, clang::ento::MemRegion const*, llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::mpi::Request> >::Factory&) Line | Count | Source | 80 | 56 | static data_type Remove(data_type B, key_type K, context_type F) { | 81 | 56 | return F.remove(B, K); | 82 | 56 | } |
MisusedMovedObjectChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::RegionState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::RegionState> > >::Remove(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::RegionState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::RegionState> >, clang::ento::MemRegion const*, llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::RegionState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::RegionState> >::Factory&) Line | Count | Source | 80 | 2.35k | static data_type Remove(data_type B, key_type K, context_type F) { | 81 | 2.35k | return F.remove(B, K); | 82 | 2.35k | } |
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefState> > >::Remove(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefState> >, clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefState> >::Factory&) Line | Count | Source | 80 | 751 | static data_type Remove(data_type B, key_type K, context_type F) { | 81 | 751 | return F.remove(B, K); | 82 | 751 | } |
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair> > >::Remove(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair> >, clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair> >::Factory&) Line | Count | Source | 80 | 79 | static data_type Remove(data_type B, key_type K, context_type F) { | 81 | 79 | return F.remove(B, K); | 82 | 79 | } |
MacOSKeychainAPIChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState> > >::Remove(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState> >, clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState> >::Factory&) Line | Count | Source | 80 | 53 | static data_type Remove(data_type B, key_type K, context_type F) { | 81 | 53 | return F.remove(B, K); | 82 | 53 | } |
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison> > >::Remove(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison> >, clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison> >::Factory&) Line | Count | Source | 80 | 1 | static data_type Remove(data_type B, key_type K, context_type F) { | 81 | 1 | return F.remove(B, K); | 82 | 1 | } |
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData> > >::Remove(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData> >, clang::ento::MemRegion const*, llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData> >::Factory&) Line | Count | Source | 80 | 9 | static data_type Remove(data_type B, key_type K, context_type F) { | 81 | 9 | return F.remove(B, K); | 82 | 9 | } |
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition> > >::Remove(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition> >, clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition> >::Factory&) Line | Count | Source | 80 | 6 | static data_type Remove(data_type B, key_type K, context_type F) { | 81 | 6 | return F.remove(B, K); | 82 | 6 | } |
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition> > >::Remove(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition> >, clang::ento::MemRegion const*, llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition> >::Factory&) Line | Count | Source | 80 | 16 | static data_type Remove(data_type B, key_type K, context_type F) { | 81 | 16 | return F.remove(B, K); | 82 | 16 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*> > >::Remove(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*> >, clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*> >::Factory&) Line | Count | Source | 80 | 100 | static data_type Remove(data_type B, key_type K, context_type F) { | 81 | 100 | return F.remove(B, K); | 82 | 100 | } |
NullabilityChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> > >::Remove(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> >, clang::ento::MemRegion const*, llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> >::Factory&) Line | Count | Source | 80 | 70 | static data_type Remove(data_type B, key_type K, context_type F) { | 81 | 70 | return F.remove(B, K); | 82 | 70 | } |
|
83 | | |
84 | 5 | static bool Contains(data_type B, key_type K) { |
85 | 5 | return B.contains(K); |
86 | 5 | } |
87 | | |
88 | 399k | static inline context_type MakeContext(void *p) { |
89 | 399k | return *((typename data_type::Factory*) p); |
90 | 399k | } RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RangeSet> > >::MakeContext(void*) Line | Count | Source | 88 | 345k | static inline context_type MakeContext(void *p) { | 89 | 345k | return *((typename data_type::Factory*) p); | 90 | 345k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> > >::MakeContext(void*) Line | Count | Source | 88 | 410 | static inline context_type MakeContext(void *p) { | 89 | 410 | return *((typename data_type::Factory*) p); | 90 | 410 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> > >::MakeContext(void*) Line | Count | Source | 88 | 798 | static inline context_type MakeContext(void *p) { | 89 | 798 | return *((typename data_type::Factory*) p); | 90 | 798 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> > >::MakeContext(void*) Line | Count | Source | 88 | 1.54k | static inline context_type MakeContext(void *p) { | 89 | 1.54k | return *((typename data_type::Factory*) p); | 90 | 1.54k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > > >::MakeContext(void*) Line | Count | Source | 88 | 314 | static inline context_type MakeContext(void *p) { | 89 | 314 | return *((typename data_type::Factory*) p); | 90 | 314 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> > >::MakeContext(void*) Line | Count | Source | 88 | 3.26k | static inline context_type MakeContext(void *p) { | 89 | 3.26k | return *((typename data_type::Factory*) p); | 90 | 3.26k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*> > >::MakeContext(void*) Line | Count | Source | 88 | 204 | static inline context_type MakeContext(void *p) { | 89 | 204 | return *((typename data_type::Factory*) p); | 90 | 204 | } |
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison> > >::MakeContext(void*) Line | Count | Source | 88 | 2 | static inline context_type MakeContext(void *p) { | 89 | 2 | return *((typename data_type::Factory*) p); | 90 | 2 | } |
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition> > >::MakeContext(void*) Line | Count | Source | 88 | 29 | static inline context_type MakeContext(void *p) { | 89 | 29 | return *((typename data_type::Factory*) p); | 90 | 29 | } |
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition> > >::MakeContext(void*) Line | Count | Source | 88 | 9 | static inline context_type MakeContext(void *p) { | 89 | 9 | return *((typename data_type::Factory*) p); | 90 | 9 | } |
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData> > >::MakeContext(void*) Line | Count | Source | 88 | 13 | static inline context_type MakeContext(void *p) { | 89 | 13 | return *((typename data_type::Factory*) p); | 90 | 13 | } |
LocalizationChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState> > >::MakeContext(void*) Line | Count | Source | 88 | 194 | static inline context_type MakeContext(void *p) { | 89 | 194 | return *((typename data_type::Factory*) p); | 90 | 194 | } |
MacOSKeychainAPIChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState> > >::MakeContext(void*) Line | Count | Source | 88 | 80 | static inline context_type MakeContext(void *p) { | 89 | 80 | return *((typename data_type::Factory*) p); | 90 | 80 | } |
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefState> > >::MakeContext(void*) Line | Count | Source | 88 | 27.5k | static inline context_type MakeContext(void *p) { | 89 | 27.5k | return *((typename data_type::Factory*) p); | 90 | 27.5k | } |
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair> > >::MakeContext(void*) Line | Count | Source | 88 | 130 | static inline context_type MakeContext(void *p) { | 89 | 130 | return *((typename data_type::Factory*) p); | 90 | 130 | } |
MisusedMovedObjectChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::RegionState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::RegionState> > >::MakeContext(void*) Line | Count | Source | 88 | 2.64k | static inline context_type MakeContext(void *p) { | 89 | 2.64k | return *((typename data_type::Factory*) p); | 90 | 2.64k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::mpi::Request> > >::MakeContext(void*) Line | Count | Source | 88 | 153 | static inline context_type MakeContext(void *p) { | 89 | 153 | return *((typename data_type::Factory*) p); | 90 | 153 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> > >::MakeContext(void*) Line | Count | Source | 88 | 445 | static inline context_type MakeContext(void *p) { | 89 | 445 | return *((typename data_type::Factory*) p); | 90 | 445 | } |
NullabilityChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> > >::MakeContext(void*) Line | Count | Source | 88 | 118 | static inline context_type MakeContext(void *p) { | 89 | 118 | return *((typename data_type::Factory*) p); | 90 | 118 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DefinedSVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DefinedSVal> > >::MakeContext(void*) Line | Count | Source | 88 | 207 | static inline context_type MakeContext(void *p) { | 89 | 207 | return *((typename data_type::Factory*) p); | 90 | 207 | } |
PointerArithChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind> > >::MakeContext(void*) Line | Count | Source | 88 | 944 | static inline context_type MakeContext(void *p) { | 89 | 944 | return *((typename data_type::Factory*) p); | 90 | 944 | } |
PthreadLockChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LockState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LockState> > >::MakeContext(void*) Line | Count | Source | 88 | 175 | static inline context_type MakeContext(void *p) { | 89 | 175 | return *((typename data_type::Factory*) p); | 90 | 175 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SymExpr const*> > >::MakeContext(void*) Line | Count | Source | 88 | 66 | static inline context_type MakeContext(void *p) { | 89 | 66 | return *((typename data_type::Factory*) p); | 90 | 66 | } |
RetainCountChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefVal> > >::MakeContext(void*) Line | Count | Source | 88 | 14.2k | static inline context_type MakeContext(void *p) { | 89 | 14.2k | return *((typename data_type::Factory*) p); | 90 | 14.2k | } |
SimpleStreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> > >::MakeContext(void*) Line | Count | Source | 88 | 89 | static inline context_type MakeContext(void *p) { | 89 | 89 | return *((typename data_type::Factory*) p); | 90 | 89 | } |
StreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> > >::MakeContext(void*) Line | Count | Source | 88 | 26 | static inline context_type MakeContext(void *p) { | 89 | 26 | return *((typename data_type::Factory*) p); | 90 | 26 | } |
VirtualCallChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState> > >::MakeContext(void*) Line | Count | Source | 88 | 133 | static inline context_type MakeContext(void *p) { | 89 | 133 | return *((typename data_type::Factory*) p); | 90 | 133 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> > > > >::MakeContext(void*) Line | Count | Source | 88 | 2 | static inline context_type MakeContext(void *p) { | 89 | 2 | return *((typename data_type::Factory*) p); | 90 | 2 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, unsigned int> > >::MakeContext(void*) Line | Count | Source | 88 | 18 | static inline context_type MakeContext(void *p) { | 89 | 18 | return *((typename data_type::Factory*) p); | 90 | 18 | } |
|
91 | | |
92 | 10.7k | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { |
93 | 10.7k | return new typename data_type::Factory(Alloc); |
94 | 10.7k | } RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RangeSet> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&) Line | Count | Source | 92 | 6.78k | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 93 | 6.78k | return new typename data_type::Factory(Alloc); | 94 | 6.78k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&) Line | Count | Source | 92 | 51 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 93 | 51 | return new typename data_type::Factory(Alloc); | 94 | 51 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&) Line | Count | Source | 92 | 357 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 93 | 357 | return new typename data_type::Factory(Alloc); | 94 | 357 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&) Line | Count | Source | 92 | 236 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 93 | 236 | return new typename data_type::Factory(Alloc); | 94 | 236 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&) Line | Count | Source | 92 | 65 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 93 | 65 | return new typename data_type::Factory(Alloc); | 94 | 65 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&) Line | Count | Source | 92 | 746 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 93 | 746 | return new typename data_type::Factory(Alloc); | 94 | 746 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&) Line | Count | Source | 92 | 78 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 93 | 78 | return new typename data_type::Factory(Alloc); | 94 | 78 | } |
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&) Line | Count | Source | 92 | 1 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 93 | 1 | return new typename data_type::Factory(Alloc); | 94 | 1 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> > > > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&) Line | Count | Source | 92 | 1 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 93 | 1 | return new typename data_type::Factory(Alloc); | 94 | 1 | } |
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&) Line | Count | Source | 92 | 4 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 93 | 4 | return new typename data_type::Factory(Alloc); | 94 | 4 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, unsigned int> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&) Line | Count | Source | 92 | 9 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 93 | 9 | return new typename data_type::Factory(Alloc); | 94 | 9 | } |
VirtualCallChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&) Line | Count | Source | 92 | 14 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 93 | 14 | return new typename data_type::Factory(Alloc); | 94 | 14 | } |
StreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&) Line | Count | Source | 92 | 9 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 93 | 9 | return new typename data_type::Factory(Alloc); | 94 | 9 | } |
SimpleStreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&) Line | Count | Source | 92 | 18 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 93 | 18 | return new typename data_type::Factory(Alloc); | 94 | 18 | } |
RetainCountChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefVal> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&) Line | Count | Source | 92 | 818 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 93 | 818 | return new typename data_type::Factory(Alloc); | 94 | 818 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SymExpr const*> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&) Line | Count | Source | 92 | 22 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 93 | 22 | return new typename data_type::Factory(Alloc); | 94 | 22 | } |
PthreadLockChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LockState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LockState> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&) Line | Count | Source | 92 | 59 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 93 | 59 | return new typename data_type::Factory(Alloc); | 94 | 59 | } |
PointerArithChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&) Line | Count | Source | 92 | 315 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 93 | 315 | return new typename data_type::Factory(Alloc); | 94 | 315 | } |
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&) Line | Count | Source | 92 | 2 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 93 | 2 | return new typename data_type::Factory(Alloc); | 94 | 2 | } |
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&) Line | Count | Source | 92 | 4 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 93 | 4 | return new typename data_type::Factory(Alloc); | 94 | 4 | } |
LocalizationChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&) Line | Count | Source | 92 | 35 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 93 | 35 | return new typename data_type::Factory(Alloc); | 94 | 35 | } |
MacOSKeychainAPIChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&) Line | Count | Source | 92 | 23 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 93 | 23 | return new typename data_type::Factory(Alloc); | 94 | 23 | } |
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefState> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&) Line | Count | Source | 92 | 879 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 93 | 879 | return new typename data_type::Factory(Alloc); | 94 | 879 | } |
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&) Line | Count | Source | 92 | 30 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 93 | 30 | return new typename data_type::Factory(Alloc); | 94 | 30 | } |
MisusedMovedObjectChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::RegionState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::RegionState> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&) Line | Count | Source | 92 | 27 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 93 | 27 | return new typename data_type::Factory(Alloc); | 94 | 27 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::mpi::Request> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&) Line | Count | Source | 92 | 34 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 93 | 34 | return new typename data_type::Factory(Alloc); | 94 | 34 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&) Line | Count | Source | 92 | 108 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 93 | 108 | return new typename data_type::Factory(Alloc); | 94 | 108 | } |
NullabilityChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&) Line | Count | Source | 92 | 26 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 93 | 26 | return new typename data_type::Factory(Alloc); | 94 | 26 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DefinedSVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DefinedSVal> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&) Line | Count | Source | 92 | 28 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 93 | 28 | return new typename data_type::Factory(Alloc); | 94 | 28 | } |
|
95 | | |
96 | 10.7k | static void DeleteContext(void *Ctx) { |
97 | 10.7k | delete (typename data_type::Factory*) Ctx; |
98 | 10.7k | } RetainCountChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefVal> > >::DeleteContext(void*) Line | Count | Source | 96 | 818 | static void DeleteContext(void *Ctx) { | 97 | 818 | delete (typename data_type::Factory*) Ctx; | 98 | 818 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SymExpr const*> > >::DeleteContext(void*) Line | Count | Source | 96 | 22 | static void DeleteContext(void *Ctx) { | 97 | 22 | delete (typename data_type::Factory*) Ctx; | 98 | 22 | } |
PthreadLockChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LockState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LockState> > >::DeleteContext(void*) Line | Count | Source | 96 | 59 | static void DeleteContext(void *Ctx) { | 97 | 59 | delete (typename data_type::Factory*) Ctx; | 98 | 59 | } |
PointerArithChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind> > >::DeleteContext(void*) Line | Count | Source | 96 | 315 | static void DeleteContext(void *Ctx) { | 97 | 315 | delete (typename data_type::Factory*) Ctx; | 98 | 315 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::DefinedSVal, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::DefinedSVal> > >::DeleteContext(void*) Line | Count | Source | 96 | 28 | static void DeleteContext(void *Ctx) { | 97 | 28 | delete (typename data_type::Factory*) Ctx; | 98 | 28 | } |
NullabilityChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> > >::DeleteContext(void*) Line | Count | Source | 96 | 26 | static void DeleteContext(void *Ctx) { | 97 | 26 | delete (typename data_type::Factory*) Ctx; | 98 | 26 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> > >::DeleteContext(void*) Line | Count | Source | 96 | 108 | static void DeleteContext(void *Ctx) { | 97 | 108 | delete (typename data_type::Factory*) Ctx; | 98 | 108 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::mpi::Request, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::mpi::Request> > >::DeleteContext(void*) Line | Count | Source | 96 | 34 | static void DeleteContext(void *Ctx) { | 97 | 34 | delete (typename data_type::Factory*) Ctx; | 98 | 34 | } |
MisusedMovedObjectChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::RegionState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::RegionState> > >::DeleteContext(void*) Line | Count | Source | 96 | 27 | static void DeleteContext(void *Ctx) { | 97 | 27 | delete (typename data_type::Factory*) Ctx; | 98 | 27 | } |
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::ReallocPair> > >::DeleteContext(void*) Line | Count | Source | 96 | 30 | static void DeleteContext(void *Ctx) { | 97 | 30 | delete (typename data_type::Factory*) Ctx; | 98 | 30 | } |
MallocChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RefState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RefState> > >::DeleteContext(void*) Line | Count | Source | 96 | 879 | static void DeleteContext(void *Ctx) { | 97 | 879 | delete (typename data_type::Factory*) Ctx; | 98 | 879 | } |
MacOSKeychainAPIChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState> > >::DeleteContext(void*) Line | Count | Source | 96 | 23 | static void DeleteContext(void *Ctx) { | 97 | 23 | delete (typename data_type::Factory*) Ctx; | 98 | 23 | } |
LocalizationChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::LocalizedState> > >::DeleteContext(void*) Line | Count | Source | 96 | 35 | static void DeleteContext(void *Ctx) { | 97 | 35 | delete (typename data_type::Factory*) Ctx; | 98 | 35 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > > >::DeleteContext(void*) Line | Count | Source | 96 | 65 | static void DeleteContext(void *Ctx) { | 97 | 65 | delete (typename data_type::Factory*) Ctx; | 98 | 65 | } |
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorPosition> > >::DeleteContext(void*) Line | Count | Source | 96 | 2 | static void DeleteContext(void *Ctx) { | 97 | 2 | delete (typename data_type::Factory*) Ctx; | 98 | 2 | } |
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::IteratorPosition> > >::DeleteContext(void*) Line | Count | Source | 96 | 4 | static void DeleteContext(void *Ctx) { | 97 | 4 | delete (typename data_type::Factory*) Ctx; | 98 | 4 | } |
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::IteratorComparison> > >::DeleteContext(void*) Line | Count | Source | 96 | 1 | static void DeleteContext(void *Ctx) { | 97 | 1 | delete (typename data_type::Factory*) Ctx; | 98 | 1 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ObjCObjectPointerType const*> > >::DeleteContext(void*) Line | Count | Source | 96 | 78 | static void DeleteContext(void *Ctx) { | 97 | 78 | delete (typename data_type::Factory*) Ctx; | 98 | 78 | } |
SimpleStreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> > >::DeleteContext(void*) Line | Count | Source | 96 | 18 | static void DeleteContext(void *Ctx) { | 97 | 18 | delete (typename data_type::Factory*) Ctx; | 98 | 18 | } |
StreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> > >::DeleteContext(void*) Line | Count | Source | 96 | 9 | static void DeleteContext(void *Ctx) { | 97 | 9 | delete (typename data_type::Factory*) Ctx; | 98 | 9 | } |
IteratorChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ContainerData> > >::DeleteContext(void*) Line | Count | Source | 96 | 4 | static void DeleteContext(void *Ctx) { | 97 | 4 | delete (typename data_type::Factory*) Ctx; | 98 | 4 | } |
RangeConstraintManager.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::RangeSet> > >::DeleteContext(void*) Line | Count | Source | 96 | 6.78k | static void DeleteContext(void *Ctx) { | 97 | 6.78k | delete (typename data_type::Factory*) Ctx; | 98 | 6.78k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> > >::DeleteContext(void*) Line | Count | Source | 96 | 51 | static void DeleteContext(void *Ctx) { | 97 | 51 | delete (typename data_type::Factory*) Ctx; | 98 | 51 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> > >::DeleteContext(void*) Line | Count | Source | 96 | 357 | static void DeleteContext(void *Ctx) { | 97 | 357 | delete (typename data_type::Factory*) Ctx; | 98 | 357 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> > >::DeleteContext(void*) Line | Count | Source | 96 | 236 | static void DeleteContext(void *Ctx) { | 97 | 236 | delete (typename data_type::Factory*) Ctx; | 98 | 236 | } |
VirtualCallChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::ObjectState> > >::DeleteContext(void*) Line | Count | Source | 96 | 14 | static void DeleteContext(void *Ctx) { | 97 | 14 | delete (typename data_type::Factory*) Ctx; | 98 | 14 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, unsigned int> > >::DeleteContext(void*) Line | Count | Source | 96 | 9 | static void DeleteContext(void *Ctx) { | 97 | 9 | delete (typename data_type::Factory*) Ctx; | 98 | 9 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::DynamicTypeInfo> > >::DeleteContext(void*) Line | Count | Source | 96 | 746 | static void DeleteContext(void *Ctx) { | 97 | 746 | delete (typename data_type::Factory*) Ctx; | 98 | 746 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> >, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> > > > >::DeleteContext(void*) Line | Count | Source | 96 | 1 | static void DeleteContext(void *Ctx) { | 97 | 1 | delete (typename data_type::Factory*) Ctx; | 98 | 1 | } |
|
99 | | }; |
100 | | |
101 | | /// Helper for registering a map trait. |
102 | | /// |
103 | | /// If the map type were written directly in the invocation of |
104 | | /// REGISTER_TRAIT_WITH_PROGRAMSTATE, the comma in the template arguments |
105 | | /// would be treated as a macro argument separator, which is wrong. |
106 | | /// This allows the user to specify a map type in a way that the preprocessor |
107 | | /// can deal with. |
108 | | #define CLANG_ENTO_PROGRAMSTATE_MAP(Key, Value) llvm::ImmutableMap<Key, Value> |
109 | | |
110 | | |
111 | | // Partial-specialization for ImmutableSet. |
112 | | |
113 | | template <typename Key, typename Info> |
114 | | struct ProgramStatePartialTrait< llvm::ImmutableSet<Key,Info> > { |
115 | | typedef llvm::ImmutableSet<Key,Info> data_type; |
116 | | typedef typename data_type::Factory& context_type; |
117 | | typedef Key key_type; |
118 | | |
119 | 21.8k | static inline data_type MakeData(void *const* p) { |
120 | 3.06k | return p ? data_type((typename data_type::TreeTy*) *p) |
121 | 18.8k | : data_type(nullptr); |
122 | 21.8k | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> > >::MakeData(void* const*) Line | Count | Source | 119 | 620 | static inline data_type MakeData(void *const* p) { | 120 | 57 | return p ? data_type((typename data_type::TreeTy*) *p) | 121 | 563 | : data_type(nullptr); | 122 | 620 | } |
TestAfterDivZeroChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<(anonymous namespace)::ZeroState, llvm::ImutContainerInfo<(anonymous namespace)::ZeroState> > >::MakeData(void* const*) Line | Count | Source | 119 | 1.82k | static inline data_type MakeData(void *const* p) { | 120 | 106 | return p ? data_type((typename data_type::TreeTy*) *p) | 121 | 1.71k | : data_type(nullptr); | 122 | 1.82k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> > >::MakeData(void* const*) Line | Count | Source | 119 | 4.92k | static inline data_type MakeData(void *const* p) { | 120 | 2.31k | return p ? data_type((typename data_type::TreeTy*) *p) | 121 | 2.61k | : data_type(nullptr); | 122 | 4.92k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::StackFrameContext const*>, llvm::ImutContainerInfo<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::StackFrameContext const*> > > >::MakeData(void* const*) Line | Count | Source | 119 | 423 | static inline data_type MakeData(void *const* p) { | 120 | 300 | return p ? data_type((typename data_type::TreeTy*) *p) | 121 | 123 | : data_type(nullptr); | 122 | 423 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> > >::MakeData(void* const*) Line | Count | Source | 119 | 295 | static inline data_type MakeData(void *const* p) { | 120 | 35 | return p ? data_type((typename data_type::TreeTy*) *p) | 121 | 260 | : data_type(nullptr); | 122 | 295 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > >::MakeData(void* const*) Line | Count | Source | 119 | 13.7k | static inline data_type MakeData(void *const* p) { | 120 | 249 | return p ? data_type((typename data_type::TreeTy*) *p) | 121 | 13.5k | : data_type(nullptr); | 122 | 13.7k | } |
|
123 | | |
124 | 700 | static inline void *MakeVoidPtr(data_type B) { |
125 | 700 | return B.getRoot(); |
126 | 700 | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> > >::MakeVoidPtr(llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> >) Line | Count | Source | 124 | 169 | static inline void *MakeVoidPtr(data_type B) { | 125 | 169 | return B.getRoot(); | 126 | 169 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > >::MakeVoidPtr(llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >) Line | Count | Source | 124 | 53 | static inline void *MakeVoidPtr(data_type B) { | 125 | 53 | return B.getRoot(); | 126 | 53 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> > >::MakeVoidPtr(llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> >) Line | Count | Source | 124 | 57 | static inline void *MakeVoidPtr(data_type B) { | 125 | 57 | return B.getRoot(); | 126 | 57 | } |
TestAfterDivZeroChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<(anonymous namespace)::ZeroState, llvm::ImutContainerInfo<(anonymous namespace)::ZeroState> > >::MakeVoidPtr(llvm::ImmutableSet<(anonymous namespace)::ZeroState, llvm::ImutContainerInfo<(anonymous namespace)::ZeroState> >) Line | Count | Source | 124 | 102 | static inline void *MakeVoidPtr(data_type B) { | 125 | 102 | return B.getRoot(); | 126 | 102 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> > >::MakeVoidPtr(llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> >) Line | Count | Source | 124 | 145 | static inline void *MakeVoidPtr(data_type B) { | 125 | 145 | return B.getRoot(); | 126 | 145 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::StackFrameContext const*>, llvm::ImutContainerInfo<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::StackFrameContext const*> > > >::MakeVoidPtr(llvm::ImmutableSet<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::StackFrameContext const*>, llvm::ImutContainerInfo<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::StackFrameContext const*> > >) Line | Count | Source | 124 | 174 | static inline void *MakeVoidPtr(data_type B) { | 125 | 174 | return B.getRoot(); | 126 | 174 | } |
|
127 | | |
128 | 491 | static data_type Add(data_type B, key_type K, context_type F) { |
129 | 491 | return F.add(B, K); |
130 | 491 | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > >::Add(llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >::Factory&) Line | Count | Source | 128 | 52 | static data_type Add(data_type B, key_type K, context_type F) { | 129 | 52 | return F.add(B, K); | 130 | 52 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> > >::Add(llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> >, clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> >::Factory&) Line | Count | Source | 128 | 85 | static data_type Add(data_type B, key_type K, context_type F) { | 129 | 85 | return F.add(B, K); | 130 | 85 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> > >::Add(llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> >, clang::VarDecl const*, llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> >::Factory&) Line | Count | Source | 128 | 145 | static data_type Add(data_type B, key_type K, context_type F) { | 129 | 145 | return F.add(B, K); | 130 | 145 | } |
TestAfterDivZeroChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<(anonymous namespace)::ZeroState, llvm::ImutContainerInfo<(anonymous namespace)::ZeroState> > >::Add(llvm::ImmutableSet<(anonymous namespace)::ZeroState, llvm::ImutContainerInfo<(anonymous namespace)::ZeroState> >, (anonymous namespace)::ZeroState, llvm::ImmutableSet<(anonymous namespace)::ZeroState, llvm::ImutContainerInfo<(anonymous namespace)::ZeroState> >::Factory&) Line | Count | Source | 128 | 64 | static data_type Add(data_type B, key_type K, context_type F) { | 129 | 64 | return F.add(B, K); | 130 | 64 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> > >::Add(llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> >, unsigned int, llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> >::Factory&) Line | Count | Source | 128 | 57 | static data_type Add(data_type B, key_type K, context_type F) { | 129 | 57 | return F.add(B, K); | 130 | 57 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::StackFrameContext const*>, llvm::ImutContainerInfo<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::StackFrameContext const*> > > >::Add(llvm::ImmutableSet<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::StackFrameContext const*>, llvm::ImutContainerInfo<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::StackFrameContext const*> > >, std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::StackFrameContext const*>, llvm::ImmutableSet<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::StackFrameContext const*>, llvm::ImutContainerInfo<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::StackFrameContext const*> > >::Factory&) Line | Count | Source | 128 | 88 | static data_type Add(data_type B, key_type K, context_type F) { | 129 | 88 | return F.add(B, K); | 130 | 88 | } |
|
131 | | |
132 | 171 | static data_type Remove(data_type B, key_type K, context_type F) { |
133 | 171 | return F.remove(B, K); |
134 | 171 | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::StackFrameContext const*>, llvm::ImutContainerInfo<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::StackFrameContext const*> > > >::Remove(llvm::ImmutableSet<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::StackFrameContext const*>, llvm::ImutContainerInfo<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::StackFrameContext const*> > >, std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::StackFrameContext const*>, llvm::ImmutableSet<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::StackFrameContext const*>, llvm::ImutContainerInfo<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::StackFrameContext const*> > >::Factory&) Line | Count | Source | 132 | 86 | static data_type Remove(data_type B, key_type K, context_type F) { | 133 | 86 | return F.remove(B, K); | 134 | 86 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> > >::Remove(llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> >, clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> >::Factory&) Line | Count | Source | 132 | 84 | static data_type Remove(data_type B, key_type K, context_type F) { | 133 | 84 | return F.remove(B, K); | 134 | 84 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > >::Remove(llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, clang::ento::SymExpr const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >::Factory&) Line | Count | Source | 132 | 1 | static data_type Remove(data_type B, key_type K, context_type F) { | 133 | 1 | return F.remove(B, K); | 134 | 1 | } |
|
135 | | |
136 | 14.1k | static bool Contains(data_type B, key_type K) { |
137 | 14.1k | return B.contains(K); |
138 | 14.1k | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> > >::Contains(llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> >, clang::VarDecl const*) Line | Count | Source | 136 | 150 | static bool Contains(data_type B, key_type K) { | 137 | 150 | return B.contains(K); | 138 | 150 | } |
TestAfterDivZeroChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<(anonymous namespace)::ZeroState, llvm::ImutContainerInfo<(anonymous namespace)::ZeroState> > >::Contains(llvm::ImmutableSet<(anonymous namespace)::ZeroState, llvm::ImutContainerInfo<(anonymous namespace)::ZeroState> >, (anonymous namespace)::ZeroState) Line | Count | Source | 136 | 335 | static bool Contains(data_type B, key_type K) { | 137 | 335 | return B.contains(K); | 138 | 335 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> > >::Contains(llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> >, clang::ento::MemRegion const*) Line | Count | Source | 136 | 4.61k | static bool Contains(data_type B, key_type K) { | 137 | 4.61k | return B.contains(K); | 138 | 4.61k | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::StackFrameContext const*>, llvm::ImutContainerInfo<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::StackFrameContext const*> > > >::Contains(llvm::ImmutableSet<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::StackFrameContext const*>, llvm::ImutContainerInfo<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::StackFrameContext const*> > >, std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::StackFrameContext const*>) Line | Count | Source | 136 | 249 | static bool Contains(data_type B, key_type K) { | 137 | 249 | return B.contains(K); | 138 | 249 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > >::Contains(llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, clang::ento::SymExpr const*) Line | Count | Source | 136 | 8.77k | static bool Contains(data_type B, key_type K) { | 137 | 8.77k | return B.contains(K); | 138 | 8.77k | } |
|
139 | | |
140 | 992 | static inline context_type MakeContext(void *p) { |
141 | 992 | return *((typename data_type::Factory*) p); |
142 | 992 | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> > >::MakeContext(void*) Line | Count | Source | 140 | 57 | static inline context_type MakeContext(void *p) { | 141 | 57 | return *((typename data_type::Factory*) p); | 142 | 57 | } |
TestAfterDivZeroChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<(anonymous namespace)::ZeroState, llvm::ImutContainerInfo<(anonymous namespace)::ZeroState> > >::MakeContext(void*) Line | Count | Source | 140 | 102 | static inline context_type MakeContext(void *p) { | 141 | 102 | return *((typename data_type::Factory*) p); | 142 | 102 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> > >::MakeContext(void*) Line | Count | Source | 140 | 169 | static inline context_type MakeContext(void *p) { | 141 | 169 | return *((typename data_type::Factory*) p); | 142 | 169 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::StackFrameContext const*>, llvm::ImutContainerInfo<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::StackFrameContext const*> > > >::MakeContext(void*) Line | Count | Source | 140 | 174 | static inline context_type MakeContext(void *p) { | 141 | 174 | return *((typename data_type::Factory*) p); | 142 | 174 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> > >::MakeContext(void*) Line | Count | Source | 140 | 145 | static inline context_type MakeContext(void *p) { | 141 | 145 | return *((typename data_type::Factory*) p); | 142 | 145 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > >::MakeContext(void*) Line | Count | Source | 140 | 345 | static inline context_type MakeContext(void *p) { | 141 | 345 | return *((typename data_type::Factory*) p); | 142 | 345 | } |
|
143 | | |
144 | 448 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { |
145 | 448 | return new typename data_type::Factory(Alloc); |
146 | 448 | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&) Line | Count | Source | 144 | 20 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 145 | 20 | return new typename data_type::Factory(Alloc); | 146 | 20 | } |
TestAfterDivZeroChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<(anonymous namespace)::ZeroState, llvm::ImutContainerInfo<(anonymous namespace)::ZeroState> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&) Line | Count | Source | 144 | 60 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 145 | 60 | return new typename data_type::Factory(Alloc); | 146 | 60 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&) Line | Count | Source | 144 | 69 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 145 | 69 | return new typename data_type::Factory(Alloc); | 146 | 69 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::StackFrameContext const*>, llvm::ImutContainerInfo<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::StackFrameContext const*> > > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&) Line | Count | Source | 144 | 41 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 145 | 41 | return new typename data_type::Factory(Alloc); | 146 | 41 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&) Line | Count | Source | 144 | 128 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 145 | 128 | return new typename data_type::Factory(Alloc); | 146 | 128 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&) Line | Count | Source | 144 | 130 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 145 | 130 | return new typename data_type::Factory(Alloc); | 146 | 130 | } |
|
147 | | |
148 | 448 | static void DeleteContext(void *Ctx) { |
149 | 448 | delete (typename data_type::Factory*) Ctx; |
150 | 448 | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> > >::DeleteContext(void*) Line | Count | Source | 148 | 20 | static void DeleteContext(void *Ctx) { | 149 | 20 | delete (typename data_type::Factory*) Ctx; | 150 | 20 | } |
TestAfterDivZeroChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<(anonymous namespace)::ZeroState, llvm::ImutContainerInfo<(anonymous namespace)::ZeroState> > >::DeleteContext(void*) Line | Count | Source | 148 | 60 | static void DeleteContext(void *Ctx) { | 149 | 60 | delete (typename data_type::Factory*) Ctx; | 150 | 60 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> > >::DeleteContext(void*) Line | Count | Source | 148 | 69 | static void DeleteContext(void *Ctx) { | 149 | 69 | delete (typename data_type::Factory*) Ctx; | 150 | 69 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > >::DeleteContext(void*) Line | Count | Source | 148 | 130 | static void DeleteContext(void *Ctx) { | 149 | 130 | delete (typename data_type::Factory*) Ctx; | 150 | 130 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> > >::DeleteContext(void*) Line | Count | Source | 148 | 128 | static void DeleteContext(void *Ctx) { | 149 | 128 | delete (typename data_type::Factory*) Ctx; | 150 | 128 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::StackFrameContext const*>, llvm::ImutContainerInfo<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::StackFrameContext const*> > > >::DeleteContext(void*) Line | Count | Source | 148 | 41 | static void DeleteContext(void *Ctx) { | 149 | 41 | delete (typename data_type::Factory*) Ctx; | 150 | 41 | } |
|
151 | | }; |
152 | | |
153 | | |
154 | | // Partial-specialization for ImmutableList. |
155 | | |
156 | | template <typename T> |
157 | | struct ProgramStatePartialTrait< llvm::ImmutableList<T> > { |
158 | | typedef llvm::ImmutableList<T> data_type; |
159 | | typedef T key_type; |
160 | | typedef typename data_type::Factory& context_type; |
161 | | |
162 | 132 | static data_type Add(data_type L, key_type K, context_type F) { |
163 | 132 | return F.add(K, L); |
164 | 132 | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<clang::ento::MemRegion const*> >::Add(llvm::ImmutableList<clang::ento::MemRegion const*>, clang::ento::MemRegion const*, llvm::ImmutableListFactory<clang::ento::MemRegion const*>&) Line | Count | Source | 162 | 53 | static data_type Add(data_type L, key_type K, context_type F) { | 163 | 53 | return F.add(K, L); | 164 | 53 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<LoopState> >::Add(llvm::ImmutableList<LoopState>, LoopState, llvm::ImmutableListFactory<LoopState>&) Line | Count | Source | 162 | 79 | static data_type Add(data_type L, key_type K, context_type F) { | 163 | 79 | return F.add(K, L); | 164 | 79 | } |
|
165 | | |
166 | | static bool Contains(data_type L, key_type K) { |
167 | | return L.contains(K); |
168 | | } |
169 | | |
170 | 3.64k | static inline data_type MakeData(void *const* p) { |
171 | 3.50k | return p ? data_type((const llvm::ImmutableListImpl<T>*) *p) |
172 | 140 | : data_type(nullptr); |
173 | 3.64k | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<clang::ento::MemRegion const*> >::MakeData(void* const*) Line | Count | Source | 170 | 99 | static inline data_type MakeData(void *const* p) { | 171 | 48 | return p ? data_type((const llvm::ImmutableListImpl<T>*) *p) | 172 | 51 | : data_type(nullptr); | 173 | 99 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<LoopState> >::MakeData(void* const*) Line | Count | Source | 170 | 3.54k | static inline data_type MakeData(void *const* p) { | 171 | 3.45k | return p ? data_type((const llvm::ImmutableListImpl<T>*) *p) | 172 | 89 | : data_type(nullptr); | 173 | 3.54k | } |
|
174 | | |
175 | 239 | static inline void *MakeVoidPtr(data_type D) { |
176 | 239 | return const_cast<llvm::ImmutableListImpl<T> *>(D.getInternalPointer()); |
177 | 239 | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<LoopState> >::MakeVoidPtr(llvm::ImmutableList<LoopState>) Line | Count | Source | 175 | 157 | static inline void *MakeVoidPtr(data_type D) { | 176 | 157 | return const_cast<llvm::ImmutableListImpl<T> *>(D.getInternalPointer()); | 177 | 157 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<clang::ento::MemRegion const*> >::MakeVoidPtr(llvm::ImmutableList<clang::ento::MemRegion const*>) Line | Count | Source | 175 | 82 | static inline void *MakeVoidPtr(data_type D) { | 176 | 82 | return const_cast<llvm::ImmutableListImpl<T> *>(D.getInternalPointer()); | 177 | 82 | } |
|
178 | | |
179 | 132 | static inline context_type MakeContext(void *p) { |
180 | 132 | return *((typename data_type::Factory*) p); |
181 | 132 | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<LoopState> >::MakeContext(void*) Line | Count | Source | 179 | 79 | static inline context_type MakeContext(void *p) { | 180 | 79 | return *((typename data_type::Factory*) p); | 181 | 79 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<clang::ento::MemRegion const*> >::MakeContext(void*) Line | Count | Source | 179 | 53 | static inline context_type MakeContext(void *p) { | 180 | 53 | return *((typename data_type::Factory*) p); | 181 | 53 | } |
|
182 | | |
183 | 66 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { |
184 | 66 | return new typename data_type::Factory(Alloc); |
185 | 66 | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<LoopState> >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&) Line | Count | Source | 183 | 29 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 184 | 29 | return new typename data_type::Factory(Alloc); | 185 | 29 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<clang::ento::MemRegion const*> >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&) Line | Count | Source | 183 | 37 | static void *CreateContext(llvm::BumpPtrAllocator& Alloc) { | 184 | 37 | return new typename data_type::Factory(Alloc); | 185 | 37 | } |
|
186 | | |
187 | 66 | static void DeleteContext(void *Ctx) { |
188 | 66 | delete (typename data_type::Factory*) Ctx; |
189 | 66 | } clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<LoopState> >::DeleteContext(void*) Line | Count | Source | 187 | 29 | static void DeleteContext(void *Ctx) { | 188 | 29 | delete (typename data_type::Factory*) Ctx; | 189 | 29 | } |
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<clang::ento::MemRegion const*> >::DeleteContext(void*) Line | Count | Source | 187 | 37 | static void DeleteContext(void *Ctx) { | 188 | 37 | delete (typename data_type::Factory*) Ctx; | 189 | 37 | } |
|
190 | | }; |
191 | | |
192 | | |
193 | | // Partial specialization for bool. |
194 | | template <> struct ProgramStatePartialTrait<bool> { |
195 | | typedef bool data_type; |
196 | | |
197 | 1.61k | static inline data_type MakeData(void *const* p) { |
198 | 331 | return p ? (data_type) (uintptr_t) *p |
199 | 1.28k | : data_type(); |
200 | 1.61k | } |
201 | 179 | static inline void *MakeVoidPtr(data_type d) { |
202 | 179 | return (void*) (uintptr_t) d; |
203 | 179 | } |
204 | | }; |
205 | | |
206 | | // Partial specialization for unsigned. |
207 | | template <> struct ProgramStatePartialTrait<unsigned> { |
208 | | typedef unsigned data_type; |
209 | | |
210 | 187 | static inline data_type MakeData(void *const* p) { |
211 | 77 | return p ? (data_type) (uintptr_t) *p |
212 | 110 | : data_type(); |
213 | 187 | } |
214 | 45 | static inline void *MakeVoidPtr(data_type d) { |
215 | 45 | return (void*) (uintptr_t) d; |
216 | 45 | } |
217 | | }; |
218 | | |
219 | | // Partial specialization for void*. |
220 | | template <> struct ProgramStatePartialTrait<void*> { |
221 | | typedef void *data_type; |
222 | | |
223 | 0 | static inline data_type MakeData(void *const* p) { |
224 | 0 | return p ? *p |
225 | 0 | : data_type(); |
226 | 0 | } |
227 | 0 | static inline void *MakeVoidPtr(data_type d) { |
228 | 0 | return d; |
229 | 0 | } |
230 | | }; |
231 | | |
232 | | // Partial specialization for const void *. |
233 | | template <> struct ProgramStatePartialTrait<const void *> { |
234 | | typedef const void *data_type; |
235 | | |
236 | 30.6k | static inline data_type MakeData(void * const *p) { |
237 | 30.6k | return p ? *p81 : data_type()30.6k ; |
238 | 30.6k | } |
239 | | |
240 | 519 | static inline void *MakeVoidPtr(data_type d) { |
241 | 519 | return const_cast<void *>(d); |
242 | 519 | } |
243 | | }; |
244 | | |
245 | | } // end ento namespace |
246 | | |
247 | | } // end clang namespace |
248 | | |
249 | | #endif |