Coverage Report

Created: 2017-10-03 07:32

/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