Coverage Report

Created: 2018-07-20 23:04

/Users/buildslave/jenkins/workspace/clang-stage2-coverage-R/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h
Line
Count
Source
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
#ifndef LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_PROGRAMSTATETRAIT_H
18
#define LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_PROGRAMSTATETRAIT_H
19
20
#include "llvm/ADT/ImmutableList.h"
21
#include "llvm/ADT/ImmutableMap.h"
22
#include "llvm/ADT/ImmutableSet.h"
23
#include "llvm/Support/Allocator.h"
24
#include <cstdint>
25
26
namespace clang {
27
namespace ento {
28
29
  template <typename T> struct ProgramStatePartialTrait;
30
31
  /// Declares a program state trait for type \p Type called \p Name, and
32
  /// introduce a type named \c NameTy.
33
  /// The macro should not be used inside namespaces, or for traits that must
34
  /// be accessible from more than one translation unit.
35
  #define REGISTER_TRAIT_WITH_PROGRAMSTATE(Name, Type) \
36
    namespace { \
37
      class Name {}; \
38
      using Name ## Ty = Type; \
39
    } \
40
    namespace clang { \
41
    namespace ento { \
42
      template <> \
43
      struct ProgramStateTrait<Name> \
44
        : public ProgramStatePartialTrait<Name ## Ty> { \
45
1.29M
        static void *GDMIndex() { static int Index; return &Index; } \
BasicObjCFoundationChecks.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerCountMap>::GDMIndex()
Line
Count
Source
45
1.94k
        static void *GDMIndex() { static int Index; return &Index; } \
BasicObjCFoundationChecks.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerNonEmptyMap>::GDMIndex()
Line
Count
Source
45
1.59k
        static void *GDMIndex() { static int Index; return &Index; } \
BlockInCriticalSectionChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::MutexCounter>::GDMIndex()
Line
Count
Source
45
94
        static void *GDMIndex() { static int Index; return &Index; } \
CStringChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CStringLength>::GDMIndex()
Line
Count
Source
45
164k
        static void *GDMIndex() { static int Index; return &Index; } \
CheckObjCDealloc.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::UnreleasedIvarMap>::GDMIndex()
Line
Count
Source
45
4.81k
        static void *GDMIndex() { static int Index; return &Index; } \
DynamicTypePropagation.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::MostSpecializedTypeArgsMap>::GDMIndex()
Line
Count
Source
45
47.8k
        static void *GDMIndex() { static int Index; return &Index; } \
ExprInspectionChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::MarkedSymbols>::GDMIndex()
Line
Count
Source
45
7.16k
        static void *GDMIndex() { static int Index; return &Index; } \
GenericTaintChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TaintArgsOnPostVisit>::GDMIndex()
Line
Count
Source
45
1.07k
        static void *GDMIndex() { static int Index; return &Index; } \
InnerPointerChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RawPtrMap>::GDMIndex()
Line
Count
Source
45
1.92k
        static void *GDMIndex() { static int Index; return &Index; } \
IteratorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::IteratorRegionMap>::GDMIndex()
Line
Count
Source
45
3.90k
        static void *GDMIndex() { static int Index; return &Index; } \
IteratorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::IteratorSymbolMap>::GDMIndex()
Line
Count
Source
45
1.84k
        static void *GDMIndex() { static int Index; return &Index; } \
IteratorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerMap>::GDMIndex()
Line
Count
Source
45
2.25k
        static void *GDMIndex() { static int Index; return &Index; } \
IteratorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::IteratorComparisonMap>::GDMIndex()
Line
Count
Source
45
727
        static void *GDMIndex() { static int Index; return &Index; } \
LocalizationChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LocalizedMemMap>::GDMIndex()
Line
Count
Source
45
777
        static void *GDMIndex() { static int Index; return &Index; } \
MacOSKeychainAPIChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::AllocatedData>::GDMIndex()
Line
Count
Source
45
2.49k
        static void *GDMIndex() { static int Index; return &Index; } \
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::GDMIndex()
Line
Count
Source
45
313k
        static void *GDMIndex() { static int Index; return &Index; } \
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocPairs>::GDMIndex()
Line
Count
Source
45
160k
        static void *GDMIndex() { static int Index; return &Index; } \
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::FreeReturnValue>::GDMIndex()
Line
Count
Source
45
17.5k
        static void *GDMIndex() { static int Index; return &Index; } \
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocSizeZeroSymbols>::GDMIndex()
Line
Count
Source
45
12.9k
        static void *GDMIndex() { static int Index; return &Index; } \
MisusedMovedObjectChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TrackedRegionMap>::GDMIndex()
Line
Count
Source
45
15.8k
        static void *GDMIndex() { static int Index; return &Index; } \
NSErrorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NSErrorOut>::GDMIndex()
Line
Count
Source
45
11
        static void *GDMIndex() { static int Index; return &Index; } \
NSErrorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CFErrorOut>::GDMIndex()
Line
Count
Source
45
22
        static void *GDMIndex() { static int Index; return &Index; } \
NullabilityChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NullabilityMap>::GDMIndex()
Line
Count
Source
45
4.73k
        static void *GDMIndex() { static int Index; return &Index; } \
NullabilityChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::InvariantViolated>::GDMIndex()
Line
Count
Source
45
1.63k
        static void *GDMIndex() { static int Index; return &Index; } \
ObjCContainersChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ArraySizeMap>::GDMIndex()
Line
Count
Source
45
645
        static void *GDMIndex() { static int Index; return &Index; } \
ObjCSelfInitChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::SelfFlag>::GDMIndex()
Line
Count
Source
45
1.71k
        static void *GDMIndex() { static int Index; return &Index; } \
ObjCSelfInitChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CalledInit>::GDMIndex()
Line
Count
Source
45
259
        static void *GDMIndex() { static int Index; return &Index; } \
ObjCSelfInitChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::PreCallSelfFlags>::GDMIndex()
Line
Count
Source
45
178
        static void *GDMIndex() { static int Index; return &Index; } \
ObjCSuperDeallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CalledSuperDealloc>::GDMIndex()
Line
Count
Source
45
456
        static void *GDMIndex() { static int Index; return &Index; } \
PointerArithChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::GDMIndex()
Line
Count
Source
45
26.3k
        static void *GDMIndex() { static int Index; return &Index; } \
PthreadLockChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LockMap>::GDMIndex()
Line
Count
Source
45
732
        static void *GDMIndex() { static int Index; return &Index; } \
PthreadLockChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LockSet>::GDMIndex()
Line
Count
Source
45
234
        static void *GDMIndex() { static int Index; return &Index; } \
PthreadLockChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DestroyRetVal>::GDMIndex()
Line
Count
Source
45
550
        static void *GDMIndex() { static int Index; return &Index; } \
RetainCountChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RefBindings>::GDMIndex()
Line
Count
Source
45
94.1k
        static void *GDMIndex() { static int Index; return &Index; } \
SimpleStreamChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::GDMIndex()
Line
Count
Source
45
352
        static void *GDMIndex() { static int Index; return &Index; } \
StreamChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::GDMIndex()
Line
Count
Source
45
163
        static void *GDMIndex() { static int Index; return &Index; } \
TestAfterDivZeroChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DivZeroMap>::GDMIndex()
Line
Count
Source
45
2.06k
        static void *GDMIndex() { static int Index; return &Index; } \
VforkChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::VforkResultRegion>::GDMIndex()
Line
Count
Source
45
628
        static void *GDMIndex() { static int Index; return &Index; } \
ValistChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::InitializedVALists>::GDMIndex()
Line
Count
Source
45
5.26k
        static void *GDMIndex() { static int Index; return &Index; } \
VirtualCallChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CtorDtorMap>::GDMIndex()
Line
Count
Source
45
434
        static void *GDMIndex() { static int Index; return &Index; } \
ExprEngine.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ObjectsUnderConstruction>::GDMIndex()
Line
Count
Source
45
382k
        static void *GDMIndex() { static int Index; return &Index; } \
ExprEngine.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ElidedDestructors>::GDMIndex()
Line
Count
Source
45
2.90k
        static void *GDMIndex() { static int Index; return &Index; } \
ExprEngine.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::InitializedGlobalsSet>::GDMIndex()
Line
Count
Source
45
745
        static void *GDMIndex() { static int Index; return &Index; } \
ExprEngineCallAndReturn.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicDispatchBifurcationMap>::GDMIndex()
Line
Count
Source
45
69
        static void *GDMIndex() { static int Index; return &Index; } \
LoopUnrolling.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LoopStack>::GDMIndex()
Line
Count
Source
45
8.31k
        static void *GDMIndex() { static int Index; return &Index; } \
46
      }; \
47
    } \
48
    }
49
50
  // Partial-specialization for ImmutableMap.
51
  template <typename Key, typename Data, typename Info>
52
  struct ProgramStatePartialTrait<llvm::ImmutableMap<Key, Data, Info>> {
53
    using data_type = llvm::ImmutableMap<Key, Data, Info>;
54
    using context_type = typename data_type::Factory &;
55
    using key_type = Key;
56
    using value_type = Data;
57
    using lookup_type = const value_type *;
58
59
1.99M
    static data_type MakeData(void *const *p) {
60
1.99M
      return p ? 
data_type((typename data_type::TreeTy *) *p)1.05M
61
1.99M
               : 
data_type(nullptr)937k
;
62
1.99M
    }
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
59
17.3k
    static data_type MakeData(void *const *p) {
60
17.3k
      return p ? 
data_type((typename data_type::TreeTy *) *p)1.74k
61
17.3k
               : 
data_type(nullptr)15.6k
;
62
17.3k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> > >::MakeData(void* const*)
Line
Count
Source
59
694
    static data_type MakeData(void *const *p) {
60
694
      return p ? 
data_type((typename data_type::TreeTy *) *p)564
61
694
               : 
data_type(nullptr)130
;
62
694
    }
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
59
160k
    static data_type MakeData(void *const *p) {
60
160k
      return p ? 
data_type((typename data_type::TreeTy *) *p)5.07k
61
160k
               : 
data_type(nullptr)155k
;
62
160k
    }
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
59
4.19k
    static data_type MakeData(void *const *p) {
60
4.19k
      return p ? 
data_type((typename data_type::TreeTy *) *p)1.14k
61
4.19k
               : 
data_type(nullptr)3.04k
;
62
4.19k
    }
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
59
48.3k
    static data_type MakeData(void *const *p) {
60
48.3k
      return p ? 
data_type((typename data_type::TreeTy *) *p)10.4k
61
48.3k
               : 
data_type(nullptr)37.9k
;
62
48.3k
    }
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
59
47.4k
    static data_type MakeData(void *const *p) {
60
47.4k
      return p ? 
data_type((typename data_type::TreeTy *) *p)5.76k
61
47.4k
               : 
data_type(nullptr)41.6k
;
62
47.4k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > > >::MakeData(void* const*)
Line
Count
Source
59
1.79k
    static data_type MakeData(void *const *p) {
60
1.79k
      return p ? 
data_type((typename data_type::TreeTy *) *p)1.30k
61
1.79k
               : 
data_type(nullptr)495
;
62
1.79k
    }
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
59
2.79k
    static data_type MakeData(void *const *p) {
60
2.79k
      return p ? 
data_type((typename data_type::TreeTy *) *p)1.81k
61
2.79k
               : 
data_type(nullptr)980
;
62
2.79k
    }
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
59
1.76k
    static data_type MakeData(void *const *p) {
60
1.76k
      return p ? 
data_type((typename data_type::TreeTy *) *p)101
61
1.76k
               : 
data_type(nullptr)1.66k
;
62
1.76k
    }
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
59
1.97k
    static data_type MakeData(void *const *p) {
60
1.97k
      return p ? 
data_type((typename data_type::TreeTy *) *p)1.03k
61
1.97k
               : 
data_type(nullptr)945
;
62
1.97k
    }
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
59
559
    static data_type MakeData(void *const *p) {
60
559
      return p ? 
data_type((typename data_type::TreeTy *) *p)161
61
559
               : 
data_type(nullptr)398
;
62
559
    }
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
59
389
    static data_type MakeData(void *const *p) {
60
389
      return p ? 
data_type((typename data_type::TreeTy *) *p)344
61
389
               : 
data_type(nullptr)45
;
62
389
    }
MacOSKeychainAPIChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState> > >::MakeData(void* const*)
Line
Count
Source
59
2.33k
    static data_type MakeData(void *const *p) {
60
2.33k
      return p ? 
data_type((typename data_type::TreeTy *) *p)1.35k
61
2.33k
               : 
data_type(nullptr)976
;
62
2.33k
    }
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
59
275k
    static data_type MakeData(void *const *p) {
60
275k
      return p ? 
data_type((typename data_type::TreeTy *) *p)139k
61
275k
               : 
data_type(nullptr)135k
;
62
275k
    }
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
59
160k
    static data_type MakeData(void *const *p) {
60
160k
      return p ? 
data_type((typename data_type::TreeTy *) *p)835
61
160k
               : 
data_type(nullptr)159k
;
62
160k
    }
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
59
13.4k
    static data_type MakeData(void *const *p) {
60
13.4k
      return p ? 
data_type((typename data_type::TreeTy *) *p)11.1k
61
13.4k
               : 
data_type(nullptr)2.33k
;
62
13.4k
    }
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
59
1.02k
    static data_type MakeData(void *const *p) {
60
1.02k
      return p ? 
data_type((typename data_type::TreeTy *) *p)914
61
1.02k
               : 
data_type(nullptr)112
;
62
1.02k
    }
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
59
27.9k
    static data_type MakeData(void *const *p) {
60
27.9k
      return p ? 
data_type((typename data_type::TreeTy *) *p)23.8k
61
27.9k
               : 
data_type(nullptr)4.13k
;
62
27.9k
    }
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
59
4.48k
    static data_type MakeData(void *const *p) {
60
4.48k
      return p ? 
data_type((typename data_type::TreeTy *) *p)3.16k
61
4.48k
               : 
data_type(nullptr)1.32k
;
62
4.48k
    }
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
59
225
    static data_type MakeData(void *const *p) {
60
225
      return p ? 
data_type((typename data_type::TreeTy *) *p)191
61
225
               : 
data_type(nullptr)34
;
62
225
    }
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
59
15.4k
    static data_type MakeData(void *const *p) {
60
15.4k
      return p ? 
data_type((typename data_type::TreeTy *) *p)14.8k
61
15.4k
               : 
data_type(nullptr)551
;
62
15.4k
    }
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
59
382
    static data_type MakeData(void *const *p) {
60
382
      return p ? 
data_type((typename data_type::TreeTy *) *p)262
61
382
               : 
data_type(nullptr)120
;
62
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
59
418
    static data_type MakeData(void *const *p) {
60
418
      return p ? 
data_type((typename data_type::TreeTy *) *p)128
61
418
               : 
data_type(nullptr)290
;
62
418
    }
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
59
69.8k
    static data_type MakeData(void *const *p) {
60
69.8k
      return p ? 
data_type((typename data_type::TreeTy *) *p)57.8k
61
69.8k
               : 
data_type(nullptr)12.0k
;
62
69.8k
    }
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
59
162
    static data_type MakeData(void *const *p) {
60
162
      return p ? 
data_type((typename data_type::TreeTy *) *p)131
61
162
               : 
data_type(nullptr)31
;
62
162
    }
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
59
111
    static data_type MakeData(void *const *p) {
60
111
      return p ? 
data_type((typename data_type::TreeTy *) *p)35
61
111
               : 
data_type(nullptr)76
;
62
111
    }
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
59
166
    static data_type MakeData(void *const *p) {
60
166
      return p ? 
data_type((typename data_type::TreeTy *) *p)153
61
166
               : 
data_type(nullptr)13
;
62
166
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::RangeSet> > >::MakeData(void* const*)
Line
Count
Source
59
774k
    static data_type MakeData(void *const *p) {
60
774k
      return p ? 
data_type((typename data_type::TreeTy *) *p)683k
61
774k
               : 
data_type(nullptr)91.1k
;
62
774k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<ConstructedObjectKey, clang::ento::SVal> > >::MakeData(void* const*)
Line
Count
Source
59
355k
    static data_type MakeData(void *const *p) {
60
355k
      return p ? 
data_type((typename data_type::TreeTy *) *p)87.1k
61
355k
               : 
data_type(nullptr)267k
;
62
355k
    }
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
59
33
    static data_type MakeData(void *const *p) {
60
33
      return p ? 
data_type((typename data_type::TreeTy *) *p)6
61
33
               : 
data_type(nullptr)27
;
62
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
59
2.36k
    static data_type MakeData(void *const *p) {
60
2.36k
      return p ? 
data_type((typename data_type::TreeTy *) *p)222
61
2.36k
               : 
data_type(nullptr)2.13k
;
62
2.36k
    }
63
64
228k
    static void *MakeVoidPtr(data_type B) {
65
228k
      return B.getRoot();
66
228k
    }
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
64
449
    static void *MakeVoidPtr(data_type B) {
65
449
      return B.getRoot();
66
449
    }
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
64
1.04k
    static void *MakeVoidPtr(data_type B) {
65
1.04k
      return B.getRoot();
66
1.04k
    }
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
64
2.19k
    static void *MakeVoidPtr(data_type B) {
65
2.19k
      return B.getRoot();
66
2.19k
    }
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
64
314
    static void *MakeVoidPtr(data_type B) {
65
314
      return B.getRoot();
66
314
    }
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
64
5.22k
    static void *MakeVoidPtr(data_type B) {
65
5.22k
      return B.getRoot();
66
5.22k
    }
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
64
208
    static void *MakeVoidPtr(data_type B) {
65
208
      return B.getRoot();
66
208
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > >)
Line
Count
Source
64
65
    static void *MakeVoidPtr(data_type B) {
65
65
      return B.getRoot();
66
65
    }
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
64
84
    static void *MakeVoidPtr(data_type B) {
65
84
      return B.getRoot();
66
84
    }
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
64
559
    static void *MakeVoidPtr(data_type B) {
65
559
      return B.getRoot();
66
559
    }
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
64
40
    static void *MakeVoidPtr(data_type B) {
65
40
      return B.getRoot();
66
40
    }
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
64
136
    static void *MakeVoidPtr(data_type B) {
65
136
      return B.getRoot();
66
136
    }
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
64
194
    static void *MakeVoidPtr(data_type B) {
65
194
      return B.getRoot();
66
194
    }
MacOSKeychainAPIChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState> >)
Line
Count
Source
64
80
    static void *MakeVoidPtr(data_type B) {
65
80
      return B.getRoot();
66
80
    }
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
64
18.9k
    static void *MakeVoidPtr(data_type B) {
65
18.9k
      return B.getRoot();
66
18.9k
    }
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
64
132
    static void *MakeVoidPtr(data_type B) {
65
132
      return B.getRoot();
66
132
    }
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
64
1.17k
    static void *MakeVoidPtr(data_type B) {
65
1.17k
      return B.getRoot();
66
1.17k
    }
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
64
153
    static void *MakeVoidPtr(data_type B) {
65
153
      return B.getRoot();
66
153
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> >)
Line
Count
Source
64
506
    static void *MakeVoidPtr(data_type B) {
65
506
      return B.getRoot();
66
506
    }
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
64
126
    static void *MakeVoidPtr(data_type B) {
65
126
      return B.getRoot();
66
126
    }
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
64
210
    static void *MakeVoidPtr(data_type B) {
65
210
      return B.getRoot();
66
210
    }
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
64
5.46k
    static void *MakeVoidPtr(data_type B) {
65
5.46k
      return B.getRoot();
66
5.46k
    }
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
64
175
    static void *MakeVoidPtr(data_type B) {
65
175
      return B.getRoot();
66
175
    }
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
64
66
    static void *MakeVoidPtr(data_type B) {
65
66
      return B.getRoot();
66
66
    }
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
64
9.81k
    static void *MakeVoidPtr(data_type B) {
65
9.81k
      return B.getRoot();
66
9.81k
    }
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
64
95
    static void *MakeVoidPtr(data_type B) {
65
95
      return B.getRoot();
66
95
    }
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
64
26
    static void *MakeVoidPtr(data_type B) {
65
26
      return B.getRoot();
66
26
    }
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
64
134
    static void *MakeVoidPtr(data_type B) {
65
134
      return B.getRoot();
66
134
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<ConstructedObjectKey, clang::ento::SVal> > >::MakeVoidPtr(llvm::ImmutableMap<ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<ConstructedObjectKey, clang::ento::SVal> >)
Line
Count
Source
64
13.7k
    static void *MakeVoidPtr(data_type B) {
65
13.7k
      return B.getRoot();
66
13.7k
    }
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
64
18
    static void *MakeVoidPtr(data_type B) {
65
18
      return B.getRoot();
66
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
64
6
    static void *MakeVoidPtr(data_type B) {
65
6
      return B.getRoot();
66
6
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::RangeSet> > >::MakeVoidPtr(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::RangeSet> >)
Line
Count
Source
64
166k
    static void *MakeVoidPtr(data_type B) {
65
166k
      return B.getRoot();
66
166k
    }
67
68
635k
    static lookup_type Lookup(data_type B, key_type K) {
69
635k
      return B.lookup(K);
70
635k
    }
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
68
386
    static lookup_type Lookup(data_type B, key_type K) {
69
386
      return B.lookup(K);
70
386
    }
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
68
245
    static lookup_type Lookup(data_type B, key_type K) {
69
245
      return B.lookup(K);
70
245
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> > >::Lookup(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> >, clang::ento::MemRegion const*)
Line
Count
Source
68
921
    static lookup_type Lookup(data_type B, key_type K) {
69
921
      return B.lookup(K);
70
921
    }
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
68
432
    static lookup_type Lookup(data_type B, key_type K) {
69
432
      return B.lookup(K);
70
432
    }
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
68
10.1k
    static lookup_type Lookup(data_type B, key_type K) {
69
10.1k
      return B.lookup(K);
70
10.1k
    }
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
68
6.08k
    static lookup_type Lookup(data_type B, key_type K) {
69
6.08k
      return B.lookup(K);
70
6.08k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > > >::Lookup(llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > >, clang::ento::MemRegion const*)
Line
Count
Source
68
68
    static lookup_type Lookup(data_type B, key_type K) {
69
68
      return B.lookup(K);
70
68
    }
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
68
516
    static lookup_type Lookup(data_type B, key_type K) {
69
516
      return B.lookup(K);
70
516
    }
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
68
6
    static lookup_type Lookup(data_type B, key_type K) {
69
6
      return B.lookup(K);
70
6
    }
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
68
127
    static lookup_type Lookup(data_type B, key_type K) {
69
127
      return B.lookup(K);
70
127
    }
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
68
256
    static lookup_type Lookup(data_type B, key_type K) {
69
256
      return B.lookup(K);
70
256
    }
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
68
195
    static lookup_type Lookup(data_type B, key_type K) {
69
195
      return B.lookup(K);
70
195
    }
MacOSKeychainAPIChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState> > >::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState> >, clang::ento::SymExpr const*)
Line
Count
Source
68
1.66k
    static lookup_type Lookup(data_type B, key_type K) {
69
1.66k
      return B.lookup(K);
70
1.66k
    }
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
68
111k
    static lookup_type Lookup(data_type B, key_type K) {
69
111k
      return B.lookup(K);
70
111k
    }
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
68
4.42k
    static lookup_type Lookup(data_type B, key_type K) {
69
4.42k
      return B.lookup(K);
70
4.42k
    }
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
68
650
    static lookup_type Lookup(data_type B, key_type K) {
69
650
      return B.lookup(K);
70
650
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> > >::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> >, clang::ento::SymExpr const*)
Line
Count
Source
68
27.4k
    static lookup_type Lookup(data_type B, key_type K) {
69
27.4k
      return B.lookup(K);
70
27.4k
    }
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
68
3.91k
    static lookup_type Lookup(data_type B, key_type K) {
69
3.91k
      return B.lookup(K);
70
3.91k
    }
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
68
15
    static lookup_type Lookup(data_type B, key_type K) {
69
15
      return B.lookup(K);
70
15
    }
PointerArithChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind> > >::Lookup(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::AllocKind> >, clang::ento::MemRegion const*)
Line
Count
Source
68
9.93k
    static lookup_type Lookup(data_type B, key_type K) {
69
9.93k
      return B.lookup(K);
70
9.93k
    }
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
68
169
    static lookup_type Lookup(data_type B, key_type K) {
69
169
      return B.lookup(K);
70
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
68
207
    static lookup_type Lookup(data_type B, key_type K) {
69
207
      return B.lookup(K);
70
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
68
44.8k
    static lookup_type Lookup(data_type B, key_type K) {
69
44.8k
      return B.lookup(K);
70
44.8k
    }
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
68
5
    static lookup_type Lookup(data_type B, key_type K) {
69
5
      return B.lookup(K);
70
5
    }
StreamChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> > >::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::StreamState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::StreamState> >, clang::ento::SymExpr const*)
Line
Count
Source
68
85
    static lookup_type Lookup(data_type B, key_type K) {
69
85
      return B.lookup(K);
70
85
    }
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
68
32
    static lookup_type Lookup(data_type B, key_type K) {
69
32
      return B.lookup(K);
70
32
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<ConstructedObjectKey, clang::ento::SVal> > >::Lookup(llvm::ImmutableMap<ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<ConstructedObjectKey, clang::ento::SVal> >, ConstructedObjectKey)
Line
Count
Source
68
45.3k
    static lookup_type Lookup(data_type B, key_type K) {
69
45.3k
      return B.lookup(K);
70
45.3k
    }
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
68
15
    static lookup_type Lookup(data_type B, key_type K) {
69
15
      return B.lookup(K);
70
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
68
2.35k
    static lookup_type Lookup(data_type B, key_type K) {
69
2.35k
      return B.lookup(K);
70
2.35k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::RangeSet> > >::Lookup(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::RangeSet> >, clang::ento::SymExpr const*)
Line
Count
Source
68
364k
    static lookup_type Lookup(data_type B, key_type K) {
69
364k
      return B.lookup(K);
70
364k
    }
71
72
    static data_type Set(data_type B, key_type K, value_type E,
73
142k
                         context_type F) {
74
142k
      return F.add(B, K, E);
75
142k
    }
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
73
92
                         context_type F) {
74
92
      return F.add(B, K, E);
75
92
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> > >::Set(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> >, clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::SymExpr const*, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::SymExpr const*> >::Factory&)
Line
Count
Source
73
45
                         context_type F) {
74
45
      return F.add(B, K, E);
75
45
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> > >::Set(llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> >, clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImmutableMap<clang::ento::MemRegion const*, clang::ento::SVal, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, clang::ento::SVal> >::Factory&)
Line
Count
Source
73
737
                         context_type F) {
74
737
      return F.add(B, K, E);
75
737
    }
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
73
189
                         context_type F) {
74
189
      return F.add(B, K, E);
75
189
    }
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
73
106
                         context_type F) {
74
106
      return F.add(B, K, E);
75
106
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > > >::Set(llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > >, clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > >::Factory&)
Line
Count
Source
73
34
                         context_type F) {
74
34
      return F.add(B, K, E);
75
34
    }
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
73
13
                         context_type F) {
74
13
      return F.add(B, K, E);
75
13
    }
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
73
220
                         context_type F) {
74
220
      return F.add(B, K, E);
75
220
    }
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
73
10
                         context_type F) {
74
10
      return F.add(B, K, E);
75
10
    }
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
73
42
                         context_type F) {
74
42
      return F.add(B, K, E);
75
42
    }
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
73
194
                         context_type F) {
74
194
      return F.add(B, K, E);
75
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
73
27
                         context_type F) {
74
27
      return F.add(B, K, E);
75
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
73
2.49k
                         context_type F) {
74
2.49k
      return F.add(B, K, E);
75
2.49k
    }
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
73
52
                         context_type F) {
74
52
      return F.add(B, K, E);
75
52
    }
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
73
642
                         context_type F) {
74
642
      return F.add(B, K, E);
75
642
    }
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
73
97
                         context_type F) {
74
97
      return F.add(B, K, E);
75
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
73
506
                         context_type F) {
74
506
      return F.add(B, K, E);
75
506
    }
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
73
50
                         context_type F) {
74
50
      return F.add(B, K, E);
75
50
    }
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
73
19
                         context_type F) {
74
19
      return F.add(B, K, E);
75
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
73
5.46k
                         context_type F) {
74
5.46k
      return F.add(B, K, E);
75
5.46k
    }
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
73
171
                         context_type F) {
74
171
      return F.add(B, K, E);
75
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
73
28
                         context_type F) {
74
28
      return F.add(B, K, E);
75
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
73
3.38k
                         context_type F) {
74
3.38k
      return F.add(B, K, E);
75
3.38k
    }
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
73
16
                         context_type F) {
74
16
      return F.add(B, K, E);
75
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
73
26
                         context_type F) {
74
26
      return F.add(B, K, E);
75
26
    }
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
73
66
                         context_type F) {
74
66
      return F.add(B, K, E);
75
66
    }
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
73
3.17k
                         context_type F) {
74
3.17k
      return F.add(B, K, E);
75
3.17k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<ConstructedObjectKey, clang::ento::SVal> > >::Set(llvm::ImmutableMap<ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<ConstructedObjectKey, clang::ento::SVal> >, ConstructedObjectKey, clang::ento::SVal, llvm::ImmutableMap<ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<ConstructedObjectKey, clang::ento::SVal> >::Factory&)
Line
Count
Source
73
6.84k
                         context_type F) {
74
6.84k
      return F.add(B, K, E);
75
6.84k
    }
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
73
18
                         context_type F) {
74
18
      return F.add(B, K, E);
75
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> > > > >::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
73
6
                         context_type F) {
74
6
      return F.add(B, K, E);
75
6
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::RangeSet> > >::Set(llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::RangeSet> >, clang::ento::SymExpr const*, clang::ento::RangeSet, llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::RangeSet> >::Factory&)
Line
Count
Source
73
117k
                         context_type F) {
74
117k
      return F.add(B, K, E);
75
117k
    }
76
77
18.6k
    static data_type Remove(data_type B, key_type K, context_type F) {
78
18.6k
      return F.remove(B, K);
79
18.6k
    }
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
77
357
    static data_type Remove(data_type B, key_type K, context_type F) {
78
357
      return F.remove(B, K);
79
357
    }
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
77
1.00k
    static data_type Remove(data_type B, key_type K, context_type F) {
78
1.00k
      return F.remove(B, K);
79
1.00k
    }
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
77
20
    static data_type Remove(data_type B, key_type K, context_type F) {
78
20
      return F.remove(B, K);
79
20
    }
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
77
125
    static data_type Remove(data_type B, key_type K, context_type F) {
78
125
      return F.remove(B, K);
79
125
    }
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
77
2.05k
    static data_type Remove(data_type B, key_type K, context_type F) {
78
2.05k
      return F.remove(B, K);
79
2.05k
    }
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
77
102
    static data_type Remove(data_type B, key_type K, context_type F) {
78
102
      return F.remove(B, K);
79
102
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > > >::Remove(llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > >, clang::ento::MemRegion const*, llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > >::Factory&)
Line
Count
Source
77
31
    static data_type Remove(data_type B, key_type K, context_type F) {
78
31
      return F.remove(B, K);
79
31
    }
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
77
339
    static data_type Remove(data_type B, key_type K, context_type F) {
78
339
      return F.remove(B, K);
79
339
    }
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
77
30
    static data_type Remove(data_type B, key_type K, context_type F) {
78
30
      return F.remove(B, K);
79
30
    }
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
77
94
    static data_type Remove(data_type B, key_type K, context_type F) {
78
94
      return F.remove(B, K);
79
94
    }
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
77
71
    static data_type Remove(data_type B, key_type K, context_type F) {
78
71
      return F.remove(B, K);
79
71
    }
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
77
53
    static data_type Remove(data_type B, key_type K, context_type F) {
78
53
      return F.remove(B, K);
79
53
    }
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
77
80
    static data_type Remove(data_type B, key_type K, context_type F) {
78
80
      return F.remove(B, K);
79
80
    }
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
77
1.04k
    static data_type Remove(data_type B, key_type K, context_type F) {
78
1.04k
      return F.remove(B, K);
79
1.04k
    }
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
77
536
    static data_type Remove(data_type B, key_type K, context_type F) {
78
536
      return F.remove(B, K);
79
536
    }
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
77
56
    static data_type Remove(data_type B, key_type K, context_type F) {
78
56
      return F.remove(B, K);
79
56
    }
NullabilityChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> > >::Remove(llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> >, clang::ento::MemRegion const*, llvm::ImmutableMap<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, (anonymous namespace)::NullabilityState> >::Factory&)
Line
Count
Source
77
76
    static data_type Remove(data_type B, key_type K, context_type F) {
78
76
      return F.remove(B, K);
79
76
    }
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
77
191
    static data_type Remove(data_type B, key_type K, context_type F) {
78
191
      return F.remove(B, K);
79
191
    }
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&)
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
77
4
    static data_type Remove(data_type B, key_type K, context_type F) {
78
4
      return F.remove(B, K);
79
4
    }
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
77
38
    static data_type Remove(data_type B, key_type K, context_type F) {
78
38
      return F.remove(B, K);
79
38
    }
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
77
5.31k
    static data_type Remove(data_type B, key_type K, context_type F) {
78
5.31k
      return F.remove(B, K);
79
5.31k
    }
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
77
79
    static data_type Remove(data_type B, key_type K, context_type F) {
78
79
      return F.remove(B, K);
79
79
    }
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
77
68
    static data_type Remove(data_type B, key_type K, context_type F) {
78
68
      return F.remove(B, K);
79
68
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<ConstructedObjectKey, clang::ento::SVal> > >::Remove(llvm::ImmutableMap<ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<ConstructedObjectKey, clang::ento::SVal> >, ConstructedObjectKey, llvm::ImmutableMap<ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<ConstructedObjectKey, clang::ento::SVal> >::Factory&)
Line
Count
Source
77
6.93k
    static data_type Remove(data_type B, key_type K, context_type F) {
78
6.93k
      return F.remove(B, K);
79
6.93k
    }
80
81
12
    static bool Contains(data_type B, key_type K) {
82
12
      return B.contains(K);
83
12
    }
84
85
476k
    static context_type MakeContext(void *p) {
86
476k
      return *((typename data_type::Factory *) p);
87
476k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> > >::MakeContext(void*)
Line
Count
Source
85
449
    static context_type MakeContext(void *p) {
86
449
      return *((typename data_type::Factory *) p);
87
449
    }
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
85
1.04k
    static context_type MakeContext(void *p) {
86
1.04k
      return *((typename data_type::Factory *) p);
87
1.04k
    }
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
85
2.19k
    static context_type MakeContext(void *p) {
86
2.19k
      return *((typename data_type::Factory *) p);
87
2.19k
    }
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
85
314
    static context_type MakeContext(void *p) {
86
314
      return *((typename data_type::Factory *) p);
87
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
85
5.22k
    static context_type MakeContext(void *p) {
86
5.22k
      return *((typename data_type::Factory *) p);
87
5.22k
    }
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
85
208
    static context_type MakeContext(void *p) {
86
208
      return *((typename data_type::Factory *) p);
87
208
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > > >::MakeContext(void*)
Line
Count
Source
85
65
    static context_type MakeContext(void *p) {
86
65
      return *((typename data_type::Factory *) p);
87
65
    }
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
85
84
    static context_type MakeContext(void *p) {
86
84
      return *((typename data_type::Factory *) p);
87
84
    }
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
85
559
    static context_type MakeContext(void *p) {
86
559
      return *((typename data_type::Factory *) p);
87
559
    }
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
85
40
    static context_type MakeContext(void *p) {
86
40
      return *((typename data_type::Factory *) p);
87
40
    }
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
85
136
    static context_type MakeContext(void *p) {
86
136
      return *((typename data_type::Factory *) p);
87
136
    }
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
85
194
    static context_type MakeContext(void *p) {
86
194
      return *((typename data_type::Factory *) p);
87
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
85
80
    static context_type MakeContext(void *p) {
86
80
      return *((typename data_type::Factory *) p);
87
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
85
18.9k
    static context_type MakeContext(void *p) {
86
18.9k
      return *((typename data_type::Factory *) p);
87
18.9k
    }
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
85
132
    static context_type MakeContext(void *p) {
86
132
      return *((typename data_type::Factory *) p);
87
132
    }
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
85
1.17k
    static context_type MakeContext(void *p) {
86
1.17k
      return *((typename data_type::Factory *) p);
87
1.17k
    }
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
85
153
    static context_type MakeContext(void *p) {
86
153
      return *((typename data_type::Factory *) p);
87
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
85
506
    static context_type MakeContext(void *p) {
86
506
      return *((typename data_type::Factory *) p);
87
506
    }
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
85
126
    static context_type MakeContext(void *p) {
86
126
      return *((typename data_type::Factory *) p);
87
126
    }
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
85
210
    static context_type MakeContext(void *p) {
86
210
      return *((typename data_type::Factory *) p);
87
210
    }
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
85
5.46k
    static context_type MakeContext(void *p) {
86
5.46k
      return *((typename data_type::Factory *) p);
87
5.46k
    }
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
85
175
    static context_type MakeContext(void *p) {
86
175
      return *((typename data_type::Factory *) p);
87
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
85
66
    static context_type MakeContext(void *p) {
86
66
      return *((typename data_type::Factory *) p);
87
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
85
14.4k
    static context_type MakeContext(void *p) {
86
14.4k
      return *((typename data_type::Factory *) p);
87
14.4k
    }
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
85
95
    static context_type MakeContext(void *p) {
86
95
      return *((typename data_type::Factory *) p);
87
95
    }
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
85
26
    static context_type MakeContext(void *p) {
86
26
      return *((typename data_type::Factory *) p);
87
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
85
134
    static context_type MakeContext(void *p) {
86
134
      return *((typename data_type::Factory *) p);
87
134
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::RangeSet> > >::MakeContext(void*)
Line
Count
Source
85
410k
    static context_type MakeContext(void *p) {
86
410k
      return *((typename data_type::Factory *) p);
87
410k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<ConstructedObjectKey, clang::ento::SVal> > >::MakeContext(void*)
Line
Count
Source
85
13.7k
    static context_type MakeContext(void *p) {
86
13.7k
      return *((typename data_type::Factory *) p);
87
13.7k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, unsigned int> > >::MakeContext(void*)
Line
Count
Source
85
18
    static context_type MakeContext(void *p) {
86
18
      return *((typename data_type::Factory *) p);
87
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> > > > >::MakeContext(void*)
Line
Count
Source
85
6
    static context_type MakeContext(void *p) {
86
6
      return *((typename data_type::Factory *) p);
87
6
    }
88
89
16.9k
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
90
16.9k
      return new typename data_type::Factory(Alloc);
91
16.9k
    }
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
89
57
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
90
57
      return new typename data_type::Factory(Alloc);
91
57
    }
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
89
552
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
90
552
      return new typename data_type::Factory(Alloc);
91
552
    }
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
89
399
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
90
399
      return new typename data_type::Factory(Alloc);
91
399
    }
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
89
65
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
90
65
      return new typename data_type::Factory(Alloc);
91
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
89
1.14k
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
90
1.14k
      return new typename data_type::Factory(Alloc);
91
1.14k
    }
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
89
78
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
90
78
      return new typename data_type::Factory(Alloc);
91
78
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
89
21
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
90
21
      return new typename data_type::Factory(Alloc);
91
21
    }
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
89
9
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
90
9
      return new typename data_type::Factory(Alloc);
91
9
    }
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
89
32
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
90
32
      return new typename data_type::Factory(Alloc);
91
32
    }
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
89
8
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
90
8
      return new typename data_type::Factory(Alloc);
91
8
    }
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
89
32
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
90
32
      return new typename data_type::Factory(Alloc);
91
32
    }
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
89
35
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
90
35
      return new typename data_type::Factory(Alloc);
91
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
89
23
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
90
23
      return new typename data_type::Factory(Alloc);
91
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
89
1.95k
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
90
1.95k
      return new typename data_type::Factory(Alloc);
91
1.95k
    }
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
89
31
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
90
31
      return new typename data_type::Factory(Alloc);
91
31
    }
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
89
56
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
90
56
      return new typename data_type::Factory(Alloc);
91
56
    }
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
89
34
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
90
34
      return new typename data_type::Factory(Alloc);
91
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
89
130
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
90
130
      return new typename data_type::Factory(Alloc);
91
130
    }
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
89
28
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
90
28
      return new typename data_type::Factory(Alloc);
91
28
    }
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
89
29
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
90
29
      return new typename data_type::Factory(Alloc);
91
29
    }
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
89
325
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
90
325
      return new typename data_type::Factory(Alloc);
91
325
    }
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
89
59
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
90
59
      return new typename data_type::Factory(Alloc);
91
59
    }
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
89
22
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
90
22
      return new typename data_type::Factory(Alloc);
91
22
    }
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
89
835
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
90
835
      return new typename data_type::Factory(Alloc);
91
835
    }
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
89
21
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
90
21
      return new typename data_type::Factory(Alloc);
91
21
    }
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
89
9
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
90
9
      return new typename data_type::Factory(Alloc);
91
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
89
13
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
90
13
      return new typename data_type::Factory(Alloc);
91
13
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::RangeSet> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
89
9.28k
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
90
9.28k
      return new typename data_type::Factory(Alloc);
91
9.28k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<ConstructedObjectKey, clang::ento::SVal> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
89
1.70k
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
90
1.70k
      return new typename data_type::Factory(Alloc);
91
1.70k
    }
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
89
9
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
90
9
      return new typename data_type::Factory(Alloc);
91
9
    }
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
89
4
    static void *CreateContext(llvm::BumpPtrAllocator& Alloc) {
90
4
      return new typename data_type::Factory(Alloc);
91
4
    }
92
93
16.9k
    static void DeleteContext(void *Ctx) {
94
16.9k
      delete (typename data_type::Factory *) Ctx;
95
16.9k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, bool, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, bool> > >::DeleteContext(void*)
Line
Count
Source
93
57
    static void DeleteContext(void *Ctx) {
94
57
      delete (typename data_type::Factory *) Ctx;
95
57
    }
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
93
552
    static void DeleteContext(void *Ctx) {
94
552
      delete (typename data_type::Factory *) Ctx;
95
552
    }
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
93
399
    static void DeleteContext(void *Ctx) {
94
399
      delete (typename data_type::Factory *) Ctx;
95
399
    }
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
93
65
    static void DeleteContext(void *Ctx) {
94
65
      delete (typename data_type::Factory *) Ctx;
95
65
    }
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
93
1.14k
    static void DeleteContext(void *Ctx) {
94
1.14k
      delete (typename data_type::Factory *) Ctx;
95
1.14k
    }
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
93
78
    static void DeleteContext(void *Ctx) {
94
78
      delete (typename data_type::Factory *) Ctx;
95
78
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> >, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > > > >::DeleteContext(void*)
Line
Count
Source
93
21
    static void DeleteContext(void *Ctx) {
94
21
      delete (typename data_type::Factory *) Ctx;
95
21
    }
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
93
9
    static void DeleteContext(void *Ctx) {
94
9
      delete (typename data_type::Factory *) Ctx;
95
9
    }
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
93
32
    static void DeleteContext(void *Ctx) {
94
32
      delete (typename data_type::Factory *) Ctx;
95
32
    }
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
93
8
    static void DeleteContext(void *Ctx) {
94
8
      delete (typename data_type::Factory *) Ctx;
95
8
    }
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
93
32
    static void DeleteContext(void *Ctx) {
94
32
      delete (typename data_type::Factory *) Ctx;
95
32
    }
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
93
35
    static void DeleteContext(void *Ctx) {
94
35
      delete (typename data_type::Factory *) Ctx;
95
35
    }
MacOSKeychainAPIChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, (anonymous namespace)::MacOSKeychainAPIChecker::AllocationState> > >::DeleteContext(void*)
Line
Count
Source
93
23
    static void DeleteContext(void *Ctx) {
94
23
      delete (typename data_type::Factory *) Ctx;
95
23
    }
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
93
1.95k
    static void DeleteContext(void *Ctx) {
94
1.95k
      delete (typename data_type::Factory *) Ctx;
95
1.95k
    }
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
93
31
    static void DeleteContext(void *Ctx) {
94
31
      delete (typename data_type::Factory *) Ctx;
95
31
    }
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
93
56
    static void DeleteContext(void *Ctx) {
94
56
      delete (typename data_type::Factory *) Ctx;
95
56
    }
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
93
34
    static void DeleteContext(void *Ctx) {
94
34
      delete (typename data_type::Factory *) Ctx;
95
34
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, unsigned int> > >::DeleteContext(void*)
Line
Count
Source
93
130
    static void DeleteContext(void *Ctx) {
94
130
      delete (typename data_type::Factory *) Ctx;
95
130
    }
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
93
28
    static void DeleteContext(void *Ctx) {
94
28
      delete (typename data_type::Factory *) Ctx;
95
28
    }
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
93
29
    static void DeleteContext(void *Ctx) {
94
29
      delete (typename data_type::Factory *) Ctx;
95
29
    }
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
93
325
    static void DeleteContext(void *Ctx) {
94
325
      delete (typename data_type::Factory *) Ctx;
95
325
    }
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
93
59
    static void DeleteContext(void *Ctx) {
94
59
      delete (typename data_type::Factory *) Ctx;
95
59
    }
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
93
22
    static void DeleteContext(void *Ctx) {
94
22
      delete (typename data_type::Factory *) Ctx;
95
22
    }
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
93
835
    static void DeleteContext(void *Ctx) {
94
835
      delete (typename data_type::Factory *) Ctx;
95
835
    }
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
93
21
    static void DeleteContext(void *Ctx) {
94
21
      delete (typename data_type::Factory *) Ctx;
95
21
    }
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
93
9
    static void DeleteContext(void *Ctx) {
94
9
      delete (typename data_type::Factory *) Ctx;
95
9
    }
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
93
13
    static void DeleteContext(void *Ctx) {
94
13
      delete (typename data_type::Factory *) Ctx;
95
13
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::RangeSet> > >::DeleteContext(void*)
Line
Count
Source
93
9.28k
    static void DeleteContext(void *Ctx) {
94
9.28k
      delete (typename data_type::Factory *) Ctx;
95
9.28k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<ConstructedObjectKey, clang::ento::SVal, llvm::ImutKeyValueInfo<ConstructedObjectKey, clang::ento::SVal> > >::DeleteContext(void*)
Line
Count
Source
93
1.70k
    static void DeleteContext(void *Ctx) {
94
1.70k
      delete (typename data_type::Factory *) Ctx;
95
1.70k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableMap<clang::ento::MemRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::MemRegion const*, unsigned int> > >::DeleteContext(void*)
Line
Count
Source
93
9
    static void DeleteContext(void *Ctx) {
94
9
      delete (typename data_type::Factory *) Ctx;
95
9
    }
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
93
4
    static void DeleteContext(void *Ctx) {
94
4
      delete (typename data_type::Factory *) Ctx;
95
4
    }
96
  };
97
98
  /// Helper for registering a map trait.
99
  ///
100
  /// If the map type were written directly in the invocation of
101
  /// REGISTER_TRAIT_WITH_PROGRAMSTATE, the comma in the template arguments
102
  /// would be treated as a macro argument separator, which is wrong.
103
  /// This allows the user to specify a map type in a way that the preprocessor
104
  /// can deal with.
105
  #define CLANG_ENTO_PROGRAMSTATE_MAP(Key, Value) llvm::ImmutableMap<Key, Value>
106
107
  // Partial-specialization for ImmutableSet.
108
  template <typename Key, typename Info>
109
  struct ProgramStatePartialTrait<llvm::ImmutableSet<Key, Info>> {
110
    using data_type = llvm::ImmutableSet<Key, Info>;
111
    using context_type = typename data_type::Factory &;
112
    using key_type = Key;
113
114
30.1k
    static data_type MakeData(void *const *p) {
115
30.1k
      return p ? 
data_type((typename data_type::TreeTy *) *p)3.76k
116
30.1k
               : 
data_type(nullptr)26.3k
;
117
30.1k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > >::MakeData(void* const*)
Line
Count
Source
114
20.4k
    static data_type MakeData(void *const *p) {
115
20.4k
      return p ? 
data_type((typename data_type::TreeTy *) *p)264
116
20.4k
               : 
data_type(nullptr)20.2k
;
117
20.4k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> > >::MakeData(void* const*)
Line
Count
Source
114
828
    static data_type MakeData(void *const *p) {
115
828
      return p ? 
data_type((typename data_type::TreeTy *) *p)95
116
828
               : 
data_type(nullptr)733
;
117
828
    }
TestAfterDivZeroChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<(anonymous namespace)::ZeroState, llvm::ImutContainerInfo<(anonymous namespace)::ZeroState> > >::MakeData(void* const*)
Line
Count
Source
114
1.84k
    static data_type MakeData(void *const *p) {
115
1.84k
      return p ? 
data_type((typename data_type::TreeTy *) *p)112
116
1.84k
               : 
data_type(nullptr)1.73k
;
117
1.84k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> > >::MakeData(void* const*)
Line
Count
Source
114
4.92k
    static data_type MakeData(void *const *p) {
115
4.92k
      return p ? 
data_type((typename data_type::TreeTy *) *p)2.31k
116
4.92k
               : 
data_type(nullptr)2.61k
;
117
4.92k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::LocationContext const*>, llvm::ImutContainerInfo<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::LocationContext const*> > > >::MakeData(void* const*)
Line
Count
Source
114
1.67k
    static data_type MakeData(void *const *p) {
115
1.67k
      return p ? 
data_type((typename data_type::TreeTy *) *p)938
116
1.67k
               : 
data_type(nullptr)740
;
117
1.67k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> > >::MakeData(void* const*)
Line
Count
Source
114
375
    static data_type MakeData(void *const *p) {
115
375
      return p ? 
data_type((typename data_type::TreeTy *) *p)41
116
375
               : 
data_type(nullptr)334
;
117
375
    }
118
119
1.23k
    static void *MakeVoidPtr(data_type B) {
120
1.23k
      return B.getRoot();
121
1.23k
    }
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
119
64
    static void *MakeVoidPtr(data_type B) {
120
64
      return B.getRoot();
121
64
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> > >::MakeVoidPtr(llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> >)
Line
Count
Source
119
95
    static void *MakeVoidPtr(data_type B) {
120
95
      return B.getRoot();
121
95
    }
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
119
110
    static void *MakeVoidPtr(data_type B) {
120
110
      return B.getRoot();
121
110
    }
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
119
169
    static void *MakeVoidPtr(data_type B) {
120
169
      return B.getRoot();
121
169
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::LocationContext const*>, llvm::ImutContainerInfo<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::LocationContext const*> > > >::MakeVoidPtr(llvm::ImmutableSet<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::LocationContext const*>, llvm::ImutContainerInfo<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::LocationContext const*> > >)
Line
Count
Source
119
612
    static void *MakeVoidPtr(data_type B) {
120
612
      return B.getRoot();
121
612
    }
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
119
185
    static void *MakeVoidPtr(data_type B) {
120
185
      return B.getRoot();
121
185
    }
122
123
720
    static data_type Add(data_type B, key_type K, context_type F) {
124
720
      return F.add(B, K);
125
720
    }
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
123
57
    static data_type Add(data_type B, key_type K, context_type F) {
124
57
      return F.add(B, K);
125
57
    }
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
123
95
    static data_type Add(data_type B, key_type K, context_type F) {
124
95
      return F.add(B, K);
125
95
    }
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
123
66
    static data_type Add(data_type B, key_type K, context_type F) {
124
66
      return F.add(B, K);
125
66
    }
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
123
85
    static data_type Add(data_type B, key_type K, context_type F) {
124
85
      return F.add(B, K);
125
85
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::LocationContext const*>, llvm::ImutContainerInfo<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::LocationContext const*> > > >::Add(llvm::ImmutableSet<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::LocationContext const*>, llvm::ImutContainerInfo<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::LocationContext const*> > >, std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::LocationContext const*>, llvm::ImmutableSet<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::LocationContext const*>, llvm::ImutContainerInfo<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::LocationContext const*> > >::Factory&)
Line
Count
Source
123
232
    static data_type Add(data_type B, key_type K, context_type F) {
124
232
      return F.add(B, K);
125
232
    }
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
123
185
    static data_type Add(data_type B, key_type K, context_type F) {
124
185
      return F.add(B, K);
125
185
    }
126
127
471
    static data_type Remove(data_type B, key_type K, context_type F) {
128
471
      return F.remove(B, K);
129
471
    }
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
127
7
    static data_type Remove(data_type B, key_type K, context_type F) {
128
7
      return F.remove(B, K);
129
7
    }
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
127
84
    static data_type Remove(data_type B, key_type K, context_type F) {
128
84
      return F.remove(B, K);
129
84
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::LocationContext const*>, llvm::ImutContainerInfo<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::LocationContext const*> > > >::Remove(llvm::ImmutableSet<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::LocationContext const*>, llvm::ImutContainerInfo<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::LocationContext const*> > >, std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::LocationContext const*>, llvm::ImmutableSet<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::LocationContext const*>, llvm::ImutContainerInfo<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::LocationContext const*> > >::Factory&)
Line
Count
Source
127
380
    static data_type Remove(data_type B, key_type K, context_type F) {
128
380
      return F.remove(B, K);
129
380
    }
130
131
18.9k
    static bool Contains(data_type B, key_type K) {
132
18.9k
      return B.contains(K);
133
18.9k
    }
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
131
13.2k
    static bool Contains(data_type B, key_type K) {
132
13.2k
      return B.contains(K);
133
13.2k
    }
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
131
339
    static bool Contains(data_type B, key_type K) {
132
339
      return B.contains(K);
133
339
    }
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
131
4.61k
    static bool Contains(data_type B, key_type K) {
132
4.61k
      return B.contains(K);
133
4.61k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::LocationContext const*>, llvm::ImutContainerInfo<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::LocationContext const*> > > >::Contains(llvm::ImmutableSet<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::LocationContext const*>, llvm::ImutContainerInfo<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::LocationContext const*> > >, std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::LocationContext const*>)
Line
Count
Source
131
534
    static bool Contains(data_type B, key_type K) {
132
534
      return B.contains(K);
133
534
    }
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
131
190
    static bool Contains(data_type B, key_type K) {
132
190
      return B.contains(K);
133
190
    }
134
135
1.60k
    static context_type MakeContext(void *p) {
136
1.60k
      return *((typename data_type::Factory *) p);
137
1.60k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > >::MakeContext(void*)
Line
Count
Source
135
438
    static context_type MakeContext(void *p) {
136
438
      return *((typename data_type::Factory *) p);
137
438
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> > >::MakeContext(void*)
Line
Count
Source
135
95
    static context_type MakeContext(void *p) {
136
95
      return *((typename data_type::Factory *) p);
137
95
    }
TestAfterDivZeroChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<(anonymous namespace)::ZeroState, llvm::ImutContainerInfo<(anonymous namespace)::ZeroState> > >::MakeContext(void*)
Line
Count
Source
135
110
    static context_type MakeContext(void *p) {
136
110
      return *((typename data_type::Factory *) p);
137
110
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> > >::MakeContext(void*)
Line
Count
Source
135
169
    static context_type MakeContext(void *p) {
136
169
      return *((typename data_type::Factory *) p);
137
169
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::LocationContext const*>, llvm::ImutContainerInfo<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::LocationContext const*> > > >::MakeContext(void*)
Line
Count
Source
135
612
    static context_type MakeContext(void *p) {
136
612
      return *((typename data_type::Factory *) p);
137
612
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> > >::MakeContext(void*)
Line
Count
Source
135
185
    static context_type MakeContext(void *p) {
136
185
      return *((typename data_type::Factory *) p);
137
185
    }
138
139
629
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
140
629
      return new typename data_type::Factory(Alloc);
141
629
    }
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
139
160
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
140
160
      return new typename data_type::Factory(Alloc);
141
160
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
139
29
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
140
29
      return new typename data_type::Factory(Alloc);
141
29
    }
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
139
61
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
140
61
      return new typename data_type::Factory(Alloc);
141
61
    }
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
139
69
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
140
69
      return new typename data_type::Factory(Alloc);
141
69
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::LocationContext const*>, llvm::ImutContainerInfo<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::LocationContext const*> > > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
139
145
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
140
145
      return new typename data_type::Factory(Alloc);
141
145
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> > >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
139
165
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
140
165
      return new typename data_type::Factory(Alloc);
141
165
    }
142
143
629
    static void DeleteContext(void *Ctx) {
144
629
      delete (typename data_type::Factory *) Ctx;
145
629
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > >::DeleteContext(void*)
Line
Count
Source
143
160
    static void DeleteContext(void *Ctx) {
144
160
      delete (typename data_type::Factory *) Ctx;
145
160
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<unsigned int, llvm::ImutContainerInfo<unsigned int> > >::DeleteContext(void*)
Line
Count
Source
143
29
    static void DeleteContext(void *Ctx) {
144
29
      delete (typename data_type::Factory *) Ctx;
145
29
    }
TestAfterDivZeroChecker.cpp:clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<(anonymous namespace)::ZeroState, llvm::ImutContainerInfo<(anonymous namespace)::ZeroState> > >::DeleteContext(void*)
Line
Count
Source
143
61
    static void DeleteContext(void *Ctx) {
144
61
      delete (typename data_type::Factory *) Ctx;
145
61
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::ento::MemRegion const*, llvm::ImutContainerInfo<clang::ento::MemRegion const*> > >::DeleteContext(void*)
Line
Count
Source
143
69
    static void DeleteContext(void *Ctx) {
144
69
      delete (typename data_type::Factory *) Ctx;
145
69
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::LocationContext const*>, llvm::ImutContainerInfo<std::__1::pair<clang::CXXBindTemporaryExpr const*, clang::LocationContext const*> > > >::DeleteContext(void*)
Line
Count
Source
143
145
    static void DeleteContext(void *Ctx) {
144
145
      delete (typename data_type::Factory *) Ctx;
145
145
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableSet<clang::VarDecl const*, llvm::ImutContainerInfo<clang::VarDecl const*> > >::DeleteContext(void*)
Line
Count
Source
143
165
    static void DeleteContext(void *Ctx) {
144
165
      delete (typename data_type::Factory *) Ctx;
145
165
    }
146
  };
147
148
  // Partial-specialization for ImmutableList.
149
  template <typename T>
150
  struct ProgramStatePartialTrait<llvm::ImmutableList<T>> {
151
    using data_type = llvm::ImmutableList<T>;
152
    using key_type = T;
153
    using context_type = typename data_type::Factory &;
154
155
241
    static data_type Add(data_type L, key_type K, context_type F) {
156
241
      return F.add(K, L);
157
241
    }
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
155
53
    static data_type Add(data_type L, key_type K, context_type F) {
156
53
      return F.add(K, L);
157
53
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<LoopState> >::Add(llvm::ImmutableList<LoopState>, LoopState, llvm::ImmutableListFactory<LoopState>&)
Line
Count
Source
155
188
    static data_type Add(data_type L, key_type K, context_type F) {
156
188
      return F.add(K, L);
157
188
    }
158
159
    static bool Contains(data_type L, key_type K) {
160
      return L.contains(K);
161
    }
162
163
7.87k
    static data_type MakeData(void *const *p) {
164
7.87k
      return p ? 
data_type((const llvm::ImmutableListImpl<T> *) *p)7.56k
165
7.87k
               : 
data_type(nullptr)313
;
166
7.87k
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<clang::ento::MemRegion const*> >::MakeData(void* const*)
Line
Count
Source
163
99
    static data_type MakeData(void *const *p) {
164
99
      return p ? 
data_type((const llvm::ImmutableListImpl<T> *) *p)48
165
99
               : 
data_type(nullptr)51
;
166
99
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<LoopState> >::MakeData(void* const*)
Line
Count
Source
163
7.77k
    static data_type MakeData(void *const *p) {
164
7.77k
      return p ? 
data_type((const llvm::ImmutableListImpl<T> *) *p)7.51k
165
7.77k
               : 
data_type(nullptr)262
;
166
7.77k
    }
167
168
435
    static void *MakeVoidPtr(data_type D) {
169
435
      return const_cast<llvm::ImmutableListImpl<T> *>(D.getInternalPointer());
170
435
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<clang::ento::MemRegion const*> >::MakeVoidPtr(llvm::ImmutableList<clang::ento::MemRegion const*>)
Line
Count
Source
168
82
    static void *MakeVoidPtr(data_type D) {
169
82
      return const_cast<llvm::ImmutableListImpl<T> *>(D.getInternalPointer());
170
82
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<LoopState> >::MakeVoidPtr(llvm::ImmutableList<LoopState>)
Line
Count
Source
168
353
    static void *MakeVoidPtr(data_type D) {
169
353
      return const_cast<llvm::ImmutableListImpl<T> *>(D.getInternalPointer());
170
353
    }
171
172
241
    static context_type MakeContext(void *p) {
173
241
      return *((typename data_type::Factory *) p);
174
241
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<clang::ento::MemRegion const*> >::MakeContext(void*)
Line
Count
Source
172
53
    static context_type MakeContext(void *p) {
173
53
      return *((typename data_type::Factory *) p);
174
53
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<LoopState> >::MakeContext(void*)
Line
Count
Source
172
188
    static context_type MakeContext(void *p) {
173
188
      return *((typename data_type::Factory *) p);
174
188
    }
175
176
123
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
177
123
      return new typename data_type::Factory(Alloc);
178
123
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<clang::ento::MemRegion const*> >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
176
37
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
177
37
      return new typename data_type::Factory(Alloc);
178
37
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<LoopState> >::CreateContext(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&)
Line
Count
Source
176
86
    static void *CreateContext(llvm::BumpPtrAllocator &Alloc) {
177
86
      return new typename data_type::Factory(Alloc);
178
86
    }
179
180
123
    static void DeleteContext(void *Ctx) {
181
123
      delete (typename data_type::Factory *) Ctx;
182
123
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<clang::ento::MemRegion const*> >::DeleteContext(void*)
Line
Count
Source
180
37
    static void DeleteContext(void *Ctx) {
181
37
      delete (typename data_type::Factory *) Ctx;
182
37
    }
clang::ento::ProgramStatePartialTrait<llvm::ImmutableList<LoopState> >::DeleteContext(void*)
Line
Count
Source
180
86
    static void DeleteContext(void *Ctx) {
181
86
      delete (typename data_type::Factory *) Ctx;
182
86
    }
183
  };
184
185
  // Partial specialization for bool.
186
  template <> struct ProgramStatePartialTrait<bool> {
187
    using data_type = bool;
188
189
1.70k
    static data_type MakeData(void *const *p) {
190
1.70k
      return p ? 
(data_type) (uintptr_t) *p331
191
1.70k
               : 
data_type()1.37k
;
192
1.70k
    }
193
194
179
    static void *MakeVoidPtr(data_type d) {
195
179
      return (void *) (uintptr_t) d;
196
179
    }
197
  };
198
199
  // Partial specialization for unsigned.
200
  template <> struct ProgramStatePartialTrait<unsigned> {
201
    using data_type = unsigned;
202
203
197
    static data_type MakeData(void *const *p) {
204
197
      return p ? 
(data_type) (uintptr_t) *p83
205
197
               : 
data_type()114
;
206
197
    }
207
208
49
    static void *MakeVoidPtr(data_type d) {
209
49
      return (void *) (uintptr_t) d;
210
49
    }
211
  };
212
213
  // Partial specialization for void*.
214
  template <> struct ProgramStatePartialTrait<void *> {
215
    using data_type = void *;
216
217
    static data_type MakeData(void *const *p) {
218
      return p ? *p
219
               : data_type();
220
    }
221
222
    static void *MakeVoidPtr(data_type d) {
223
      return d;
224
    }
225
  };
226
227
  // Partial specialization for const void *.
228
  template <> struct ProgramStatePartialTrait<const void *> {
229
    using data_type = const void *;
230
231
42.1k
    static data_type MakeData(void *const *p) {
232
42.1k
      return p ? 
*p90
:
data_type()42.0k
;
233
42.1k
    }
234
235
44
    static void *MakeVoidPtr(data_type d) {
236
44
      return const_cast<void *>(d);
237
44
    }
238
  };
239
240
} // namespace ento
241
} // namespace clang
242
243
#endif // LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_PROGRAMSTATETRAIT_H