Coverage Report

Created: 2020-02-25 14:32

/Users/buildslave/jenkins/workspace/coverage/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
Line
Count
Source (jump to first uncovered line)
1
//== ProgramState.h - Path-sensitive "State" for tracking values -*- C++ -*--=//
2
//
3
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4
// See https://llvm.org/LICENSE.txt for license information.
5
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6
//
7
//===----------------------------------------------------------------------===//
8
//
9
// This file defines the state of the program along the analysisa path.
10
//
11
//===----------------------------------------------------------------------===//
12
13
#ifndef LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_PROGRAMSTATE_H
14
#define LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_PROGRAMSTATE_H
15
16
#include "clang/Basic/LLVM.h"
17
#include "clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h"
18
#include "clang/StaticAnalyzer/Core/PathSensitive/DynamicTypeInfo.h"
19
#include "clang/StaticAnalyzer/Core/PathSensitive/Environment.h"
20
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState_Fwd.h"
21
#include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h"
22
#include "clang/StaticAnalyzer/Core/PathSensitive/Store.h"
23
#include "llvm/ADT/FoldingSet.h"
24
#include "llvm/ADT/ImmutableMap.h"
25
#include "llvm/Support/Allocator.h"
26
#include <utility>
27
28
namespace llvm {
29
class APSInt;
30
}
31
32
namespace clang {
33
class ASTContext;
34
35
namespace ento {
36
37
class AnalysisManager;
38
class CallEvent;
39
class CallEventManager;
40
41
typedef std::unique_ptr<ConstraintManager>(*ConstraintManagerCreator)(
42
    ProgramStateManager &, SubEngine *);
43
typedef std::unique_ptr<StoreManager>(*StoreManagerCreator)(
44
    ProgramStateManager &);
45
46
//===----------------------------------------------------------------------===//
47
// ProgramStateTrait - Traits used by the Generic Data Map of a ProgramState.
48
//===----------------------------------------------------------------------===//
49
50
template <typename T> struct ProgramStatePartialTrait;
51
52
template <typename T> struct ProgramStateTrait {
53
  typedef typename T::data_type data_type;
54
  static inline void *MakeVoidPtr(data_type D) { return (void*) D; }
55
  static inline data_type MakeData(void *const* P) {
56
    return P ? (data_type) *P : (data_type) 0;
57
  }
58
};
59
60
/// \class ProgramState
61
/// ProgramState - This class encapsulates:
62
///
63
///    1. A mapping from expressions to values (Environment)
64
///    2. A mapping from locations to values (Store)
65
///    3. Constraints on symbolic values (GenericDataMap)
66
///
67
///  Together these represent the "abstract state" of a program.
68
///
69
///  ProgramState is intended to be used as a functional object; that is,
70
///  once it is created and made "persistent" in a FoldingSet, its
71
///  values will never change.
72
class ProgramState : public llvm::FoldingSetNode {
73
public:
74
  typedef llvm::ImmutableSet<llvm::APSInt*>                IntSetTy;
75
  typedef llvm::ImmutableMap<void*, void*>                 GenericDataMap;
76
77
private:
78
  void operator=(const ProgramState& R) = delete;
79
80
  friend class ProgramStateManager;
81
  friend class ExplodedGraph;
82
  friend class ExplodedNode;
83
84
  ProgramStateManager *stateMgr;
85
  Environment Env;           // Maps a Stmt to its current SVal.
86
  Store store;               // Maps a location to its current value.
87
  GenericDataMap   GDM;      // Custom data stored by a client of this class.
88
  unsigned refCount;
89
90
  /// makeWithStore - Return a ProgramState with the same values as the current
91
  ///  state with the exception of using the specified Store.
92
  ProgramStateRef makeWithStore(const StoreRef &store) const;
93
94
  void setStore(const StoreRef &storeRef);
95
96
public:
97
  /// This ctor is used when creating the first ProgramState object.
98
  ProgramState(ProgramStateManager *mgr, const Environment& env,
99
          StoreRef st, GenericDataMap gdm);
100
101
  /// Copy ctor - We must explicitly define this or else the "Next" ptr
102
  ///  in FoldingSetNode will also get copied.
103
  ProgramState(const ProgramState &RHS);
104
105
  ~ProgramState();
106
107
  int64_t getID() const;
108
109
  /// Return the ProgramStateManager associated with this state.
110
13.0M
  ProgramStateManager &getStateManager() const {
111
13.0M
    return *stateMgr;
112
13.0M
  }
113
114
  AnalysisManager &getAnalysisManager() const;
115
116
  /// Return the ConstraintManager.
117
  ConstraintManager &getConstraintManager() const;
118
119
  /// getEnvironment - Return the environment associated with this state.
120
  ///  The environment is the mapping from expressions to values.
121
5.14k
  const Environment& getEnvironment() const { return Env; }
122
123
  /// Return the store associated with this state.  The store
124
  ///  is a mapping from locations to values.
125
2.66M
  Store getStore() const { return store; }
126
127
128
  /// getGDM - Return the generic data map associated with this state.
129
1.19M
  GenericDataMap getGDM() const { return GDM; }
130
131
0
  void setGDM(GenericDataMap gdm) { GDM = gdm; }
132
133
  /// Profile - Profile the contents of a ProgramState object for use in a
134
  ///  FoldingSet.  Two ProgramState objects are considered equal if they
135
  ///  have the same Environment, Store, and GenericDataMap.
136
6.81M
  static void Profile(llvm::FoldingSetNodeID& ID, const ProgramState *V) {
137
6.81M
    V->Env.Profile(ID);
138
6.81M
    ID.AddPointer(V->store);
139
6.81M
    V->GDM.Profile(ID);
140
6.81M
  }
141
142
  /// Profile - Used to profile the contents of this object for inclusion
143
  ///  in a FoldingSet.
144
6.81M
  void Profile(llvm::FoldingSetNodeID& ID) const {
145
6.81M
    Profile(ID, this);
146
6.81M
  }
147
148
  BasicValueFactory &getBasicVals() const;
149
  SymbolManager &getSymbolManager() const;
150
151
  //==---------------------------------------------------------------------==//
152
  // Constraints on values.
153
  //==---------------------------------------------------------------------==//
154
  //
155
  // Each ProgramState records constraints on symbolic values.  These constraints
156
  // are managed using the ConstraintManager associated with a ProgramStateManager.
157
  // As constraints gradually accrue on symbolic values, added constraints
158
  // may conflict and indicate that a state is infeasible (as no real values
159
  // could satisfy all the constraints).  This is the principal mechanism
160
  // for modeling path-sensitivity in ExprEngine/ProgramState.
161
  //
162
  // Various "assume" methods form the interface for adding constraints to
163
  // symbolic values.  A call to 'assume' indicates an assumption being placed
164
  // on one or symbolic values.  'assume' methods take the following inputs:
165
  //
166
  //  (1) A ProgramState object representing the current state.
167
  //
168
  //  (2) The assumed constraint (which is specific to a given "assume" method).
169
  //
170
  //  (3) A binary value "Assumption" that indicates whether the constraint is
171
  //      assumed to be true or false.
172
  //
173
  // The output of "assume*" is a new ProgramState object with the added constraints.
174
  // If no new state is feasible, NULL is returned.
175
  //
176
177
  /// Assumes that the value of \p cond is zero (if \p assumption is "false")
178
  /// or non-zero (if \p assumption is "true").
179
  ///
180
  /// This returns a new state with the added constraint on \p cond.
181
  /// If no new state is feasible, NULL is returned.
182
  LLVM_NODISCARD ProgramStateRef assume(DefinedOrUnknownSVal cond,
183
                                        bool assumption) const;
184
185
  /// Assumes both "true" and "false" for \p cond, and returns both
186
  /// corresponding states (respectively).
187
  ///
188
  /// This is more efficient than calling assume() twice. Note that one (but not
189
  /// both) of the returned states may be NULL.
190
  LLVM_NODISCARD std::pair<ProgramStateRef, ProgramStateRef>
191
  assume(DefinedOrUnknownSVal cond) const;
192
193
  LLVM_NODISCARD ProgramStateRef
194
  assumeInBound(DefinedOrUnknownSVal idx, DefinedOrUnknownSVal upperBound,
195
                bool assumption, QualType IndexType = QualType()) const;
196
197
  /// Assumes that the value of \p Val is bounded with [\p From; \p To]
198
  /// (if \p assumption is "true") or it is fully out of this range
199
  /// (if \p assumption is "false").
200
  ///
201
  /// This returns a new state with the added constraint on \p cond.
202
  /// If no new state is feasible, NULL is returned.
203
  LLVM_NODISCARD ProgramStateRef assumeInclusiveRange(DefinedOrUnknownSVal Val,
204
                                                      const llvm::APSInt &From,
205
                                                      const llvm::APSInt &To,
206
                                                      bool assumption) const;
207
208
  /// Assumes given range both "true" and "false" for \p Val, and returns both
209
  /// corresponding states (respectively).
210
  ///
211
  /// This is more efficient than calling assume() twice. Note that one (but not
212
  /// both) of the returned states may be NULL.
213
  LLVM_NODISCARD std::pair<ProgramStateRef, ProgramStateRef>
214
  assumeInclusiveRange(DefinedOrUnknownSVal Val, const llvm::APSInt &From,
215
                       const llvm::APSInt &To) const;
216
217
  /// Check if the given SVal is not constrained to zero and is not
218
  ///        a zero constant.
219
  ConditionTruthVal isNonNull(SVal V) const;
220
221
  /// Check if the given SVal is constrained to zero or is a zero
222
  ///        constant.
223
  ConditionTruthVal isNull(SVal V) const;
224
225
  /// \return Whether values \p Lhs and \p Rhs are equal.
226
  ConditionTruthVal areEqual(SVal Lhs, SVal Rhs) const;
227
228
  /// Utility method for getting regions.
229
  const VarRegion* getRegion(const VarDecl *D, const LocationContext *LC) const;
230
231
  //==---------------------------------------------------------------------==//
232
  // Binding and retrieving values to/from the environment and symbolic store.
233
  //==---------------------------------------------------------------------==//
234
235
  /// Create a new state by binding the value 'V' to the statement 'S' in the
236
  /// state's environment.
237
  LLVM_NODISCARD ProgramStateRef BindExpr(const Stmt *S,
238
                                          const LocationContext *LCtx, SVal V,
239
                                          bool Invalidate = true) const;
240
241
  LLVM_NODISCARD ProgramStateRef bindLoc(Loc location, SVal V,
242
                                         const LocationContext *LCtx,
243
                                         bool notifyChanges = true) const;
244
245
  LLVM_NODISCARD ProgramStateRef bindLoc(SVal location, SVal V,
246
                                         const LocationContext *LCtx) const;
247
248
  /// Initializes the region of memory represented by \p loc with an initial
249
  /// value. Once initialized, all values loaded from any sub-regions of that
250
  /// region will be equal to \p V, unless overwritten later by the program.
251
  /// This method should not be used on regions that are already initialized.
252
  /// If you need to indicate that memory contents have suddenly become unknown
253
  /// within a certain region of memory, consider invalidateRegions().
254
  LLVM_NODISCARD ProgramStateRef
255
  bindDefaultInitial(SVal loc, SVal V, const LocationContext *LCtx) const;
256
257
  /// Performs C++ zero-initialization procedure on the region of memory
258
  /// represented by \p loc.
259
  LLVM_NODISCARD ProgramStateRef
260
  bindDefaultZero(SVal loc, const LocationContext *LCtx) const;
261
262
  LLVM_NODISCARD ProgramStateRef killBinding(Loc LV) const;
263
264
  /// Returns the state with bindings for the given regions
265
  ///  cleared from the store.
266
  ///
267
  /// Optionally invalidates global regions as well.
268
  ///
269
  /// \param Regions the set of regions to be invalidated.
270
  /// \param E the expression that caused the invalidation.
271
  /// \param BlockCount The number of times the current basic block has been
272
  //         visited.
273
  /// \param CausesPointerEscape the flag is set to true when
274
  ///        the invalidation entails escape of a symbol (representing a
275
  ///        pointer). For example, due to it being passed as an argument in a
276
  ///        call.
277
  /// \param IS the set of invalidated symbols.
278
  /// \param Call if non-null, the invalidated regions represent parameters to
279
  ///        the call and should be considered directly invalidated.
280
  /// \param ITraits information about special handling for a particular
281
  ///        region/symbol.
282
  LLVM_NODISCARD ProgramStateRef
283
  invalidateRegions(ArrayRef<const MemRegion *> Regions, const Expr *E,
284
                    unsigned BlockCount, const LocationContext *LCtx,
285
                    bool CausesPointerEscape, InvalidatedSymbols *IS = nullptr,
286
                    const CallEvent *Call = nullptr,
287
                    RegionAndSymbolInvalidationTraits *ITraits = nullptr) const;
288
289
  LLVM_NODISCARD ProgramStateRef
290
  invalidateRegions(ArrayRef<SVal> Regions, const Expr *E,
291
                    unsigned BlockCount, const LocationContext *LCtx,
292
                    bool CausesPointerEscape, InvalidatedSymbols *IS = nullptr,
293
                    const CallEvent *Call = nullptr,
294
                    RegionAndSymbolInvalidationTraits *ITraits = nullptr) const;
295
296
  /// enterStackFrame - Returns the state for entry to the given stack frame,
297
  ///  preserving the current state.
298
  LLVM_NODISCARD ProgramStateRef enterStackFrame(
299
      const CallEvent &Call, const StackFrameContext *CalleeCtx) const;
300
301
  /// Get the lvalue for a base class object reference.
302
  Loc getLValue(const CXXBaseSpecifier &BaseSpec, const SubRegion *Super) const;
303
304
  /// Get the lvalue for a base class object reference.
305
  Loc getLValue(const CXXRecordDecl *BaseClass, const SubRegion *Super,
306
                bool IsVirtual) const;
307
308
  /// Get the lvalue for a variable reference.
309
  Loc getLValue(const VarDecl *D, const LocationContext *LC) const;
310
311
  Loc getLValue(const CompoundLiteralExpr *literal,
312
                const LocationContext *LC) const;
313
314
  /// Get the lvalue for an ivar reference.
315
  SVal getLValue(const ObjCIvarDecl *decl, SVal base) const;
316
317
  /// Get the lvalue for a field reference.
318
  SVal getLValue(const FieldDecl *decl, SVal Base) const;
319
320
  /// Get the lvalue for an indirect field reference.
321
  SVal getLValue(const IndirectFieldDecl *decl, SVal Base) const;
322
323
  /// Get the lvalue for an array index.
324
  SVal getLValue(QualType ElementType, SVal Idx, SVal Base) const;
325
326
  /// Returns the SVal bound to the statement 'S' in the state's environment.
327
  SVal getSVal(const Stmt *S, const LocationContext *LCtx) const;
328
329
  SVal getSValAsScalarOrLoc(const Stmt *Ex, const LocationContext *LCtx) const;
330
331
  /// Return the value bound to the specified location.
332
  /// Returns UnknownVal() if none found.
333
  SVal getSVal(Loc LV, QualType T = QualType()) const;
334
335
  /// Returns the "raw" SVal bound to LV before any value simplfication.
336
  SVal getRawSVal(Loc LV, QualType T= QualType()) const;
337
338
  /// Return the value bound to the specified location.
339
  /// Returns UnknownVal() if none found.
340
  SVal getSVal(const MemRegion* R, QualType T = QualType()) const;
341
342
  /// Return the value bound to the specified location, assuming
343
  /// that the value is a scalar integer or an enumeration or a pointer.
344
  /// Returns UnknownVal() if none found or the region is not known to hold
345
  /// a value of such type.
346
  SVal getSValAsScalarOrLoc(const MemRegion *R) const;
347
348
  using region_iterator = const MemRegion **;
349
350
  /// Visits the symbols reachable from the given SVal using the provided
351
  /// SymbolVisitor.
352
  ///
353
  /// This is a convenience API. Consider using ScanReachableSymbols class
354
  /// directly when making multiple scans on the same state with the same
355
  /// visitor to avoid repeated initialization cost.
356
  /// \sa ScanReachableSymbols
357
  bool scanReachableSymbols(SVal val, SymbolVisitor& visitor) const;
358
359
  /// Visits the symbols reachable from the regions in the given
360
  /// MemRegions range using the provided SymbolVisitor.
361
  bool scanReachableSymbols(llvm::iterator_range<region_iterator> Reachable,
362
                            SymbolVisitor &visitor) const;
363
364
  template <typename CB> CB scanReachableSymbols(SVal val) const;
365
  template <typename CB> CB
366
  scanReachableSymbols(llvm::iterator_range<region_iterator> Reachable) const;
367
368
  //==---------------------------------------------------------------------==//
369
  // Accessing the Generic Data Map (GDM).
370
  //==---------------------------------------------------------------------==//
371
372
  void *const* FindGDM(void *K) const;
373
374
  template <typename T>
375
  LLVM_NODISCARD ProgramStateRef
376
  add(typename ProgramStateTrait<T>::key_type K) const;
377
378
  template <typename T>
379
  typename ProgramStateTrait<T>::data_type
380
5.32M
  get() const {
381
5.32M
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
5.32M
  }
BasicObjCFoundationChecks.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerNonEmptyMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::ContainerNonEmptyMap>() const
Line
Count
Source
380
616
  get() const {
381
616
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
616
  }
BasicObjCFoundationChecks.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerCountMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::ContainerCountMap>() const
Line
Count
Source
380
3.14k
  get() const {
381
3.14k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
3.14k
  }
BlockInCriticalSectionChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::MutexCounter>::data_type clang::ento::ProgramState::get<(anonymous namespace)::MutexCounter>() const
Line
Count
Source
380
69
  get() const {
381
69
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
69
  }
CStringChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CStringLength>::data_type clang::ento::ProgramState::get<(anonymous namespace)::CStringLength>() const
Line
Count
Source
380
294k
  get() const {
381
294k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
294k
  }
CheckObjCDealloc.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::UnreleasedIvarMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::UnreleasedIvarMap>() const
Line
Count
Source
380
4.37k
  get() const {
381
4.37k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
4.37k
  }
clang::ento::ProgramStateTrait<clang::ento::iterator::IteratorRegionMap>::data_type clang::ento::ProgramState::get<clang::ento::iterator::IteratorRegionMap>() const
Line
Count
Source
380
50.1k
  get() const {
381
50.1k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
50.1k
  }
clang::ento::ProgramStateTrait<clang::ento::iterator::IteratorSymbolMap>::data_type clang::ento::ProgramState::get<clang::ento::iterator::IteratorSymbolMap>() const
Line
Count
Source
380
36.8k
  get() const {
381
36.8k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
36.8k
  }
clang::ento::ProgramStateTrait<clang::ento::iterator::ContainerMap>::data_type clang::ento::ProgramState::get<clang::ento::iterator::ContainerMap>() const
Line
Count
Source
380
37.2k
  get() const {
381
37.2k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
37.2k
  }
DynamicTypePropagation.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::MostSpecializedTypeArgsMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::MostSpecializedTypeArgsMap>() const
Line
Count
Source
380
459k
  get() const {
381
459k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
459k
  }
ExprInspectionChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::MarkedSymbols>::data_type clang::ento::ProgramState::get<(anonymous namespace)::MarkedSymbols>() const
Line
Count
Source
380
151k
  get() const {
381
151k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
151k
  }
ExprInspectionChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DenotedSymbols>::data_type clang::ento::ProgramState::get<(anonymous namespace)::DenotedSymbols>() const
Line
Count
Source
380
152k
  get() const {
381
152k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
152k
  }
FuchsiaHandleChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::HStateMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::HStateMap>() const
Line
Count
Source
380
901
  get() const {
381
901
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
901
  }
GenericTaintChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TaintArgsOnPostVisit>::data_type clang::ento::ProgramState::get<(anonymous namespace)::TaintArgsOnPostVisit>() const
Line
Count
Source
380
1.01k
  get() const {
381
1.01k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
1.01k
  }
InnerPointerChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RawPtrMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::RawPtrMap>() const
Line
Count
Source
380
75.9k
  get() const {
381
75.9k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
75.9k
  }
LocalizationChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LocalizedMemMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::LocalizedMemMap>() const
Line
Count
Source
380
194
  get() const {
381
194
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
194
  }
MacOSKeychainAPIChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::AllocatedData>::data_type clang::ento::ProgramState::get<(anonymous namespace)::AllocatedData>() const
Line
Count
Source
380
2.83k
  get() const {
381
2.83k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
2.83k
  }
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::data_type clang::ento::ProgramState::get<(anonymous namespace)::RegionState>() const
Line
Count
Source
380
293k
  get() const {
381
293k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
293k
  }
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocPairs>::data_type clang::ento::ProgramState::get<(anonymous namespace)::ReallocPairs>() const
Line
Count
Source
380
406k
  get() const {
381
406k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
406k
  }
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::FreeReturnValue>::data_type clang::ento::ProgramState::get<(anonymous namespace)::FreeReturnValue>() const
Line
Count
Source
380
234k
  get() const {
381
234k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
234k
  }
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocSizeZeroSymbols>::data_type clang::ento::ProgramState::get<(anonymous namespace)::ReallocSizeZeroSymbols>() const
Line
Count
Source
380
19
  get() const {
381
19
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
19
  }
MIGChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RefCountedParameters>::data_type clang::ento::ProgramState::get<(anonymous namespace)::RefCountedParameters>() const
Line
Count
Source
380
1
  get() const {
381
1
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
1
  }
MIGChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ReleasedParameter>::data_type clang::ento::ProgramState::get<(anonymous namespace)::ReleasedParameter>() const
Line
Count
Source
380
25
  get() const {
381
25
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
25
  }
MoveChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TrackedRegionMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::TrackedRegionMap>() const
Line
Count
Source
380
193k
  get() const {
381
193k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
193k
  }
clang::ento::ProgramStateTrait<clang::ento::mpi::RequestMap>::data_type clang::ento::ProgramState::get<clang::ento::mpi::RequestMap>() const
Line
Count
Source
380
601
  get() const {
381
601
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
601
  }
NSErrorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NSErrorOut>::data_type clang::ento::ProgramState::get<(anonymous namespace)::NSErrorOut>() const
Line
Count
Source
380
3
  get() const {
381
3
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
3
  }
NSErrorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CFErrorOut>::data_type clang::ento::ProgramState::get<(anonymous namespace)::CFErrorOut>() const
Line
Count
Source
380
7
  get() const {
381
7
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
7
  }
NullabilityChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NullabilityMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::NullabilityMap>() const
Line
Count
Source
380
3.52k
  get() const {
381
3.52k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
3.52k
  }
NullabilityChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::InvariantViolated>::data_type clang::ento::ProgramState::get<(anonymous namespace)::InvariantViolated>() const
Line
Count
Source
380
5.20k
  get() const {
381
5.20k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
5.20k
  }
ObjCContainersChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ArraySizeMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::ArraySizeMap>() const
Line
Count
Source
380
392
  get() const {
381
392
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
392
  }
ObjCSelfInitChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::SelfFlag>::data_type clang::ento::ProgramState::get<(anonymous namespace)::SelfFlag>() const
Line
Count
Source
380
344
  get() const {
381
344
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
344
  }
ObjCSelfInitChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CalledInit>::data_type clang::ento::ProgramState::get<(anonymous namespace)::CalledInit>() const
Line
Count
Source
380
170
  get() const {
381
170
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
170
  }
ObjCSelfInitChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::PreCallSelfFlags>::data_type clang::ento::ProgramState::get<(anonymous namespace)::PreCallSelfFlags>() const
Line
Count
Source
380
128
  get() const {
381
128
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
128
  }
ObjCSuperDeallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CalledSuperDealloc>::data_type clang::ento::ProgramState::get<(anonymous namespace)::CalledSuperDealloc>() const
Line
Count
Source
380
27
  get() const {
381
27
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
27
  }
PointerArithChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::data_type clang::ento::ProgramState::get<(anonymous namespace)::RegionState>() const
Line
Count
Source
380
5.37k
  get() const {
381
5.37k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
5.37k
  }
PthreadLockChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LockMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::LockMap>() const
Line
Count
Source
380
17.8k
  get() const {
381
17.8k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
17.8k
  }
PthreadLockChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DestroyRetVal>::data_type clang::ento::ProgramState::get<(anonymous namespace)::DestroyRetVal>() const
Line
Count
Source
380
17.6k
  get() const {
381
17.6k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
17.6k
  }
PthreadLockChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LockSet>::data_type clang::ento::ProgramState::get<(anonymous namespace)::LockSet>() const
Line
Count
Source
380
154
  get() const {
381
154
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
154
  }
RetainCountChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RefBindings>::data_type clang::ento::ProgramState::get<(anonymous namespace)::RefBindings>() const
Line
Count
Source
380
39.6k
  get() const {
381
39.6k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
39.6k
  }
SimpleStreamChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::StreamMap>() const
Line
Count
Source
380
383
  get() const {
381
383
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
383
  }
StreamChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::StreamMap>() const
Line
Count
Source
380
448
  get() const {
381
448
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
448
  }
Taint.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TaintMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::TaintMap>() const
Line
Count
Source
380
200
  get() const {
381
200
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
200
  }
Taint.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DerivedSymTaint>::data_type clang::ento::ProgramState::get<(anonymous namespace)::DerivedSymTaint>() const
Line
Count
Source
380
6
  get() const {
381
6
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
6
  }
TestAfterDivZeroChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DivZeroMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::DivZeroMap>() const
Line
Count
Source
380
1.70k
  get() const {
381
1.70k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
1.70k
  }
TrustNonnullChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NonNullImplicationMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::NonNullImplicationMap>() const
Line
Count
Source
380
2.65k
  get() const {
381
2.65k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
2.65k
  }
TrustNonnullChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NullImplicationMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::NullImplicationMap>() const
Line
Count
Source
380
2.65k
  get() const {
381
2.65k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
2.65k
  }
UninitializedObjectChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::AnalyzedRegions>::data_type clang::ento::ProgramState::get<(anonymous namespace)::AnalyzedRegions>() const
Line
Count
Source
380
2.97k
  get() const {
381
2.97k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
2.97k
  }
VforkChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::VforkResultRegion>::data_type clang::ento::ProgramState::get<(anonymous namespace)::VforkResultRegion>() const
Line
Count
Source
380
664
  get() const {
381
664
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
664
  }
ValistChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::InitializedVALists>::data_type clang::ento::ProgramState::get<(anonymous namespace)::InitializedVALists>() const
Line
Count
Source
380
790
  get() const {
381
790
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
790
  }
VirtualCallChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CtorDtorMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::CtorDtorMap>() const
Line
Count
Source
380
2.76k
  get() const {
381
2.76k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
2.76k
  }
clang::ento::ProgramStateTrait<clang::ento::ConstraintRange>::data_type clang::ento::ProgramState::get<clang::ento::ConstraintRange>() const
Line
Count
Source
380
618k
  get() const {
381
618k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
618k
  }
DynamicType.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicCastMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::DynamicCastMap>() const
Line
Count
Source
380
861k
  get() const {
381
861k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
861k
  }
DynamicType.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicTypeMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::DynamicTypeMap>() const
Line
Count
Source
380
468k
  get() const {
381
468k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
468k
  }
ExprEngine.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ObjectsUnderConstruction>::data_type clang::ento::ProgramState::get<(anonymous namespace)::ObjectsUnderConstruction>() const
Line
Count
Source
380
768k
  get() const {
381
768k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
768k
  }
ExprEngine.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::InitializedGlobalsSet>::data_type clang::ento::ProgramState::get<(anonymous namespace)::InitializedGlobalsSet>() const
Line
Count
Source
380
193
  get() const {
381
193
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
193
  }
clang::ento::ProgramStateTrait<clang::ento::ReplayWithoutInlining>::data_type clang::ento::ProgramState::get<clang::ento::ReplayWithoutInlining>() const
Line
Count
Source
380
97.3k
  get() const {
381
97.3k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
97.3k
  }
ExprEngineCallAndReturn.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicDispatchBifurcationMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::DynamicDispatchBifurcationMap>() const
Line
Count
Source
380
18
  get() const {
381
18
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
18
  }
LoopUnrolling.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LoopStack>::data_type clang::ento::ProgramState::get<(anonymous namespace)::LoopStack>() const
Line
Count
Source
380
7.78k
  get() const {
381
7.78k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
382
7.78k
  }
Unexecuted instantiation: SMTConstraintManager.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ConstraintSMT>::data_type clang::ento::ProgramState::get<(anonymous namespace)::ConstraintSMT>() const
383
384
  template<typename T>
385
  typename ProgramStateTrait<T>::lookup_type
386
1.12M
  get(typename ProgramStateTrait<T>::key_type key) const {
387
1.12M
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
388
1.12M
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
389
1.12M
  }
BasicObjCFoundationChecks.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerCountMap>::lookup_type clang::ento::ProgramState::get<(anonymous namespace)::ContainerCountMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerCountMap>::key_type) const
Line
Count
Source
386
311
  get(typename ProgramStateTrait<T>::key_type key) const {
387
311
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
388
311
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
389
311
  }
BasicObjCFoundationChecks.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerNonEmptyMap>::lookup_type clang::ento::ProgramState::get<(anonymous namespace)::ContainerNonEmptyMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerNonEmptyMap>::key_type) const
Line
Count
Source
386
245
  get(typename ProgramStateTrait<T>::key_type key) const {
387
245
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
388
245
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
389
245
  }
CStringChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CStringLength>::lookup_type clang::ento::ProgramState::get<(anonymous namespace)::CStringLength>(clang::ento::ProgramStateTrait<(anonymous namespace)::CStringLength>::key_type) const
Line
Count
Source
386
1.17k
  get(typename ProgramStateTrait<T>::key_type key) const {
387
1.17k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
388
1.17k
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
389
1.17k
  }
CheckObjCDealloc.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::UnreleasedIvarMap>::lookup_type clang::ento::ProgramState::get<(anonymous namespace)::UnreleasedIvarMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::UnreleasedIvarMap>::key_type) const
Line
Count
Source
386
434
  get(typename ProgramStateTrait<T>::key_type key) const {
387
434
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
388
434
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
389
434
  }
DynamicTypePropagation.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::MostSpecializedTypeArgsMap>::lookup_type clang::ento::ProgramState::get<(anonymous namespace)::MostSpecializedTypeArgsMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::MostSpecializedTypeArgsMap>::key_type) const
Line
Count
Source
386
10.5k
  get(typename ProgramStateTrait<T>::key_type key) const {
387
10.5k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
388
10.5k
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
389
10.5k
  }
ExprInspectionChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DenotedSymbols>::lookup_type clang::ento::ProgramState::get<(anonymous namespace)::DenotedSymbols>(clang::ento::ProgramStateTrait<(anonymous namespace)::DenotedSymbols>::key_type) const
Line
Count
Source
386
1.14k
  get(typename ProgramStateTrait<T>::key_type key) const {
387
1.14k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
388
1.14k
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
389
1.14k
  }
FuchsiaHandleChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::HStateMap>::lookup_type clang::ento::ProgramState::get<(anonymous namespace)::HStateMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::HStateMap>::key_type) const
Line
Count
Source
386
455
  get(typename ProgramStateTrait<T>::key_type key) const {
387
455
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
388
455
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
389
455
  }
InnerPointerChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RawPtrMap>::lookup_type clang::ento::ProgramState::get<(anonymous namespace)::RawPtrMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::RawPtrMap>::key_type) const
Line
Count
Source
386
621
  get(typename ProgramStateTrait<T>::key_type key) const {
387
621
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
388
621
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
389
621
  }
clang::ento::ProgramStateTrait<clang::ento::iterator::ContainerMap>::lookup_type clang::ento::ProgramState::get<clang::ento::iterator::ContainerMap>(clang::ento::ProgramStateTrait<clang::ento::iterator::ContainerMap>::key_type) const
Line
Count
Source
386
4.43k
  get(typename ProgramStateTrait<T>::key_type key) const {
387
4.43k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
388
4.43k
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
389
4.43k
  }
clang::ento::ProgramStateTrait<clang::ento::iterator::IteratorRegionMap>::lookup_type clang::ento::ProgramState::get<clang::ento::iterator::IteratorRegionMap>(clang::ento::ProgramStateTrait<clang::ento::iterator::IteratorRegionMap>::key_type) const
Line
Count
Source
386
12.8k
  get(typename ProgramStateTrait<T>::key_type key) const {
387
12.8k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
388
12.8k
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
389
12.8k
  }
clang::ento::ProgramStateTrait<clang::ento::iterator::IteratorSymbolMap>::lookup_type clang::ento::ProgramState::get<clang::ento::iterator::IteratorSymbolMap>(clang::ento::ProgramStateTrait<clang::ento::iterator::IteratorSymbolMap>::key_type) const
Line
Count
Source
386
420
  get(typename ProgramStateTrait<T>::key_type key) const {
387
420
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
388
420
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
389
420
  }
LocalizationChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LocalizedMemMap>::lookup_type clang::ento::ProgramState::get<(anonymous namespace)::LocalizedMemMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::LocalizedMemMap>::key_type) const
Line
Count
Source
386
195
  get(typename ProgramStateTrait<T>::key_type key) const {
387
195
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
388
195
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
389
195
  }
MacOSKeychainAPIChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::AllocatedData>::lookup_type clang::ento::ProgramState::get<(anonymous namespace)::AllocatedData>(clang::ento::ProgramStateTrait<(anonymous namespace)::AllocatedData>::key_type) const
Line
Count
Source
386
1.81k
  get(typename ProgramStateTrait<T>::key_type key) const {
387
1.81k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
388
1.81k
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
389
1.81k
  }
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::lookup_type clang::ento::ProgramState::get<(anonymous namespace)::RegionState>(clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::key_type) const
Line
Count
Source
386
126k
  get(typename ProgramStateTrait<T>::key_type key) const {
387
126k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
388
126k
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
389
126k
  }
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::FreeReturnValue>::lookup_type clang::ento::ProgramState::get<(anonymous namespace)::FreeReturnValue>(clang::ento::ProgramStateTrait<(anonymous namespace)::FreeReturnValue>::key_type) const
Line
Count
Source
386
79
  get(typename ProgramStateTrait<T>::key_type key) const {
387
79
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
388
79
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
389
79
  }
MoveChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TrackedRegionMap>::lookup_type clang::ento::ProgramState::get<(anonymous namespace)::TrackedRegionMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::TrackedRegionMap>::key_type) const
Line
Count
Source
386
26.0k
  get(typename ProgramStateTrait<T>::key_type key) const {
387
26.0k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
388
26.0k
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
389
26.0k
  }
clang::ento::ProgramStateTrait<clang::ento::mpi::RequestMap>::lookup_type clang::ento::ProgramState::get<clang::ento::mpi::RequestMap>(clang::ento::ProgramStateTrait<clang::ento::mpi::RequestMap>::key_type) const
Line
Count
Source
386
650
  get(typename ProgramStateTrait<T>::key_type key) const {
387
650
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
388
650
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
389
650
  }
NSErrorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NSErrorOut>::lookup_type clang::ento::ProgramState::get<(anonymous namespace)::NSErrorOut>(clang::ento::ProgramStateTrait<(anonymous namespace)::NSErrorOut>::key_type) const
Line
Count
Source
386
2
  get(typename ProgramStateTrait<T>::key_type key) const {
387
2
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
388
2
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
389
2
  }
NSErrorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CFErrorOut>::lookup_type clang::ento::ProgramState::get<(anonymous namespace)::CFErrorOut>(clang::ento::ProgramStateTrait<(anonymous namespace)::CFErrorOut>::key_type) const
Line
Count
Source
386
1
  get(typename ProgramStateTrait<T>::key_type key) const {
387
1
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
388
1
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
389
1
  }
NullabilityChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NullabilityMap>::lookup_type clang::ento::ProgramState::get<(anonymous namespace)::NullabilityMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::NullabilityMap>::key_type) const
Line
Count
Source
386
7.79k
  get(typename ProgramStateTrait<T>::key_type key) const {
387
7.79k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
388
7.79k
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
389
7.79k
  }
ObjCContainersChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ArraySizeMap>::lookup_type clang::ento::ProgramState::get<(anonymous namespace)::ArraySizeMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::ArraySizeMap>::key_type) const
Line
Count
Source
386
15
  get(typename ProgramStateTrait<T>::key_type key) const {
387
15
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
388
15
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
389
15
  }
ObjCSelfInitChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::SelfFlag>::lookup_type clang::ento::ProgramState::get<(anonymous namespace)::SelfFlag>(clang::ento::ProgramStateTrait<(anonymous namespace)::SelfFlag>::key_type) const
Line
Count
Source
386
685
  get(typename ProgramStateTrait<T>::key_type key) const {
387
685
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
388
685
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
389
685
  }
PointerArithChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::lookup_type clang::ento::ProgramState::get<(anonymous namespace)::RegionState>(clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::key_type) const
Line
Count
Source
386
9.92k
  get(typename ProgramStateTrait<T>::key_type key) const {
387
9.92k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
388
9.92k
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
389
9.92k
  }
PthreadLockChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DestroyRetVal>::lookup_type clang::ento::ProgramState::get<(anonymous namespace)::DestroyRetVal>(clang::ento::ProgramStateTrait<(anonymous namespace)::DestroyRetVal>::key_type) const
Line
Count
Source
386
253
  get(typename ProgramStateTrait<T>::key_type key) const {
387
253
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
388
253
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
389
253
  }
PthreadLockChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LockMap>::lookup_type clang::ento::ProgramState::get<(anonymous namespace)::LockMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::LockMap>::key_type) const
Line
Count
Source
386
298
  get(typename ProgramStateTrait<T>::key_type key) const {
387
298
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
388
298
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
389
298
  }
RetainCountChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RefBindings>::lookup_type clang::ento::ProgramState::get<(anonymous namespace)::RefBindings>(clang::ento::ProgramStateTrait<(anonymous namespace)::RefBindings>::key_type) const
Line
Count
Source
386
57.6k
  get(typename ProgramStateTrait<T>::key_type key) const {
387
57.6k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
388
57.6k
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
389
57.6k
  }
SimpleStreamChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::lookup_type clang::ento::ProgramState::get<(anonymous namespace)::StreamMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::key_type) const
Line
Count
Source
386
5
  get(typename ProgramStateTrait<T>::key_type key) const {
387
5
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
388
5
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
389
5
  }
StreamChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::lookup_type clang::ento::ProgramState::get<(anonymous namespace)::StreamMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::key_type) const
Line
Count
Source
386
23
  get(typename ProgramStateTrait<T>::key_type key) const {
387
23
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
388
23
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
389
23
  }
Taint.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TaintMap>::lookup_type clang::ento::ProgramState::get<(anonymous namespace)::TaintMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::TaintMap>::key_type) const
Line
Count
Source
386
28.2k
  get(typename ProgramStateTrait<T>::key_type key) const {
387
28.2k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
388
28.2k
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
389
28.2k
  }
Taint.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DerivedSymTaint>::lookup_type clang::ento::ProgramState::get<(anonymous namespace)::DerivedSymTaint>(clang::ento::ProgramStateTrait<(anonymous namespace)::DerivedSymTaint>::key_type) const
Line
Count
Source
386
2.40k
  get(typename ProgramStateTrait<T>::key_type key) const {
387
2.40k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
388
2.40k
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
389
2.40k
  }
TrustNonnullChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NonNullImplicationMap>::lookup_type clang::ento::ProgramState::get<(anonymous namespace)::NonNullImplicationMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::NonNullImplicationMap>::key_type) const
Line
Count
Source
386
3.99k
  get(typename ProgramStateTrait<T>::key_type key) const {
387
3.99k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
388
3.99k
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
389
3.99k
  }
TrustNonnullChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NullImplicationMap>::lookup_type clang::ento::ProgramState::get<(anonymous namespace)::NullImplicationMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::NullImplicationMap>::key_type) const
Line
Count
Source
386
3.99k
  get(typename ProgramStateTrait<T>::key_type key) const {
387
3.99k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
388
3.99k
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
389
3.99k
  }
VirtualCallChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CtorDtorMap>::lookup_type clang::ento::ProgramState::get<(anonymous namespace)::CtorDtorMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::CtorDtorMap>::key_type) const
Line
Count
Source
386
146
  get(typename ProgramStateTrait<T>::key_type key) const {
387
146
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
388
146
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
389
146
  }
DynamicType.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicTypeMap>::lookup_type clang::ento::ProgramState::get<(anonymous namespace)::DynamicTypeMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicTypeMap>::key_type) const
Line
Count
Source
386
7.20k
  get(typename ProgramStateTrait<T>::key_type key) const {
387
7.20k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
388
7.20k
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
389
7.20k
  }
DynamicType.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicCastMap>::lookup_type clang::ento::ProgramState::get<(anonymous namespace)::DynamicCastMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicCastMap>::key_type) const
Line
Count
Source
386
54
  get(typename ProgramStateTrait<T>::key_type key) const {
387
54
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
388
54
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
389
54
  }
ExprEngine.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ObjectsUnderConstruction>::lookup_type clang::ento::ProgramState::get<(anonymous namespace)::ObjectsUnderConstruction>(clang::ento::ProgramStateTrait<(anonymous namespace)::ObjectsUnderConstruction>::key_type) const
Line
Count
Source
386
358k
  get(typename ProgramStateTrait<T>::key_type key) const {
387
358k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
388
358k
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
389
358k
  }
ExprEngineCallAndReturn.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicDispatchBifurcationMap>::lookup_type clang::ento::ProgramState::get<(anonymous namespace)::DynamicDispatchBifurcationMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicDispatchBifurcationMap>::key_type) const
Line
Count
Source
386
15
  get(typename ProgramStateTrait<T>::key_type key) const {
387
15
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
388
15
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
389
15
  }
clang::ento::ProgramStateTrait<clang::ento::ConstraintRange>::lookup_type clang::ento::ProgramState::get<clang::ento::ConstraintRange>(clang::ento::ProgramStateTrait<clang::ento::ConstraintRange>::key_type) const
Line
Count
Source
386
451k
  get(typename ProgramStateTrait<T>::key_type key) const {
387
451k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
388
451k
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
389
451k
  }
390
391
  template <typename T>
392
  typename ProgramStateTrait<T>::context_type get_context() const;
393
394
  template <typename T>
395
  LLVM_NODISCARD ProgramStateRef
396
  remove(typename ProgramStateTrait<T>::key_type K) const;
397
398
  template <typename T>
399
  LLVM_NODISCARD ProgramStateRef
400
  remove(typename ProgramStateTrait<T>::key_type K,
401
         typename ProgramStateTrait<T>::context_type C) const;
402
403
  template <typename T> LLVM_NODISCARD ProgramStateRef remove() const;
404
405
  template <typename T>
406
  LLVM_NODISCARD ProgramStateRef
407
  set(typename ProgramStateTrait<T>::data_type D) const;
408
409
  template <typename T>
410
  LLVM_NODISCARD ProgramStateRef
411
  set(typename ProgramStateTrait<T>::key_type K,
412
      typename ProgramStateTrait<T>::value_type E) const;
413
414
  template <typename T>
415
  LLVM_NODISCARD ProgramStateRef
416
  set(typename ProgramStateTrait<T>::key_type K,
417
      typename ProgramStateTrait<T>::value_type E,
418
      typename ProgramStateTrait<T>::context_type C) const;
419
420
  template<typename T>
421
72.2k
  bool contains(typename ProgramStateTrait<T>::key_type key) const {
422
72.2k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
423
72.2k
    return ProgramStateTrait<T>::Contains(ProgramStateTrait<T>::MakeData(d), key);
424
72.2k
  }
MallocChecker.cpp:bool clang::ento::ProgramState::contains<(anonymous namespace)::ReallocSizeZeroSymbols>(clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocSizeZeroSymbols>::key_type) const
Line
Count
Source
421
13.5k
  bool contains(typename ProgramStateTrait<T>::key_type key) const {
422
13.5k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
423
13.5k
    return ProgramStateTrait<T>::Contains(ProgramStateTrait<T>::MakeData(d), key);
424
13.5k
  }
MIGChecker.cpp:bool clang::ento::ProgramState::contains<(anonymous namespace)::RefCountedParameters>(clang::ento::ProgramStateTrait<(anonymous namespace)::RefCountedParameters>::key_type) const
Line
Count
Source
421
20
  bool contains(typename ProgramStateTrait<T>::key_type key) const {
422
20
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
423
20
    return ProgramStateTrait<T>::Contains(ProgramStateTrait<T>::MakeData(d), key);
424
20
  }
ObjCSuperDeallocChecker.cpp:bool clang::ento::ProgramState::contains<(anonymous namespace)::CalledSuperDealloc>(clang::ento::ProgramStateTrait<(anonymous namespace)::CalledSuperDealloc>::key_type) const
Line
Count
Source
421
442
  bool contains(typename ProgramStateTrait<T>::key_type key) const {
422
442
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
423
442
    return ProgramStateTrait<T>::Contains(ProgramStateTrait<T>::MakeData(d), key);
424
442
  }
TestAfterDivZeroChecker.cpp:bool clang::ento::ProgramState::contains<(anonymous namespace)::DivZeroMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::DivZeroMap>::key_type) const
Line
Count
Source
421
378
  bool contains(typename ProgramStateTrait<T>::key_type key) const {
422
378
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
423
378
    return ProgramStateTrait<T>::Contains(ProgramStateTrait<T>::MakeData(d), key);
424
378
  }
UninitializedObjectChecker.cpp:bool clang::ento::ProgramState::contains<(anonymous namespace)::AnalyzedRegions>(clang::ento::ProgramStateTrait<(anonymous namespace)::AnalyzedRegions>::key_type) const
Line
Count
Source
421
220
  bool contains(typename ProgramStateTrait<T>::key_type key) const {
422
220
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
423
220
    return ProgramStateTrait<T>::Contains(ProgramStateTrait<T>::MakeData(d), key);
424
220
  }
ValistChecker.cpp:bool clang::ento::ProgramState::contains<(anonymous namespace)::InitializedVALists>(clang::ento::ProgramStateTrait<(anonymous namespace)::InitializedVALists>::key_type) const
Line
Count
Source
421
5.40k
  bool contains(typename ProgramStateTrait<T>::key_type key) const {
422
5.40k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
423
5.40k
    return ProgramStateTrait<T>::Contains(ProgramStateTrait<T>::MakeData(d), key);
424
5.40k
  }
ExprEngine.cpp:bool clang::ento::ProgramState::contains<(anonymous namespace)::ObjectsUnderConstruction>(clang::ento::ProgramStateTrait<(anonymous namespace)::ObjectsUnderConstruction>::key_type) const
Line
Count
Source
421
52.0k
  bool contains(typename ProgramStateTrait<T>::key_type key) const {
422
52.0k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
423
52.0k
    return ProgramStateTrait<T>::Contains(ProgramStateTrait<T>::MakeData(d), key);
424
52.0k
  }
ExprEngine.cpp:bool clang::ento::ProgramState::contains<(anonymous namespace)::InitializedGlobalsSet>(clang::ento::ProgramStateTrait<(anonymous namespace)::InitializedGlobalsSet>::key_type) const
Line
Count
Source
421
198
  bool contains(typename ProgramStateTrait<T>::key_type key) const {
422
198
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
423
198
    return ProgramStateTrait<T>::Contains(ProgramStateTrait<T>::MakeData(d), key);
424
198
  }
425
426
  // Pretty-printing.
427
  void printJson(raw_ostream &Out, const LocationContext *LCtx = nullptr,
428
                 const char *NL = "\n", unsigned int Space = 0,
429
                 bool IsDot = false) const;
430
431
  void printDOT(raw_ostream &Out, const LocationContext *LCtx = nullptr,
432
                unsigned int Space = 0) const;
433
434
  void dump() const;
435
436
private:
437
  friend void ProgramStateRetain(const ProgramState *state);
438
  friend void ProgramStateRelease(const ProgramState *state);
439
440
  /// \sa invalidateValues()
441
  /// \sa invalidateRegions()
442
  ProgramStateRef
443
  invalidateRegionsImpl(ArrayRef<SVal> Values,
444
                        const Expr *E, unsigned BlockCount,
445
                        const LocationContext *LCtx,
446
                        bool ResultsInSymbolEscape,
447
                        InvalidatedSymbols *IS,
448
                        RegionAndSymbolInvalidationTraits *HTraits,
449
                        const CallEvent *Call) const;
450
};
451
452
//===----------------------------------------------------------------------===//
453
// ProgramStateManager - Factory object for ProgramStates.
454
//===----------------------------------------------------------------------===//
455
456
class ProgramStateManager {
457
  friend class ProgramState;
458
  friend void ProgramStateRelease(const ProgramState *state);
459
private:
460
  /// Eng - The SubEngine that owns this state manager.
461
  SubEngine *Eng; /* Can be null. */
462
463
  EnvironmentManager                   EnvMgr;
464
  std::unique_ptr<StoreManager>        StoreMgr;
465
  std::unique_ptr<ConstraintManager>   ConstraintMgr;
466
467
  ProgramState::GenericDataMap::Factory     GDMFactory;
468
469
  typedef llvm::DenseMap<void*,std::pair<void*,void (*)(void*)> > GDMContextsTy;
470
  GDMContextsTy GDMContexts;
471
472
  /// StateSet - FoldingSet containing all the states created for analyzing
473
  ///  a particular function.  This is used to unique states.
474
  llvm::FoldingSet<ProgramState> StateSet;
475
476
  /// Object that manages the data for all created SVals.
477
  std::unique_ptr<SValBuilder> svalBuilder;
478
479
  /// Manages memory for created CallEvents.
480
  std::unique_ptr<CallEventManager> CallEventMgr;
481
482
  /// A BumpPtrAllocator to allocate states.
483
  llvm::BumpPtrAllocator &Alloc;
484
485
  /// A vector of ProgramStates that we can reuse.
486
  std::vector<ProgramState *> freeStates;
487
488
public:
489
  ProgramStateManager(ASTContext &Ctx,
490
                 StoreManagerCreator CreateStoreManager,
491
                 ConstraintManagerCreator CreateConstraintManager,
492
                 llvm::BumpPtrAllocator& alloc,
493
                 SubEngine *subeng);
494
495
  ~ProgramStateManager();
496
497
  ProgramStateRef getInitialState(const LocationContext *InitLoc);
498
499
675k
  ASTContext &getContext() { return svalBuilder->getContext(); }
500
0
  const ASTContext &getContext() const { return svalBuilder->getContext(); }
501
502
8.20k
  BasicValueFactory &getBasicVals() {
503
8.20k
    return svalBuilder->getBasicValueFactory();
504
8.20k
  }
505
506
1.67M
  SValBuilder &getSValBuilder() {
507
1.67M
    return *svalBuilder;
508
1.67M
  }
509
510
0
  const SValBuilder &getSValBuilder() const {
511
0
    return *svalBuilder;
512
0
  }
513
514
17.1k
  SymbolManager &getSymbolManager() {
515
17.1k
    return svalBuilder->getSymbolManager();
516
17.1k
  }
517
0
  const SymbolManager &getSymbolManager() const {
518
0
    return svalBuilder->getSymbolManager();
519
0
  }
520
521
25.3k
  llvm::BumpPtrAllocator& getAllocator() { return Alloc; }
522
523
37.8k
  MemRegionManager& getRegionManager() {
524
37.8k
    return svalBuilder->getRegionManager();
525
37.8k
  }
526
0
  const MemRegionManager &getRegionManager() const {
527
0
    return svalBuilder->getRegionManager();
528
0
  }
529
530
1.21M
  CallEventManager &getCallEventManager() { return *CallEventMgr; }
531
532
10.4M
  StoreManager &getStoreManager() { return *StoreMgr; }
533
752k
  ConstraintManager &getConstraintManager() { return *ConstraintMgr; }
534
230k
  SubEngine &getOwningEngine() { return *Eng; }
535
536
  ProgramStateRef
537
  removeDeadBindingsFromEnvironmentAndStore(ProgramStateRef St,
538
                                            const StackFrameContext *LCtx,
539
                                            SymbolReaper &SymReaper);
540
541
public:
542
543
8.07k
  SVal ArrayToPointer(Loc Array, QualType ElementTy) {
544
8.07k
    return StoreMgr->ArrayToPointer(Array, ElementTy);
545
8.07k
  }
546
547
  // Methods that manipulate the GDM.
548
  ProgramStateRef addGDM(ProgramStateRef St, void *Key, void *Data);
549
  ProgramStateRef removeGDM(ProgramStateRef state, void *Key);
550
551
  // Methods that query & manipulate the Store.
552
553
16.3k
  void iterBindings(ProgramStateRef state, StoreManager::BindingsHandler& F) {
554
16.3k
    StoreMgr->iterBindings(state->getStore(), F);
555
16.3k
  }
556
557
  ProgramStateRef getPersistentState(ProgramState &Impl);
558
  ProgramStateRef getPersistentStateWithGDM(ProgramStateRef FromState,
559
                                           ProgramStateRef GDMState);
560
561
6.18k
  bool haveEqualConstraints(ProgramStateRef S1, ProgramStateRef S2) const {
562
6.18k
    return ConstraintMgr->haveEqualConstraints(S1, S2);
563
6.18k
  }
564
565
470k
  bool haveEqualEnvironments(ProgramStateRef S1, ProgramStateRef S2) const {
566
470k
    return S1->Env == S2->Env;
567
470k
  }
568
569
470k
  bool haveEqualStores(ProgramStateRef S1, ProgramStateRef S2) const {
570
470k
    return S1->store == S2->store;
571
470k
  }
572
573
  //==---------------------------------------------------------------------==//
574
  // Generic Data Map methods.
575
  //==---------------------------------------------------------------------==//
576
  //
577
  // ProgramStateManager and ProgramState support a "generic data map" that allows
578
  // different clients of ProgramState objects to embed arbitrary data within a
579
  // ProgramState object.  The generic data map is essentially an immutable map
580
  // from a "tag" (that acts as the "key" for a client) and opaque values.
581
  // Tags/keys and values are simply void* values.  The typical way that clients
582
  // generate unique tags are by taking the address of a static variable.
583
  // Clients are responsible for ensuring that data values referred to by a
584
  // the data pointer are immutable (and thus are essentially purely functional
585
  // data).
586
  //
587
  // The templated methods below use the ProgramStateTrait<T> class
588
  // to resolve keys into the GDM and to return data values to clients.
589
  //
590
591
  // Trait based GDM dispatch.
592
  template <typename T>
593
35.4k
  ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) {
594
35.4k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
595
35.4k
                  ProgramStateTrait<T>::MakeVoidPtr(D));
596
35.4k
  }
BlockInCriticalSectionChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::MutexCounter>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::MutexCounter>::data_type)
Line
Count
Source
593
25
  ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) {
594
25
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
595
25
                  ProgramStateTrait<T>::MakeVoidPtr(D));
596
25
  }
CStringChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::CStringLength>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::CStringLength>::data_type)
Line
Count
Source
593
3.32k
  ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) {
594
3.32k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
595
3.32k
                  ProgramStateTrait<T>::MakeVoidPtr(D));
596
3.32k
  }
llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<clang::ento::iterator::IteratorRegionMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<clang::ento::iterator::IteratorRegionMap>::data_type)
Line
Count
Source
593
347
  ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) {
594
347
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
595
347
                  ProgramStateTrait<T>::MakeVoidPtr(D));
596
347
  }
Unexecuted instantiation: llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<clang::ento::iterator::IteratorSymbolMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<clang::ento::iterator::IteratorSymbolMap>::data_type)
MallocChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::RegionState>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::data_type)
Line
Count
Source
593
1.00k
  ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) {
594
1.00k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
595
1.00k
                  ProgramStateTrait<T>::MakeVoidPtr(D));
596
1.00k
  }
MIGChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::ReleasedParameter>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::ReleasedParameter>::data_type)
Line
Count
Source
593
19
  ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) {
594
19
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
595
19
                  ProgramStateTrait<T>::MakeVoidPtr(D));
596
19
  }
NullabilityChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::InvariantViolated>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::InvariantViolated>::data_type)
Line
Count
Source
593
152
  ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) {
594
152
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
595
152
                  ProgramStateTrait<T>::MakeVoidPtr(D));
596
152
  }
ObjCSelfInitChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::CalledInit>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::CalledInit>::data_type)
Line
Count
Source
593
85
  ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) {
594
85
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
595
85
                  ProgramStateTrait<T>::MakeVoidPtr(D));
596
85
  }
ObjCSelfInitChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::PreCallSelfFlags>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::PreCallSelfFlags>::data_type)
Line
Count
Source
593
24
  ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) {
594
24
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
595
24
                  ProgramStateTrait<T>::MakeVoidPtr(D));
596
24
  }
PthreadLockChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::LockSet>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::LockSet>::data_type)
Line
Count
Source
593
45
  ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) {
594
45
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
595
45
                  ProgramStateTrait<T>::MakeVoidPtr(D));
596
45
  }
RetainCountChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::RefBindings>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::RefBindings>::data_type)
Line
Count
Source
593
1.43k
  ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) {
594
1.43k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
595
1.43k
                  ProgramStateTrait<T>::MakeVoidPtr(D));
596
1.43k
  }
TestAfterDivZeroChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::DivZeroMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::DivZeroMap>::data_type)
Line
Count
Source
593
48
  ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) {
594
48
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
595
48
                  ProgramStateTrait<T>::MakeVoidPtr(D));
596
48
  }
VforkChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::VforkResultRegion>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::VforkResultRegion>::data_type)
Line
Count
Source
593
14
  ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) {
594
14
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
595
14
                  ProgramStateTrait<T>::MakeVoidPtr(D));
596
14
  }
llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<clang::ento::ReplayWithoutInlining>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<clang::ento::ReplayWithoutInlining>::data_type)
Line
Count
Source
593
37
  ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) {
594
37
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
595
37
                  ProgramStateTrait<T>::MakeVoidPtr(D));
596
37
  }
LoopUnrolling.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::LoopStack>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::LoopStack>::data_type)
Line
Count
Source
593
166
  ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) {
594
166
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
595
166
                  ProgramStateTrait<T>::MakeVoidPtr(D));
596
166
  }
llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<clang::ento::ConstraintRange>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<clang::ento::ConstraintRange>::data_type)
Line
Count
Source
593
28.7k
  ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) {
594
28.7k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
595
28.7k
                  ProgramStateTrait<T>::MakeVoidPtr(D));
596
28.7k
  }
Unexecuted instantiation: SMTConstraintManager.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::ConstraintSMT>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::ConstraintSMT>::data_type)
597
598
  template<typename T>
599
  ProgramStateRef set(ProgramStateRef st,
600
                     typename ProgramStateTrait<T>::key_type K,
601
                     typename ProgramStateTrait<T>::value_type V,
602
217k
                     typename ProgramStateTrait<T>::context_type C) {
603
217k
604
217k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
605
217k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
606
217k
  }
BasicObjCFoundationChecks.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::ContainerNonEmptyMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerNonEmptyMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerNonEmptyMap>::value_type, clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerNonEmptyMap>::context_type)
Line
Count
Source
602
92
                     typename ProgramStateTrait<T>::context_type C) {
603
92
604
92
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
605
92
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
606
92
  }
BasicObjCFoundationChecks.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::ContainerCountMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerCountMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerCountMap>::value_type, clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerCountMap>::context_type)
Line
Count
Source
602
24
                     typename ProgramStateTrait<T>::context_type C) {
603
24
604
24
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
605
24
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
606
24
  }
CStringChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::CStringLength>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::CStringLength>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::CStringLength>::value_type, clang::ento::ProgramStateTrait<(anonymous namespace)::CStringLength>::context_type)
Line
Count
Source
602
1.03k
                     typename ProgramStateTrait<T>::context_type C) {
603
1.03k
604
1.03k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
605
1.03k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
606
1.03k
  }
CheckObjCDealloc.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::UnreleasedIvarMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::UnreleasedIvarMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::UnreleasedIvarMap>::value_type, clang::ento::ProgramStateTrait<(anonymous namespace)::UnreleasedIvarMap>::context_type)
Line
Count
Source
602
189
                     typename ProgramStateTrait<T>::context_type C) {
603
189
604
189
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
605
189
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
606
189
  }
llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<clang::ento::iterator::ContainerMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<clang::ento::iterator::ContainerMap>::key_type, clang::ento::ProgramStateTrait<clang::ento::iterator::ContainerMap>::value_type, clang::ento::ProgramStateTrait<clang::ento::iterator::ContainerMap>::context_type)
Line
Count
Source
602
1.22k
                     typename ProgramStateTrait<T>::context_type C) {
603
1.22k
604
1.22k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
605
1.22k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
606
1.22k
  }
DynamicTypePropagation.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::MostSpecializedTypeArgsMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::MostSpecializedTypeArgsMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::MostSpecializedTypeArgsMap>::value_type, clang::ento::ProgramStateTrait<(anonymous namespace)::MostSpecializedTypeArgsMap>::context_type)
Line
Count
Source
602
106
                     typename ProgramStateTrait<T>::context_type C) {
603
106
604
106
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
605
106
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
606
106
  }
ExprInspectionChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::DenotedSymbols>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::DenotedSymbols>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::DenotedSymbols>::value_type, clang::ento::ProgramStateTrait<(anonymous namespace)::DenotedSymbols>::context_type)
Line
Count
Source
602
733
                     typename ProgramStateTrait<T>::context_type C) {
603
733
604
733
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
605
733
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
606
733
  }
FuchsiaHandleChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::HStateMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::HStateMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::HStateMap>::value_type, clang::ento::ProgramStateTrait<(anonymous namespace)::HStateMap>::context_type)
Line
Count
Source
602
131
                     typename ProgramStateTrait<T>::context_type C) {
603
131
604
131
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
605
131
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
606
131
  }
InnerPointerChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::RawPtrMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::RawPtrMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::RawPtrMap>::value_type, clang::ento::ProgramStateTrait<(anonymous namespace)::RawPtrMap>::context_type)
Line
Count
Source
602
128
                     typename ProgramStateTrait<T>::context_type C) {
603
128
604
128
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
605
128
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
606
128
  }
llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<clang::ento::iterator::IteratorRegionMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<clang::ento::iterator::IteratorRegionMap>::key_type, clang::ento::ProgramStateTrait<clang::ento::iterator::IteratorRegionMap>::value_type, clang::ento::ProgramStateTrait<clang::ento::iterator::IteratorRegionMap>::context_type)
Line
Count
Source
602
5.53k
                     typename ProgramStateTrait<T>::context_type C) {
603
5.53k
604
5.53k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
605
5.53k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
606
5.53k
  }
llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<clang::ento::iterator::IteratorSymbolMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<clang::ento::iterator::IteratorSymbolMap>::key_type, clang::ento::ProgramStateTrait<clang::ento::iterator::IteratorSymbolMap>::value_type, clang::ento::ProgramStateTrait<clang::ento::iterator::IteratorSymbolMap>::context_type)
Line
Count
Source
602
271
                     typename ProgramStateTrait<T>::context_type C) {
603
271
604
271
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
605
271
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
606
271
  }
LocalizationChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::LocalizedMemMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::LocalizedMemMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::LocalizedMemMap>::value_type, clang::ento::ProgramStateTrait<(anonymous namespace)::LocalizedMemMap>::context_type)
Line
Count
Source
602
194
                     typename ProgramStateTrait<T>::context_type C) {
603
194
604
194
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
605
194
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
606
194
  }
MacOSKeychainAPIChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::AllocatedData>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::AllocatedData>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::AllocatedData>::value_type, clang::ento::ProgramStateTrait<(anonymous namespace)::AllocatedData>::context_type)
Line
Count
Source
602
28
                     typename ProgramStateTrait<T>::context_type C) {
603
28
604
28
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
605
28
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
606
28
  }
MallocChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::RegionState>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::value_type, clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::context_type)
Line
Count
Source
602
2.67k
                     typename ProgramStateTrait<T>::context_type C) {
603
2.67k
604
2.67k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
605
2.67k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
606
2.67k
  }
MallocChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::ReallocPairs>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocPairs>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocPairs>::value_type, clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocPairs>::context_type)
Line
Count
Source
602
54
                     typename ProgramStateTrait<T>::context_type C) {
603
54
604
54
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
605
54
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
606
54
  }
MallocChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::FreeReturnValue>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::FreeReturnValue>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::FreeReturnValue>::value_type, clang::ento::ProgramStateTrait<(anonymous namespace)::FreeReturnValue>::context_type)
Line
Count
Source
602
21
                     typename ProgramStateTrait<T>::context_type C) {
603
21
604
21
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
605
21
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
606
21
  }
MoveChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::TrackedRegionMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::TrackedRegionMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::TrackedRegionMap>::value_type, clang::ento::ProgramStateTrait<(anonymous namespace)::TrackedRegionMap>::context_type)
Line
Count
Source
602
2.07k
                     typename ProgramStateTrait<T>::context_type C) {
603
2.07k
604
2.07k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
605
2.07k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
606
2.07k
  }
llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<clang::ento::mpi::RequestMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<clang::ento::mpi::RequestMap>::key_type, clang::ento::ProgramStateTrait<clang::ento::mpi::RequestMap>::value_type, clang::ento::ProgramStateTrait<clang::ento::mpi::RequestMap>::context_type)
Line
Count
Source
602
97
                     typename ProgramStateTrait<T>::context_type C) {
603
97
604
97
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
605
97
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
606
97
  }
NSErrorChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::NSErrorOut>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::NSErrorOut>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::NSErrorOut>::value_type, clang::ento::ProgramStateTrait<(anonymous namespace)::NSErrorOut>::context_type)
Line
Count
Source
602
3
                     typename ProgramStateTrait<T>::context_type C) {
603
3
604
3
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
605
3
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
606
3
  }
NSErrorChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::CFErrorOut>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::CFErrorOut>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::CFErrorOut>::value_type, clang::ento::ProgramStateTrait<(anonymous namespace)::CFErrorOut>::context_type)
Line
Count
Source
602
7
                     typename ProgramStateTrait<T>::context_type C) {
603
7
604
7
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
605
7
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
606
7
  }
NullabilityChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::NullabilityMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::NullabilityMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::NullabilityMap>::value_type, clang::ento::ProgramStateTrait<(anonymous namespace)::NullabilityMap>::context_type)
Line
Count
Source
602
94
                     typename ProgramStateTrait<T>::context_type C) {
603
94
604
94
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
605
94
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
606
94
  }
ObjCContainersChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::ArraySizeMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::ArraySizeMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::ArraySizeMap>::value_type, clang::ento::ProgramStateTrait<(anonymous namespace)::ArraySizeMap>::context_type)
Line
Count
Source
602
19
                     typename ProgramStateTrait<T>::context_type C) {
603
19
604
19
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
605
19
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
606
19
  }
ObjCSelfInitChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::SelfFlag>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::SelfFlag>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::SelfFlag>::value_type, clang::ento::ProgramStateTrait<(anonymous namespace)::SelfFlag>::context_type)
Line
Count
Source
602
344
                     typename ProgramStateTrait<T>::context_type C) {
603
344
604
344
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
605
344
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
606
344
  }
PointerArithChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::RegionState>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::value_type, clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::context_type)
Line
Count
Source
602
5.37k
                     typename ProgramStateTrait<T>::context_type C) {
603
5.37k
604
5.37k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
605
5.37k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
606
5.37k
  }
PthreadLockChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::LockMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::LockMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::LockMap>::value_type, clang::ento::ProgramStateTrait<(anonymous namespace)::LockMap>::context_type)
Line
Count
Source
602
249
                     typename ProgramStateTrait<T>::context_type C) {
603
249
604
249
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
605
249
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
606
249
  }
PthreadLockChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::DestroyRetVal>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::DestroyRetVal>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::DestroyRetVal>::value_type, clang::ento::ProgramStateTrait<(anonymous namespace)::DestroyRetVal>::context_type)
Line
Count
Source
602
35
                     typename ProgramStateTrait<T>::context_type C) {
603
35
604
35
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
605
35
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
606
35
  }
RetainCountChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::RefBindings>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::RefBindings>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::RefBindings>::value_type, clang::ento::ProgramStateTrait<(anonymous namespace)::RefBindings>::context_type)
Line
Count
Source
602
4.13k
                     typename ProgramStateTrait<T>::context_type C) {
603
4.13k
604
4.13k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
605
4.13k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
606
4.13k
  }
SimpleStreamChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::StreamMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::value_type, clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::context_type)
Line
Count
Source
602
17
                     typename ProgramStateTrait<T>::context_type C) {
603
17
604
17
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
605
17
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
606
17
  }
StreamChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::StreamMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::value_type, clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::context_type)
Line
Count
Source
602
63
                     typename ProgramStateTrait<T>::context_type C) {
603
63
604
63
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
605
63
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
606
63
  }
Taint.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::TaintMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::TaintMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::TaintMap>::value_type, clang::ento::ProgramStateTrait<(anonymous namespace)::TaintMap>::context_type)
Line
Count
Source
602
193
                     typename ProgramStateTrait<T>::context_type C) {
603
193
604
193
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
605
193
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
606
193
  }
Taint.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::DerivedSymTaint>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::DerivedSymTaint>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::DerivedSymTaint>::value_type, clang::ento::ProgramStateTrait<(anonymous namespace)::DerivedSymTaint>::context_type)
Line
Count
Source
602
6
                     typename ProgramStateTrait<T>::context_type C) {
603
6
604
6
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
605
6
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
606
6
  }
Unexecuted instantiation: TrustNonnullChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::NonNullImplicationMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::NonNullImplicationMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::NonNullImplicationMap>::value_type, clang::ento::ProgramStateTrait<(anonymous namespace)::NonNullImplicationMap>::context_type)
Unexecuted instantiation: TrustNonnullChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::NullImplicationMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::NullImplicationMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::NullImplicationMap>::value_type, clang::ento::ProgramStateTrait<(anonymous namespace)::NullImplicationMap>::context_type)
VirtualCallChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::CtorDtorMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::CtorDtorMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::CtorDtorMap>::value_type, clang::ento::ProgramStateTrait<(anonymous namespace)::CtorDtorMap>::context_type)
Line
Count
Source
602
1.39k
                     typename ProgramStateTrait<T>::context_type C) {
603
1.39k
604
1.39k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
605
1.39k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
606
1.39k
  }
DynamicType.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::DynamicTypeMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicTypeMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicTypeMap>::value_type, clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicTypeMap>::context_type)
Line
Count
Source
602
9.40k
                     typename ProgramStateTrait<T>::context_type C) {
603
9.40k
604
9.40k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
605
9.40k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
606
9.40k
  }
DynamicType.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::DynamicCastMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicCastMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicCastMap>::value_type, clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicCastMap>::context_type)
Line
Count
Source
602
54
                     typename ProgramStateTrait<T>::context_type C) {
603
54
604
54
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
605
54
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
606
54
  }
ExprEngine.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::ObjectsUnderConstruction>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::ObjectsUnderConstruction>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::ObjectsUnderConstruction>::value_type, clang::ento::ProgramStateTrait<(anonymous namespace)::ObjectsUnderConstruction>::context_type)
Line
Count
Source
602
46.4k
                     typename ProgramStateTrait<T>::context_type C) {
603
46.4k
604
46.4k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
605
46.4k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
606
46.4k
  }
ExprEngineCallAndReturn.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::DynamicDispatchBifurcationMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicDispatchBifurcationMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicDispatchBifurcationMap>::value_type, clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicDispatchBifurcationMap>::context_type)
Line
Count
Source
602
18
                     typename ProgramStateTrait<T>::context_type C) {
603
18
604
18
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
605
18
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
606
18
  }
llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<clang::ento::ConstraintRange>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<clang::ento::ConstraintRange>::key_type, clang::ento::ProgramStateTrait<clang::ento::ConstraintRange>::value_type, clang::ento::ProgramStateTrait<clang::ento::ConstraintRange>::context_type)
Line
Count
Source
602
135k
                     typename ProgramStateTrait<T>::context_type C) {
603
135k
604
135k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
605
135k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
606
135k
  }
607
608
  template <typename T>
609
  ProgramStateRef add(ProgramStateRef st,
610
                     typename ProgramStateTrait<T>::key_type K,
611
1.10k
                     typename ProgramStateTrait<T>::context_type C) {
612
1.10k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
613
1.10k
        ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Add(st->get<T>(), K, C)));
614
1.10k
  }
ExprInspectionChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::add<(anonymous namespace)::MarkedSymbols>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::MarkedSymbols>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::MarkedSymbols>::context_type)
Line
Count
Source
611
15
                     typename ProgramStateTrait<T>::context_type C) {
612
15
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
613
15
        ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Add(st->get<T>(), K, C)));
614
15
  }
GenericTaintChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::add<(anonymous namespace)::TaintArgsOnPostVisit>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::TaintArgsOnPostVisit>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::TaintArgsOnPostVisit>::context_type)
Line
Count
Source
611
199
                     typename ProgramStateTrait<T>::context_type C) {
612
199
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
613
199
        ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Add(st->get<T>(), K, C)));
614
199
  }
MallocChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::add<(anonymous namespace)::ReallocSizeZeroSymbols>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocSizeZeroSymbols>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocSizeZeroSymbols>::context_type)
Line
Count
Source
611
19
                     typename ProgramStateTrait<T>::context_type C) {
612
19
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
613
19
        ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Add(st->get<T>(), K, C)));
614
19
  }
MIGChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::add<(anonymous namespace)::RefCountedParameters>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::RefCountedParameters>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::RefCountedParameters>::context_type)
Line
Count
Source
611
1
                     typename ProgramStateTrait<T>::context_type C) {
612
1
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
613
1
        ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Add(st->get<T>(), K, C)));
614
1
  }
ObjCSuperDeallocChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::add<(anonymous namespace)::CalledSuperDealloc>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::CalledSuperDealloc>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::CalledSuperDealloc>::context_type)
Line
Count
Source
611
27
                     typename ProgramStateTrait<T>::context_type C) {
612
27
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
613
27
        ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Add(st->get<T>(), K, C)));
614
27
  }
PthreadLockChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::add<(anonymous namespace)::LockSet>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::LockSet>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::LockSet>::context_type)
Line
Count
Source
611
86
                     typename ProgramStateTrait<T>::context_type C) {
612
86
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
613
86
        ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Add(st->get<T>(), K, C)));
614
86
  }
TestAfterDivZeroChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::add<(anonymous namespace)::DivZeroMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::DivZeroMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::DivZeroMap>::context_type)
Line
Count
Source
611
68
                     typename ProgramStateTrait<T>::context_type C) {
612
68
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
613
68
        ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Add(st->get<T>(), K, C)));
614
68
  }
UninitializedObjectChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::add<(anonymous namespace)::AnalyzedRegions>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::AnalyzedRegions>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::AnalyzedRegions>::context_type)
Line
Count
Source
611
206
                     typename ProgramStateTrait<T>::context_type C) {
612
206
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
613
206
        ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Add(st->get<T>(), K, C)));
614
206
  }
ValistChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::add<(anonymous namespace)::InitializedVALists>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::InitializedVALists>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::InitializedVALists>::context_type)
Line
Count
Source
611
103
                     typename ProgramStateTrait<T>::context_type C) {
612
103
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
613
103
        ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Add(st->get<T>(), K, C)));
614
103
  }
ExprEngine.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::add<(anonymous namespace)::InitializedGlobalsSet>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::InitializedGlobalsSet>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::InitializedGlobalsSet>::context_type)
Line
Count
Source
611
193
                     typename ProgramStateTrait<T>::context_type C) {
612
193
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
613
193
        ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Add(st->get<T>(), K, C)));
614
193
  }
LoopUnrolling.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::add<(anonymous namespace)::LoopStack>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::LoopStack>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::LoopStack>::context_type)
Line
Count
Source
611
185
                     typename ProgramStateTrait<T>::context_type C) {
612
185
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
613
185
        ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Add(st->get<T>(), K, C)));
614
185
  }
Unexecuted instantiation: SMTConstraintManager.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::add<(anonymous namespace)::ConstraintSMT>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::ConstraintSMT>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::ConstraintSMT>::context_type)
615
616
  template <typename T>
617
  ProgramStateRef remove(ProgramStateRef st,
618
                        typename ProgramStateTrait<T>::key_type K,
619
945k
                        typename ProgramStateTrait<T>::context_type C) {
620
945k
621
945k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
622
945k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
623
945k
  }
BasicObjCFoundationChecks.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<(anonymous namespace)::ContainerNonEmptyMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerNonEmptyMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerNonEmptyMap>::context_type)
Line
Count
Source
619
524
                        typename ProgramStateTrait<T>::context_type C) {
620
524
621
524
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
622
524
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
623
524
  }
BasicObjCFoundationChecks.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<(anonymous namespace)::ContainerCountMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerCountMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerCountMap>::context_type)
Line
Count
Source
619
516
                        typename ProgramStateTrait<T>::context_type C) {
620
516
621
516
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
622
516
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
623
516
  }
CStringChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<(anonymous namespace)::CStringLength>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::CStringLength>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::CStringLength>::context_type)
Line
Count
Source
619
51
                        typename ProgramStateTrait<T>::context_type C) {
620
51
621
51
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
622
51
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
623
51
  }
CheckObjCDealloc.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<(anonymous namespace)::UnreleasedIvarMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::UnreleasedIvarMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::UnreleasedIvarMap>::context_type)
Line
Count
Source
619
125
                        typename ProgramStateTrait<T>::context_type C) {
620
125
621
125
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
622
125
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
623
125
  }
llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<clang::ento::iterator::ContainerMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<clang::ento::iterator::ContainerMap>::key_type, clang::ento::ProgramStateTrait<clang::ento::iterator::ContainerMap>::context_type)
Line
Count
Source
619
503
                        typename ProgramStateTrait<T>::context_type C) {
620
503
621
503
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
622
503
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
623
503
  }
DynamicTypePropagation.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<(anonymous namespace)::MostSpecializedTypeArgsMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::MostSpecializedTypeArgsMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::MostSpecializedTypeArgsMap>::context_type)
Line
Count
Source
619
106
                        typename ProgramStateTrait<T>::context_type C) {
620
106
621
106
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
622
106
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
623
106
  }
ExprInspectionChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<(anonymous namespace)::MarkedSymbols>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::MarkedSymbols>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::MarkedSymbols>::context_type)
Line
Count
Source
619
9
                        typename ProgramStateTrait<T>::context_type C) {
620
9
621
9
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
622
9
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
623
9
  }
ExprInspectionChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<(anonymous namespace)::DenotedSymbols>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::DenotedSymbols>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::DenotedSymbols>::context_type)
Line
Count
Source
619
463
                        typename ProgramStateTrait<T>::context_type C) {
620
463
621
463
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
622
463
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
623
463
  }
FuchsiaHandleChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<(anonymous namespace)::HStateMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::HStateMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::HStateMap>::context_type)
Line
Count
Source
619
101
                        typename ProgramStateTrait<T>::context_type C) {
620
101
621
101
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
622
101
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
623
101
  }
InnerPointerChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<(anonymous namespace)::RawPtrMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::RawPtrMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::RawPtrMap>::context_type)
Line
Count
Source
619
41
                        typename ProgramStateTrait<T>::context_type C) {
620
41
621
41
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
622
41
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
623
41
  }
llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<clang::ento::iterator::IteratorRegionMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<clang::ento::iterator::IteratorRegionMap>::key_type, clang::ento::ProgramStateTrait<clang::ento::iterator::IteratorRegionMap>::context_type)
Line
Count
Source
619
2.80k
                        typename ProgramStateTrait<T>::context_type C) {
620
2.80k
621
2.80k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
622
2.80k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
623
2.80k
  }
llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<clang::ento::iterator::IteratorSymbolMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<clang::ento::iterator::IteratorSymbolMap>::key_type, clang::ento::ProgramStateTrait<clang::ento::iterator::IteratorSymbolMap>::context_type)
Line
Count
Source
619
213
                        typename ProgramStateTrait<T>::context_type C) {
620
213
621
213
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
622
213
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
623
213
  }
MacOSKeychainAPIChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<(anonymous namespace)::AllocatedData>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::AllocatedData>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::AllocatedData>::context_type)
Line
Count
Source
619
56
                        typename ProgramStateTrait<T>::context_type C) {
620
56
621
56
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
622
56
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
623
56
  }
MallocChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<(anonymous namespace)::ReallocPairs>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocPairs>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocPairs>::context_type)
Line
Count
Source
619
84
                        typename ProgramStateTrait<T>::context_type C) {
620
84
621
84
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
622
84
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
623
84
  }
MallocChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<(anonymous namespace)::FreeReturnValue>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::FreeReturnValue>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::FreeReturnValue>::context_type)
Line
Count
Source
619
705
                        typename ProgramStateTrait<T>::context_type C) {
620
705
621
705
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
622
705
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
623
705
  }
MallocChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<(anonymous namespace)::RegionState>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::context_type)
Line
Count
Source
619
687
                        typename ProgramStateTrait<T>::context_type C) {
620
687
621
687
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
622
687
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
623
687
  }
MoveChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<(anonymous namespace)::TrackedRegionMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::TrackedRegionMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::TrackedRegionMap>::context_type)
Line
Count
Source
619
1.74k
                        typename ProgramStateTrait<T>::context_type C) {
620
1.74k
621
1.74k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
622
1.74k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
623
1.74k
  }
llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<clang::ento::mpi::RequestMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<clang::ento::mpi::RequestMap>::key_type, clang::ento::ProgramStateTrait<clang::ento::mpi::RequestMap>::context_type)
Line
Count
Source
619
56
                        typename ProgramStateTrait<T>::context_type C) {
620
56
621
56
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
622
56
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
623
56
  }
NullabilityChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<(anonymous namespace)::NullabilityMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::NullabilityMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::NullabilityMap>::context_type)
Line
Count
Source
619
238
                        typename ProgramStateTrait<T>::context_type C) {
620
238
621
238
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
622
238
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
623
238
  }
ObjCContainersChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<(anonymous namespace)::ArraySizeMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::ArraySizeMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::ArraySizeMap>::context_type)
Line
Count
Source
619
373
                        typename ProgramStateTrait<T>::context_type C) {
620
373
621
373
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
622
373
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
623
373
  }
Unexecuted instantiation: ObjCSelfInitChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<(anonymous namespace)::SelfFlag>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::SelfFlag>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::SelfFlag>::context_type)
PthreadLockChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<(anonymous namespace)::LockMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::LockMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::LockMap>::context_type)
Line
Count
Source
619
7.26k
                        typename ProgramStateTrait<T>::context_type C) {
620
7.26k
621
7.26k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
622
7.26k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
623
7.26k
  }
PthreadLockChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<(anonymous namespace)::DestroyRetVal>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::DestroyRetVal>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::DestroyRetVal>::context_type)
Line
Count
Source
619
7.28k
                        typename ProgramStateTrait<T>::context_type C) {
620
7.28k
621
7.28k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
622
7.28k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
623
7.28k
  }
RetainCountChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<(anonymous namespace)::RefBindings>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::RefBindings>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::RefBindings>::context_type)
Line
Count
Source
619
6.14k
                        typename ProgramStateTrait<T>::context_type C) {
620
6.14k
621
6.14k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
622
6.14k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
623
6.14k
  }
SimpleStreamChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<(anonymous namespace)::StreamMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::context_type)
Line
Count
Source
619
90
                        typename ProgramStateTrait<T>::context_type C) {
620
90
621
90
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
622
90
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
623
90
  }
Taint.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<(anonymous namespace)::TaintMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::TaintMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::TaintMap>::context_type)
Line
Count
Source
619
5
                        typename ProgramStateTrait<T>::context_type C) {
620
5
621
5
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
622
5
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
623
5
  }
Unexecuted instantiation: TrustNonnullChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<(anonymous namespace)::NullImplicationMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::NullImplicationMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::NullImplicationMap>::context_type)
Unexecuted instantiation: TrustNonnullChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<(anonymous namespace)::NonNullImplicationMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::NonNullImplicationMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::NonNullImplicationMap>::context_type)
UninitializedObjectChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<(anonymous namespace)::AnalyzedRegions>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::AnalyzedRegions>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::AnalyzedRegions>::context_type)
Line
Count
Source
619
274
                        typename ProgramStateTrait<T>::context_type C) {
620
274
621
274
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
622
274
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
623
274
  }
ValistChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<(anonymous namespace)::InitializedVALists>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::InitializedVALists>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::InitializedVALists>::context_type)
Line
Count
Source
619
102
                        typename ProgramStateTrait<T>::context_type C) {
620
102
621
102
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
622
102
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
623
102
  }
VirtualCallChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<(anonymous namespace)::CtorDtorMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::CtorDtorMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::CtorDtorMap>::context_type)
Line
Count
Source
619
1.36k
                        typename ProgramStateTrait<T>::context_type C) {
620
1.36k
621
1.36k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
622
1.36k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
623
1.36k
  }
DynamicType.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<(anonymous namespace)::DynamicCastMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicCastMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicCastMap>::context_type)
Line
Count
Source
619
861k
                        typename ProgramStateTrait<T>::context_type C) {
620
861k
621
861k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
622
861k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
623
861k
  }
ExprEngine.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<(anonymous namespace)::ObjectsUnderConstruction>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::ObjectsUnderConstruction>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::ObjectsUnderConstruction>::context_type)
Line
Count
Source
619
51.3k
                        typename ProgramStateTrait<T>::context_type C) {
620
51.3k
621
51.3k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
622
51.3k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
623
51.3k
  }
624
625
  template <typename T>
626
218
  ProgramStateRef remove(ProgramStateRef st) {
627
218
    return removeGDM(st, ProgramStateTrait<T>::GDMIndex());
628
218
  }
GenericTaintChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<(anonymous namespace)::TaintArgsOnPostVisit>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>)
Line
Count
Source
626
156
  ProgramStateRef remove(ProgramStateRef st) {
627
156
    return removeGDM(st, ProgramStateTrait<T>::GDMIndex());
628
156
  }
ObjCSelfInitChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<(anonymous namespace)::PreCallSelfFlags>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>)
Line
Count
Source
626
26
  ProgramStateRef remove(ProgramStateRef st) {
627
26
    return removeGDM(st, ProgramStateTrait<T>::GDMIndex());
628
26
  }
ObjCSelfInitChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<(anonymous namespace)::CalledInit>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>)
Line
Count
Source
626
4
  ProgramStateRef remove(ProgramStateRef st) {
627
4
    return removeGDM(st, ProgramStateTrait<T>::GDMIndex());
628
4
  }
llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<clang::ento::ReplayWithoutInlining>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>)
Line
Count
Source
626
32
  ProgramStateRef remove(ProgramStateRef st) {
627
32
    return removeGDM(st, ProgramStateTrait<T>::GDMIndex());
628
32
  }
629
630
  void *FindGDMContext(void *index,
631
                       void *(*CreateContext)(llvm::BumpPtrAllocator&),
632
                       void  (*DeleteContext)(void*));
633
634
  template <typename T>
635
1.83M
  typename ProgramStateTrait<T>::context_type get_context() {
636
1.83M
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
1.83M
                             ProgramStateTrait<T>::CreateContext,
638
1.83M
                             ProgramStateTrait<T>::DeleteContext);
639
1.83M
640
1.83M
    return ProgramStateTrait<T>::MakeContext(p);
641
1.83M
  }
BasicObjCFoundationChecks.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerNonEmptyMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::ContainerNonEmptyMap>()
Line
Count
Source
635
616
  typename ProgramStateTrait<T>::context_type get_context() {
636
616
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
616
                             ProgramStateTrait<T>::CreateContext,
638
616
                             ProgramStateTrait<T>::DeleteContext);
639
616
640
616
    return ProgramStateTrait<T>::MakeContext(p);
641
616
  }
BasicObjCFoundationChecks.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerCountMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::ContainerCountMap>()
Line
Count
Source
635
540
  typename ProgramStateTrait<T>::context_type get_context() {
636
540
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
540
                             ProgramStateTrait<T>::CreateContext,
638
540
                             ProgramStateTrait<T>::DeleteContext);
639
540
640
540
    return ProgramStateTrait<T>::MakeContext(p);
641
540
  }
CStringChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CStringLength>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::CStringLength>()
Line
Count
Source
635
4.41k
  typename ProgramStateTrait<T>::context_type get_context() {
636
4.41k
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
4.41k
                             ProgramStateTrait<T>::CreateContext,
638
4.41k
                             ProgramStateTrait<T>::DeleteContext);
639
4.41k
640
4.41k
    return ProgramStateTrait<T>::MakeContext(p);
641
4.41k
  }
clang::ento::ProgramStateTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > >::context_type clang::ento::ProgramStateManager::get_context<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > >()
Line
Count
Source
635
74.0k
  typename ProgramStateTrait<T>::context_type get_context() {
636
74.0k
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
74.0k
                             ProgramStateTrait<T>::CreateContext,
638
74.0k
                             ProgramStateTrait<T>::DeleteContext);
639
74.0k
640
74.0k
    return ProgramStateTrait<T>::MakeContext(p);
641
74.0k
  }
CheckObjCDealloc.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::UnreleasedIvarMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::UnreleasedIvarMap>()
Line
Count
Source
635
314
  typename ProgramStateTrait<T>::context_type get_context() {
636
314
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
314
                             ProgramStateTrait<T>::CreateContext,
638
314
                             ProgramStateTrait<T>::DeleteContext);
639
314
640
314
    return ProgramStateTrait<T>::MakeContext(p);
641
314
  }
clang::ento::ProgramStateTrait<clang::ento::iterator::IteratorRegionMap>::context_type clang::ento::ProgramStateManager::get_context<clang::ento::iterator::IteratorRegionMap>()
Line
Count
Source
635
8.71k
  typename ProgramStateTrait<T>::context_type get_context() {
636
8.71k
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
8.71k
                             ProgramStateTrait<T>::CreateContext,
638
8.71k
                             ProgramStateTrait<T>::DeleteContext);
639
8.71k
640
8.71k
    return ProgramStateTrait<T>::MakeContext(p);
641
8.71k
  }
clang::ento::ProgramStateTrait<clang::ento::iterator::IteratorSymbolMap>::context_type clang::ento::ProgramStateManager::get_context<clang::ento::iterator::IteratorSymbolMap>()
Line
Count
Source
635
863
  typename ProgramStateTrait<T>::context_type get_context() {
636
863
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
863
                             ProgramStateTrait<T>::CreateContext,
638
863
                             ProgramStateTrait<T>::DeleteContext);
639
863
640
863
    return ProgramStateTrait<T>::MakeContext(p);
641
863
  }
clang::ento::ProgramStateTrait<clang::ento::iterator::ContainerMap>::context_type clang::ento::ProgramStateManager::get_context<clang::ento::iterator::ContainerMap>()
Line
Count
Source
635
1.72k
  typename ProgramStateTrait<T>::context_type get_context() {
636
1.72k
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
1.72k
                             ProgramStateTrait<T>::CreateContext,
638
1.72k
                             ProgramStateTrait<T>::DeleteContext);
639
1.72k
640
1.72k
    return ProgramStateTrait<T>::MakeContext(p);
641
1.72k
  }
DynamicTypePropagation.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::MostSpecializedTypeArgsMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::MostSpecializedTypeArgsMap>()
Line
Count
Source
635
212
  typename ProgramStateTrait<T>::context_type get_context() {
636
212
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
212
                             ProgramStateTrait<T>::CreateContext,
638
212
                             ProgramStateTrait<T>::DeleteContext);
639
212
640
212
    return ProgramStateTrait<T>::MakeContext(p);
641
212
  }
ExprInspectionChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::MarkedSymbols>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::MarkedSymbols>()
Line
Count
Source
635
24
  typename ProgramStateTrait<T>::context_type get_context() {
636
24
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
24
                             ProgramStateTrait<T>::CreateContext,
638
24
                             ProgramStateTrait<T>::DeleteContext);
639
24
640
24
    return ProgramStateTrait<T>::MakeContext(p);
641
24
  }
ExprInspectionChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DenotedSymbols>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::DenotedSymbols>()
Line
Count
Source
635
1.19k
  typename ProgramStateTrait<T>::context_type get_context() {
636
1.19k
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
1.19k
                             ProgramStateTrait<T>::CreateContext,
638
1.19k
                             ProgramStateTrait<T>::DeleteContext);
639
1.19k
640
1.19k
    return ProgramStateTrait<T>::MakeContext(p);
641
1.19k
  }
FuchsiaHandleChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::HStateMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::HStateMap>()
Line
Count
Source
635
232
  typename ProgramStateTrait<T>::context_type get_context() {
636
232
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
232
                             ProgramStateTrait<T>::CreateContext,
638
232
                             ProgramStateTrait<T>::DeleteContext);
639
232
640
232
    return ProgramStateTrait<T>::MakeContext(p);
641
232
  }
GenericTaintChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TaintArgsOnPostVisit>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::TaintArgsOnPostVisit>()
Line
Count
Source
635
199
  typename ProgramStateTrait<T>::context_type get_context() {
636
199
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
199
                             ProgramStateTrait<T>::CreateContext,
638
199
                             ProgramStateTrait<T>::DeleteContext);
639
199
640
199
    return ProgramStateTrait<T>::MakeContext(p);
641
199
  }
InnerPointerChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RawPtrMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::RawPtrMap>()
Line
Count
Source
635
169
  typename ProgramStateTrait<T>::context_type get_context() {
636
169
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
169
                             ProgramStateTrait<T>::CreateContext,
638
169
                             ProgramStateTrait<T>::DeleteContext);
639
169
640
169
    return ProgramStateTrait<T>::MakeContext(p);
641
169
  }
LocalizationChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LocalizedMemMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::LocalizedMemMap>()
Line
Count
Source
635
194
  typename ProgramStateTrait<T>::context_type get_context() {
636
194
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
194
                             ProgramStateTrait<T>::CreateContext,
638
194
                             ProgramStateTrait<T>::DeleteContext);
639
194
640
194
    return ProgramStateTrait<T>::MakeContext(p);
641
194
  }
MacOSKeychainAPIChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::AllocatedData>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::AllocatedData>()
Line
Count
Source
635
84
  typename ProgramStateTrait<T>::context_type get_context() {
636
84
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
84
                             ProgramStateTrait<T>::CreateContext,
638
84
                             ProgramStateTrait<T>::DeleteContext);
639
84
640
84
    return ProgramStateTrait<T>::MakeContext(p);
641
84
  }
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::RegionState>()
Line
Count
Source
635
120k
  typename ProgramStateTrait<T>::context_type get_context() {
636
120k
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
120k
                             ProgramStateTrait<T>::CreateContext,
638
120k
                             ProgramStateTrait<T>::DeleteContext);
639
120k
640
120k
    return ProgramStateTrait<T>::MakeContext(p);
641
120k
  }
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocPairs>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::ReallocPairs>()
Line
Count
Source
635
138
  typename ProgramStateTrait<T>::context_type get_context() {
636
138
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
138
                             ProgramStateTrait<T>::CreateContext,
638
138
                             ProgramStateTrait<T>::DeleteContext);
639
138
640
138
    return ProgramStateTrait<T>::MakeContext(p);
641
138
  }
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::FreeReturnValue>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::FreeReturnValue>()
Line
Count
Source
635
726
  typename ProgramStateTrait<T>::context_type get_context() {
636
726
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
726
                             ProgramStateTrait<T>::CreateContext,
638
726
                             ProgramStateTrait<T>::DeleteContext);
639
726
640
726
    return ProgramStateTrait<T>::MakeContext(p);
641
726
  }
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocSizeZeroSymbols>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::ReallocSizeZeroSymbols>()
Line
Count
Source
635
19
  typename ProgramStateTrait<T>::context_type get_context() {
636
19
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
19
                             ProgramStateTrait<T>::CreateContext,
638
19
                             ProgramStateTrait<T>::DeleteContext);
639
19
640
19
    return ProgramStateTrait<T>::MakeContext(p);
641
19
  }
MIGChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RefCountedParameters>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::RefCountedParameters>()
Line
Count
Source
635
1
  typename ProgramStateTrait<T>::context_type get_context() {
636
1
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
1
                             ProgramStateTrait<T>::CreateContext,
638
1
                             ProgramStateTrait<T>::DeleteContext);
639
1
640
1
    return ProgramStateTrait<T>::MakeContext(p);
641
1
  }
MoveChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TrackedRegionMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::TrackedRegionMap>()
Line
Count
Source
635
3.82k
  typename ProgramStateTrait<T>::context_type get_context() {
636
3.82k
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
3.82k
                             ProgramStateTrait<T>::CreateContext,
638
3.82k
                             ProgramStateTrait<T>::DeleteContext);
639
3.82k
640
3.82k
    return ProgramStateTrait<T>::MakeContext(p);
641
3.82k
  }
clang::ento::ProgramStateTrait<clang::ento::mpi::RequestMap>::context_type clang::ento::ProgramStateManager::get_context<clang::ento::mpi::RequestMap>()
Line
Count
Source
635
153
  typename ProgramStateTrait<T>::context_type get_context() {
636
153
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
153
                             ProgramStateTrait<T>::CreateContext,
638
153
                             ProgramStateTrait<T>::DeleteContext);
639
153
640
153
    return ProgramStateTrait<T>::MakeContext(p);
641
153
  }
NSErrorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NSErrorOut>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::NSErrorOut>()
Line
Count
Source
635
3
  typename ProgramStateTrait<T>::context_type get_context() {
636
3
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
3
                             ProgramStateTrait<T>::CreateContext,
638
3
                             ProgramStateTrait<T>::DeleteContext);
639
3
640
3
    return ProgramStateTrait<T>::MakeContext(p);
641
3
  }
NSErrorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CFErrorOut>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::CFErrorOut>()
Line
Count
Source
635
7
  typename ProgramStateTrait<T>::context_type get_context() {
636
7
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
7
                             ProgramStateTrait<T>::CreateContext,
638
7
                             ProgramStateTrait<T>::DeleteContext);
639
7
640
7
    return ProgramStateTrait<T>::MakeContext(p);
641
7
  }
NullabilityChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NullabilityMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::NullabilityMap>()
Line
Count
Source
635
332
  typename ProgramStateTrait<T>::context_type get_context() {
636
332
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
332
                             ProgramStateTrait<T>::CreateContext,
638
332
                             ProgramStateTrait<T>::DeleteContext);
639
332
640
332
    return ProgramStateTrait<T>::MakeContext(p);
641
332
  }
ObjCContainersChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ArraySizeMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::ArraySizeMap>()
Line
Count
Source
635
392
  typename ProgramStateTrait<T>::context_type get_context() {
636
392
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
392
                             ProgramStateTrait<T>::CreateContext,
638
392
                             ProgramStateTrait<T>::DeleteContext);
639
392
640
392
    return ProgramStateTrait<T>::MakeContext(p);
641
392
  }
ObjCSelfInitChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::SelfFlag>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::SelfFlag>()
Line
Count
Source
635
344
  typename ProgramStateTrait<T>::context_type get_context() {
636
344
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
344
                             ProgramStateTrait<T>::CreateContext,
638
344
                             ProgramStateTrait<T>::DeleteContext);
639
344
640
344
    return ProgramStateTrait<T>::MakeContext(p);
641
344
  }
ObjCSuperDeallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CalledSuperDealloc>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::CalledSuperDealloc>()
Line
Count
Source
635
27
  typename ProgramStateTrait<T>::context_type get_context() {
636
27
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
27
                             ProgramStateTrait<T>::CreateContext,
638
27
                             ProgramStateTrait<T>::DeleteContext);
639
27
640
27
    return ProgramStateTrait<T>::MakeContext(p);
641
27
  }
PointerArithChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::RegionState>()
Line
Count
Source
635
5.37k
  typename ProgramStateTrait<T>::context_type get_context() {
636
5.37k
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
5.37k
                             ProgramStateTrait<T>::CreateContext,
638
5.37k
                             ProgramStateTrait<T>::DeleteContext);
639
5.37k
640
5.37k
    return ProgramStateTrait<T>::MakeContext(p);
641
5.37k
  }
PthreadLockChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LockMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::LockMap>()
Line
Count
Source
635
7.51k
  typename ProgramStateTrait<T>::context_type get_context() {
636
7.51k
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
7.51k
                             ProgramStateTrait<T>::CreateContext,
638
7.51k
                             ProgramStateTrait<T>::DeleteContext);
639
7.51k
640
7.51k
    return ProgramStateTrait<T>::MakeContext(p);
641
7.51k
  }
PthreadLockChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DestroyRetVal>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::DestroyRetVal>()
Line
Count
Source
635
7.32k
  typename ProgramStateTrait<T>::context_type get_context() {
636
7.32k
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
7.32k
                             ProgramStateTrait<T>::CreateContext,
638
7.32k
                             ProgramStateTrait<T>::DeleteContext);
639
7.32k
640
7.32k
    return ProgramStateTrait<T>::MakeContext(p);
641
7.32k
  }
PthreadLockChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LockSet>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::LockSet>()
Line
Count
Source
635
86
  typename ProgramStateTrait<T>::context_type get_context() {
636
86
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
86
                             ProgramStateTrait<T>::CreateContext,
638
86
                             ProgramStateTrait<T>::DeleteContext);
639
86
640
86
    return ProgramStateTrait<T>::MakeContext(p);
641
86
  }
RetainCountChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RefBindings>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::RefBindings>()
Line
Count
Source
635
17.6k
  typename ProgramStateTrait<T>::context_type get_context() {
636
17.6k
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
17.6k
                             ProgramStateTrait<T>::CreateContext,
638
17.6k
                             ProgramStateTrait<T>::DeleteContext);
639
17.6k
640
17.6k
    return ProgramStateTrait<T>::MakeContext(p);
641
17.6k
  }
SimpleStreamChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::StreamMap>()
Line
Count
Source
635
107
  typename ProgramStateTrait<T>::context_type get_context() {
636
107
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
107
                             ProgramStateTrait<T>::CreateContext,
638
107
                             ProgramStateTrait<T>::DeleteContext);
639
107
640
107
    return ProgramStateTrait<T>::MakeContext(p);
641
107
  }
StreamChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::StreamMap>()
Line
Count
Source
635
63
  typename ProgramStateTrait<T>::context_type get_context() {
636
63
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
63
                             ProgramStateTrait<T>::CreateContext,
638
63
                             ProgramStateTrait<T>::DeleteContext);
639
63
640
63
    return ProgramStateTrait<T>::MakeContext(p);
641
63
  }
Taint.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TaintMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::TaintMap>()
Line
Count
Source
635
198
  typename ProgramStateTrait<T>::context_type get_context() {
636
198
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
198
                             ProgramStateTrait<T>::CreateContext,
638
198
                             ProgramStateTrait<T>::DeleteContext);
639
198
640
198
    return ProgramStateTrait<T>::MakeContext(p);
641
198
  }
clang::ento::ProgramStateTrait<llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> > >::context_type clang::ento::ProgramStateManager::get_context<llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> > >()
Line
Count
Source
635
6
  typename ProgramStateTrait<T>::context_type get_context() {
636
6
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
6
                             ProgramStateTrait<T>::CreateContext,
638
6
                             ProgramStateTrait<T>::DeleteContext);
639
6
640
6
    return ProgramStateTrait<T>::MakeContext(p);
641
6
  }
Taint.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DerivedSymTaint>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::DerivedSymTaint>()
Line
Count
Source
635
6
  typename ProgramStateTrait<T>::context_type get_context() {
636
6
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
6
                             ProgramStateTrait<T>::CreateContext,
638
6
                             ProgramStateTrait<T>::DeleteContext);
639
6
640
6
    return ProgramStateTrait<T>::MakeContext(p);
641
6
  }
TestAfterDivZeroChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DivZeroMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::DivZeroMap>()
Line
Count
Source
635
116
  typename ProgramStateTrait<T>::context_type get_context() {
636
116
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
116
                             ProgramStateTrait<T>::CreateContext,
638
116
                             ProgramStateTrait<T>::DeleteContext);
639
116
640
116
    return ProgramStateTrait<T>::MakeContext(p);
641
116
  }
Unexecuted instantiation: TrustNonnullChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NonNullImplicationMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::NonNullImplicationMap>()
Unexecuted instantiation: TrustNonnullChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NullImplicationMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::NullImplicationMap>()
UninitializedObjectChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::AnalyzedRegions>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::AnalyzedRegions>()
Line
Count
Source
635
480
  typename ProgramStateTrait<T>::context_type get_context() {
636
480
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
480
                             ProgramStateTrait<T>::CreateContext,
638
480
                             ProgramStateTrait<T>::DeleteContext);
639
480
640
480
    return ProgramStateTrait<T>::MakeContext(p);
641
480
  }
ValistChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::InitializedVALists>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::InitializedVALists>()
Line
Count
Source
635
205
  typename ProgramStateTrait<T>::context_type get_context() {
636
205
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
205
                             ProgramStateTrait<T>::CreateContext,
638
205
                             ProgramStateTrait<T>::DeleteContext);
639
205
640
205
    return ProgramStateTrait<T>::MakeContext(p);
641
205
  }
VirtualCallChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CtorDtorMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::CtorDtorMap>()
Line
Count
Source
635
2.76k
  typename ProgramStateTrait<T>::context_type get_context() {
636
2.76k
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
2.76k
                             ProgramStateTrait<T>::CreateContext,
638
2.76k
                             ProgramStateTrait<T>::DeleteContext);
639
2.76k
640
2.76k
    return ProgramStateTrait<T>::MakeContext(p);
641
2.76k
  }
clang::ento::ProgramStateTrait<clang::ento::ConstraintRange>::context_type clang::ento::ProgramStateManager::get_context<clang::ento::ConstraintRange>()
Line
Count
Source
635
605k
  typename ProgramStateTrait<T>::context_type get_context() {
636
605k
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
605k
                             ProgramStateTrait<T>::CreateContext,
638
605k
                             ProgramStateTrait<T>::DeleteContext);
639
605k
640
605k
    return ProgramStateTrait<T>::MakeContext(p);
641
605k
  }
DynamicType.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicTypeMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::DynamicTypeMap>()
Line
Count
Source
635
9.40k
  typename ProgramStateTrait<T>::context_type get_context() {
636
9.40k
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
9.40k
                             ProgramStateTrait<T>::CreateContext,
638
9.40k
                             ProgramStateTrait<T>::DeleteContext);
639
9.40k
640
9.40k
    return ProgramStateTrait<T>::MakeContext(p);
641
9.40k
  }
clang::ento::ProgramStateTrait<llvm::ImmutableSet<clang::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> > >::context_type clang::ento::ProgramStateManager::get_context<llvm::ImmutableSet<clang::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> > >()
Line
Count
Source
635
54
  typename ProgramStateTrait<T>::context_type get_context() {
636
54
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
54
                             ProgramStateTrait<T>::CreateContext,
638
54
                             ProgramStateTrait<T>::DeleteContext);
639
54
640
54
    return ProgramStateTrait<T>::MakeContext(p);
641
54
  }
DynamicType.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicCastMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::DynamicCastMap>()
Line
Count
Source
635
861k
  typename ProgramStateTrait<T>::context_type get_context() {
636
861k
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
861k
                             ProgramStateTrait<T>::CreateContext,
638
861k
                             ProgramStateTrait<T>::DeleteContext);
639
861k
640
861k
    return ProgramStateTrait<T>::MakeContext(p);
641
861k
  }
ExprEngine.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ObjectsUnderConstruction>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::ObjectsUnderConstruction>()
Line
Count
Source
635
97.8k
  typename ProgramStateTrait<T>::context_type get_context() {
636
97.8k
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
97.8k
                             ProgramStateTrait<T>::CreateContext,
638
97.8k
                             ProgramStateTrait<T>::DeleteContext);
639
97.8k
640
97.8k
    return ProgramStateTrait<T>::MakeContext(p);
641
97.8k
  }
ExprEngine.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::InitializedGlobalsSet>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::InitializedGlobalsSet>()
Line
Count
Source
635
193
  typename ProgramStateTrait<T>::context_type get_context() {
636
193
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
193
                             ProgramStateTrait<T>::CreateContext,
638
193
                             ProgramStateTrait<T>::DeleteContext);
639
193
640
193
    return ProgramStateTrait<T>::MakeContext(p);
641
193
  }
ExprEngineCallAndReturn.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicDispatchBifurcationMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::DynamicDispatchBifurcationMap>()
Line
Count
Source
635
18
  typename ProgramStateTrait<T>::context_type get_context() {
636
18
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
18
                             ProgramStateTrait<T>::CreateContext,
638
18
                             ProgramStateTrait<T>::DeleteContext);
639
18
640
18
    return ProgramStateTrait<T>::MakeContext(p);
641
18
  }
LoopUnrolling.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LoopStack>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::LoopStack>()
Line
Count
Source
635
185
  typename ProgramStateTrait<T>::context_type get_context() {
636
185
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
637
185
                             ProgramStateTrait<T>::CreateContext,
638
185
                             ProgramStateTrait<T>::DeleteContext);
639
185
640
185
    return ProgramStateTrait<T>::MakeContext(p);
641
185
  }
Unexecuted instantiation: SMTConstraintManager.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ConstraintSMT>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::ConstraintSMT>()
642
};
643
644
645
//===----------------------------------------------------------------------===//
646
// Out-of-line method definitions for ProgramState.
647
//===----------------------------------------------------------------------===//
648
649
152k
inline ConstraintManager &ProgramState::getConstraintManager() const {
650
152k
  return stateMgr->getConstraintManager();
651
152k
}
652
653
inline const VarRegion* ProgramState::getRegion(const VarDecl *D,
654
                                                const LocationContext *LC) const
655
5.15k
{
656
5.15k
  return getStateManager().getRegionManager().getVarRegion(D, LC);
657
5.15k
}
658
659
inline ProgramStateRef ProgramState::assume(DefinedOrUnknownSVal Cond,
660
17.4k
                                      bool Assumption) const {
661
17.4k
  if (Cond.isUnknown())
662
32
    return this;
663
17.4k
664
17.4k
  return getStateManager().ConstraintMgr
665
17.4k
      ->assume(this, Cond.castAs<DefinedSVal>(), Assumption);
666
17.4k
}
667
668
inline std::pair<ProgramStateRef , ProgramStateRef >
669
393k
ProgramState::assume(DefinedOrUnknownSVal Cond) const {
670
393k
  if (Cond.isUnknown())
671
473
    return std::make_pair(this, this);
672
393k
673
393k
  return getStateManager().ConstraintMgr
674
393k
      ->assumeDual(this, Cond.castAs<DefinedSVal>());
675
393k
}
676
677
inline ProgramStateRef ProgramState::assumeInclusiveRange(
678
    DefinedOrUnknownSVal Val, const llvm::APSInt &From, const llvm::APSInt &To,
679
0
    bool Assumption) const {
680
0
  if (Val.isUnknown())
681
0
    return this;
682
0
683
0
  assert(Val.getAs<NonLoc>() && "Only NonLocs are supported!");
684
0
685
0
  return getStateManager().ConstraintMgr->assumeInclusiveRange(
686
0
      this, Val.castAs<NonLoc>(), From, To, Assumption);
687
0
}
688
689
inline std::pair<ProgramStateRef, ProgramStateRef>
690
ProgramState::assumeInclusiveRange(DefinedOrUnknownSVal Val,
691
                                   const llvm::APSInt &From,
692
544
                                   const llvm::APSInt &To) const {
693
544
  if (Val.isUnknown())
694
0
    return std::make_pair(this, this);
695
544
696
544
  assert(Val.getAs<NonLoc>() && "Only NonLocs are supported!");
697
544
698
544
  return getStateManager().ConstraintMgr->assumeInclusiveRangeDual(
699
544
      this, Val.castAs<NonLoc>(), From, To);
700
544
}
701
702
714
inline ProgramStateRef ProgramState::bindLoc(SVal LV, SVal V, const LocationContext *LCtx) const {
703
714
  if (Optional<Loc> L = LV.getAs<Loc>())
704
714
    return bindLoc(*L, V, LCtx);
705
0
  return this;
706
0
}
707
708
inline Loc ProgramState::getLValue(const CXXBaseSpecifier &BaseSpec,
709
80
                                   const SubRegion *Super) const {
710
80
  const auto *Base = BaseSpec.getType()->getAsCXXRecordDecl();
711
80
  return loc::MemRegionVal(
712
80
           getStateManager().getRegionManager().getCXXBaseObjectRegion(
713
80
                                            Base, Super, BaseSpec.isVirtual()));
714
80
}
715
716
inline Loc ProgramState::getLValue(const CXXRecordDecl *BaseClass,
717
                                   const SubRegion *Super,
718
0
                                   bool IsVirtual) const {
719
0
  return loc::MemRegionVal(
720
0
           getStateManager().getRegionManager().getCXXBaseObjectRegion(
721
0
                                                  BaseClass, Super, IsVirtual));
722
0
}
723
724
inline Loc ProgramState::getLValue(const VarDecl *VD,
725
249k
                               const LocationContext *LC) const {
726
249k
  return getStateManager().StoreMgr->getLValueVar(VD, LC);
727
249k
}
728
729
inline Loc ProgramState::getLValue(const CompoundLiteralExpr *literal,
730
52
                               const LocationContext *LC) const {
731
52
  return getStateManager().StoreMgr->getLValueCompoundLiteral(literal, LC);
732
52
}
733
734
1.46k
inline SVal ProgramState::getLValue(const ObjCIvarDecl *D, SVal Base) const {
735
1.46k
  return getStateManager().StoreMgr->getLValueIvar(D, Base);
736
1.46k
}
737
738
64.9k
inline SVal ProgramState::getLValue(const FieldDecl *D, SVal Base) const {
739
64.9k
  return getStateManager().StoreMgr->getLValueField(D, Base);
740
64.9k
}
741
742
inline SVal ProgramState::getLValue(const IndirectFieldDecl *D,
743
4
                                    SVal Base) const {
744
4
  StoreManager &SM = *getStateManager().StoreMgr;
745
8
  for (const auto *I : D->chain()) {
746
8
    Base = SM.getLValueField(cast<FieldDecl>(I), Base);
747
8
  }
748
4
749
4
  return Base;
750
4
}
751
752
10.1k
inline SVal ProgramState::getLValue(QualType ElementType, SVal Idx, SVal Base) const{
753
10.1k
  if (Optional<NonLoc> N = Idx.getAs<NonLoc>())
754
10.0k
    return getStateManager().StoreMgr->getLValueElement(ElementType, *N, Base);
755
39
  return UnknownVal();
756
39
}
757
758
inline SVal ProgramState::getSVal(const Stmt *Ex,
759
1.86M
                                  const LocationContext *LCtx) const{
760
1.86M
  return Env.getSVal(EnvironmentEntry(Ex, LCtx),
761
1.86M
                     *getStateManager().svalBuilder);
762
1.86M
}
763
764
inline SVal
765
ProgramState::getSValAsScalarOrLoc(const Stmt *S,
766
3.31k
                                   const LocationContext *LCtx) const {
767
3.31k
  if (const Expr *Ex = dyn_cast<Expr>(S)) {
768
3.31k
    QualType T = Ex->getType();
769
3.31k
    if (Ex->isGLValue() || 
Loc::isLocType(T)3.21k
||
770
3.31k
        
T->isIntegralOrEnumerationType()1.83k
)
771
3.24k
      return getSVal(S, LCtx);
772
71
  }
773
71
774
71
  return UnknownVal();
775
71
}
776
777
351k
inline SVal ProgramState::getRawSVal(Loc LV, QualType T) const {
778
351k
  return getStateManager().StoreMgr->getBinding(getStore(), LV, T);
779
351k
}
780
781
261k
inline SVal ProgramState::getSVal(const MemRegion* R, QualType T) const {
782
261k
  return getStateManager().StoreMgr->getBinding(getStore(),
783
261k
                                                loc::MemRegionVal(R),
784
261k
                                                T);
785
261k
}
786
787
2.99k
inline BasicValueFactory &ProgramState::getBasicVals() const {
788
2.99k
  return getStateManager().getBasicVals();
789
2.99k
}
790
791
3.36k
inline SymbolManager &ProgramState::getSymbolManager() const {
792
3.36k
  return getStateManager().getSymbolManager();
793
3.36k
}
794
795
template<typename T>
796
1.10k
ProgramStateRef ProgramState::add(typename ProgramStateTrait<T>::key_type K) const {
797
1.10k
  return getStateManager().add<T>(this, K, get_context<T>());
798
1.10k
}
ExprInspectionChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::add<(anonymous namespace)::MarkedSymbols>(clang::ento::ProgramStateTrait<(anonymous namespace)::MarkedSymbols>::key_type) const
Line
Count
Source
796
15
ProgramStateRef ProgramState::add(typename ProgramStateTrait<T>::key_type K) const {
797
15
  return getStateManager().add<T>(this, K, get_context<T>());
798
15
}
GenericTaintChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::add<(anonymous namespace)::TaintArgsOnPostVisit>(clang::ento::ProgramStateTrait<(anonymous namespace)::TaintArgsOnPostVisit>::key_type) const
Line
Count
Source
796
199
ProgramStateRef ProgramState::add(typename ProgramStateTrait<T>::key_type K) const {
797
199
  return getStateManager().add<T>(this, K, get_context<T>());
798
199
}
MallocChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::add<(anonymous namespace)::ReallocSizeZeroSymbols>(clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocSizeZeroSymbols>::key_type) const
Line
Count
Source
796
19
ProgramStateRef ProgramState::add(typename ProgramStateTrait<T>::key_type K) const {
797
19
  return getStateManager().add<T>(this, K, get_context<T>());
798
19
}
MIGChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::add<(anonymous namespace)::RefCountedParameters>(clang::ento::ProgramStateTrait<(anonymous namespace)::RefCountedParameters>::key_type) const
Line
Count
Source
796
1
ProgramStateRef ProgramState::add(typename ProgramStateTrait<T>::key_type K) const {
797
1
  return getStateManager().add<T>(this, K, get_context<T>());
798
1
}
ObjCSuperDeallocChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::add<(anonymous namespace)::CalledSuperDealloc>(clang::ento::ProgramStateTrait<(anonymous namespace)::CalledSuperDealloc>::key_type) const
Line
Count
Source
796
27
ProgramStateRef ProgramState::add(typename ProgramStateTrait<T>::key_type K) const {
797
27
  return getStateManager().add<T>(this, K, get_context<T>());
798
27
}
PthreadLockChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::add<(anonymous namespace)::LockSet>(clang::ento::ProgramStateTrait<(anonymous namespace)::LockSet>::key_type) const
Line
Count
Source
796
86
ProgramStateRef ProgramState::add(typename ProgramStateTrait<T>::key_type K) const {
797
86
  return getStateManager().add<T>(this, K, get_context<T>());
798
86
}
TestAfterDivZeroChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::add<(anonymous namespace)::DivZeroMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::DivZeroMap>::key_type) const
Line
Count
Source
796
68
ProgramStateRef ProgramState::add(typename ProgramStateTrait<T>::key_type K) const {
797
68
  return getStateManager().add<T>(this, K, get_context<T>());
798
68
}
UninitializedObjectChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::add<(anonymous namespace)::AnalyzedRegions>(clang::ento::ProgramStateTrait<(anonymous namespace)::AnalyzedRegions>::key_type) const
Line
Count
Source
796
206
ProgramStateRef ProgramState::add(typename ProgramStateTrait<T>::key_type K) const {
797
206
  return getStateManager().add<T>(this, K, get_context<T>());
798
206
}
ValistChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::add<(anonymous namespace)::InitializedVALists>(clang::ento::ProgramStateTrait<(anonymous namespace)::InitializedVALists>::key_type) const
Line
Count
Source
796
103
ProgramStateRef ProgramState::add(typename ProgramStateTrait<T>::key_type K) const {
797
103
  return getStateManager().add<T>(this, K, get_context<T>());
798
103
}
ExprEngine.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::add<(anonymous namespace)::InitializedGlobalsSet>(clang::ento::ProgramStateTrait<(anonymous namespace)::InitializedGlobalsSet>::key_type) const
Line
Count
Source
796
193
ProgramStateRef ProgramState::add(typename ProgramStateTrait<T>::key_type K) const {
797
193
  return getStateManager().add<T>(this, K, get_context<T>());
798
193
}
LoopUnrolling.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::add<(anonymous namespace)::LoopStack>(clang::ento::ProgramStateTrait<(anonymous namespace)::LoopStack>::key_type) const
Line
Count
Source
796
185
ProgramStateRef ProgramState::add(typename ProgramStateTrait<T>::key_type K) const {
797
185
  return getStateManager().add<T>(this, K, get_context<T>());
798
185
}
Unexecuted instantiation: SMTConstraintManager.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::add<(anonymous namespace)::ConstraintSMT>(clang::ento::ProgramStateTrait<(anonymous namespace)::ConstraintSMT>::key_type) const
799
800
template <typename T>
801
1.76M
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
1.76M
  return getStateManager().get_context<T>();
803
1.76M
}
BasicObjCFoundationChecks.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerNonEmptyMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::ContainerNonEmptyMap>() const
Line
Count
Source
801
616
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
616
  return getStateManager().get_context<T>();
803
616
}
BasicObjCFoundationChecks.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerCountMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::ContainerCountMap>() const
Line
Count
Source
801
540
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
540
  return getStateManager().get_context<T>();
803
540
}
CStringChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CStringLength>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::CStringLength>() const
Line
Count
Source
801
4.41k
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
4.41k
  return getStateManager().get_context<T>();
803
4.41k
}
CheckObjCDealloc.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::UnreleasedIvarMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::UnreleasedIvarMap>() const
Line
Count
Source
801
314
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
314
  return getStateManager().get_context<T>();
803
314
}
clang::ento::ProgramStateTrait<clang::ento::iterator::IteratorRegionMap>::context_type clang::ento::ProgramState::get_context<clang::ento::iterator::IteratorRegionMap>() const
Line
Count
Source
801
8.71k
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
8.71k
  return getStateManager().get_context<T>();
803
8.71k
}
clang::ento::ProgramStateTrait<clang::ento::iterator::IteratorSymbolMap>::context_type clang::ento::ProgramState::get_context<clang::ento::iterator::IteratorSymbolMap>() const
Line
Count
Source
801
863
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
863
  return getStateManager().get_context<T>();
803
863
}
clang::ento::ProgramStateTrait<clang::ento::iterator::ContainerMap>::context_type clang::ento::ProgramState::get_context<clang::ento::iterator::ContainerMap>() const
Line
Count
Source
801
1.72k
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
1.72k
  return getStateManager().get_context<T>();
803
1.72k
}
DynamicTypePropagation.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::MostSpecializedTypeArgsMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::MostSpecializedTypeArgsMap>() const
Line
Count
Source
801
212
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
212
  return getStateManager().get_context<T>();
803
212
}
ExprInspectionChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::MarkedSymbols>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::MarkedSymbols>() const
Line
Count
Source
801
24
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
24
  return getStateManager().get_context<T>();
803
24
}
ExprInspectionChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DenotedSymbols>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::DenotedSymbols>() const
Line
Count
Source
801
1.19k
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
1.19k
  return getStateManager().get_context<T>();
803
1.19k
}
FuchsiaHandleChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::HStateMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::HStateMap>() const
Line
Count
Source
801
232
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
232
  return getStateManager().get_context<T>();
803
232
}
GenericTaintChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TaintArgsOnPostVisit>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::TaintArgsOnPostVisit>() const
Line
Count
Source
801
199
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
199
  return getStateManager().get_context<T>();
803
199
}
InnerPointerChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RawPtrMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::RawPtrMap>() const
Line
Count
Source
801
169
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
169
  return getStateManager().get_context<T>();
803
169
}
LocalizationChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LocalizedMemMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::LocalizedMemMap>() const
Line
Count
Source
801
194
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
194
  return getStateManager().get_context<T>();
803
194
}
MacOSKeychainAPIChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::AllocatedData>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::AllocatedData>() const
Line
Count
Source
801
84
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
84
  return getStateManager().get_context<T>();
803
84
}
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::RegionState>() const
Line
Count
Source
801
120k
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
120k
  return getStateManager().get_context<T>();
803
120k
}
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocPairs>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::ReallocPairs>() const
Line
Count
Source
801
138
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
138
  return getStateManager().get_context<T>();
803
138
}
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::FreeReturnValue>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::FreeReturnValue>() const
Line
Count
Source
801
726
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
726
  return getStateManager().get_context<T>();
803
726
}
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocSizeZeroSymbols>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::ReallocSizeZeroSymbols>() const
Line
Count
Source
801
19
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
19
  return getStateManager().get_context<T>();
803
19
}
MIGChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RefCountedParameters>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::RefCountedParameters>() const
Line
Count
Source
801
1
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
1
  return getStateManager().get_context<T>();
803
1
}
MoveChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TrackedRegionMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::TrackedRegionMap>() const
Line
Count
Source
801
3.82k
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
3.82k
  return getStateManager().get_context<T>();
803
3.82k
}
clang::ento::ProgramStateTrait<clang::ento::mpi::RequestMap>::context_type clang::ento::ProgramState::get_context<clang::ento::mpi::RequestMap>() const
Line
Count
Source
801
153
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
153
  return getStateManager().get_context<T>();
803
153
}
NSErrorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NSErrorOut>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::NSErrorOut>() const
Line
Count
Source
801
3
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
3
  return getStateManager().get_context<T>();
803
3
}
NSErrorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CFErrorOut>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::CFErrorOut>() const
Line
Count
Source
801
7
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
7
  return getStateManager().get_context<T>();
803
7
}
NullabilityChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NullabilityMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::NullabilityMap>() const
Line
Count
Source
801
332
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
332
  return getStateManager().get_context<T>();
803
332
}
ObjCContainersChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ArraySizeMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::ArraySizeMap>() const
Line
Count
Source
801
392
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
392
  return getStateManager().get_context<T>();
803
392
}
ObjCSelfInitChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::SelfFlag>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::SelfFlag>() const
Line
Count
Source
801
344
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
344
  return getStateManager().get_context<T>();
803
344
}
ObjCSuperDeallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CalledSuperDealloc>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::CalledSuperDealloc>() const
Line
Count
Source
801
27
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
27
  return getStateManager().get_context<T>();
803
27
}
PointerArithChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::RegionState>() const
Line
Count
Source
801
5.37k
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
5.37k
  return getStateManager().get_context<T>();
803
5.37k
}
PthreadLockChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LockMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::LockMap>() const
Line
Count
Source
801
7.51k
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
7.51k
  return getStateManager().get_context<T>();
803
7.51k
}
PthreadLockChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DestroyRetVal>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::DestroyRetVal>() const
Line
Count
Source
801
7.32k
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
7.32k
  return getStateManager().get_context<T>();
803
7.32k
}
PthreadLockChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LockSet>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::LockSet>() const
Line
Count
Source
801
86
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
86
  return getStateManager().get_context<T>();
803
86
}
RetainCountChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RefBindings>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::RefBindings>() const
Line
Count
Source
801
17.6k
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
17.6k
  return getStateManager().get_context<T>();
803
17.6k
}
SimpleStreamChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::StreamMap>() const
Line
Count
Source
801
107
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
107
  return getStateManager().get_context<T>();
803
107
}
StreamChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::StreamMap>() const
Line
Count
Source
801
63
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
63
  return getStateManager().get_context<T>();
803
63
}
Taint.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TaintMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::TaintMap>() const
Line
Count
Source
801
198
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
198
  return getStateManager().get_context<T>();
803
198
}
clang::ento::ProgramStateTrait<llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> > >::context_type clang::ento::ProgramState::get_context<llvm::ImmutableMap<clang::ento::SubRegion const*, unsigned int, llvm::ImutKeyValueInfo<clang::ento::SubRegion const*, unsigned int> > >() const
Line
Count
Source
801
6
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
6
  return getStateManager().get_context<T>();
803
6
}
Taint.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DerivedSymTaint>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::DerivedSymTaint>() const
Line
Count
Source
801
6
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
6
  return getStateManager().get_context<T>();
803
6
}
TestAfterDivZeroChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DivZeroMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::DivZeroMap>() const
Line
Count
Source
801
116
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
116
  return getStateManager().get_context<T>();
803
116
}
Unexecuted instantiation: TrustNonnullChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NonNullImplicationMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::NonNullImplicationMap>() const
Unexecuted instantiation: TrustNonnullChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NullImplicationMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::NullImplicationMap>() const
UninitializedObjectChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::AnalyzedRegions>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::AnalyzedRegions>() const
Line
Count
Source
801
480
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
480
  return getStateManager().get_context<T>();
803
480
}
ValistChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::InitializedVALists>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::InitializedVALists>() const
Line
Count
Source
801
205
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
205
  return getStateManager().get_context<T>();
803
205
}
VirtualCallChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CtorDtorMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::CtorDtorMap>() const
Line
Count
Source
801
2.76k
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
2.76k
  return getStateManager().get_context<T>();
803
2.76k
}
clang::ento::ProgramStateTrait<clang::ento::ConstraintRange>::context_type clang::ento::ProgramState::get_context<clang::ento::ConstraintRange>() const
Line
Count
Source
801
605k
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
605k
  return getStateManager().get_context<T>();
803
605k
}
DynamicType.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicTypeMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::DynamicTypeMap>() const
Line
Count
Source
801
9.40k
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
9.40k
  return getStateManager().get_context<T>();
803
9.40k
}
clang::ento::ProgramStateTrait<llvm::ImmutableSet<clang::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> > >::context_type clang::ento::ProgramState::get_context<llvm::ImmutableSet<clang::ento::DynamicCastInfo, llvm::ImutContainerInfo<clang::ento::DynamicCastInfo> > >() const
Line
Count
Source
801
54
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
54
  return getStateManager().get_context<T>();
803
54
}
DynamicType.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicCastMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::DynamicCastMap>() const
Line
Count
Source
801
861k
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
861k
  return getStateManager().get_context<T>();
803
861k
}
ExprEngine.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ObjectsUnderConstruction>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::ObjectsUnderConstruction>() const
Line
Count
Source
801
97.8k
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
97.8k
  return getStateManager().get_context<T>();
803
97.8k
}
ExprEngine.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::InitializedGlobalsSet>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::InitializedGlobalsSet>() const
Line
Count
Source
801
193
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
193
  return getStateManager().get_context<T>();
803
193
}
ExprEngineCallAndReturn.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicDispatchBifurcationMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::DynamicDispatchBifurcationMap>() const
Line
Count
Source
801
18
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
18
  return getStateManager().get_context<T>();
803
18
}
LoopUnrolling.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LoopStack>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::LoopStack>() const
Line
Count
Source
801
185
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
802
185
  return getStateManager().get_context<T>();
803
185
}
Unexecuted instantiation: SMTConstraintManager.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ConstraintSMT>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::ConstraintSMT>() const
804
805
template<typename T>
806
945k
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
807
945k
  return getStateManager().remove<T>(this, K, get_context<T>());
808
945k
}
BasicObjCFoundationChecks.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<(anonymous namespace)::ContainerNonEmptyMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerNonEmptyMap>::key_type) const
Line
Count
Source
806
524
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
807
524
  return getStateManager().remove<T>(this, K, get_context<T>());
808
524
}
BasicObjCFoundationChecks.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<(anonymous namespace)::ContainerCountMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerCountMap>::key_type) const
Line
Count
Source
806
516
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
807
516
  return getStateManager().remove<T>(this, K, get_context<T>());
808
516
}
CStringChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<(anonymous namespace)::CStringLength>(clang::ento::ProgramStateTrait<(anonymous namespace)::CStringLength>::key_type) const
Line
Count
Source
806
51
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
807
51
  return getStateManager().remove<T>(this, K, get_context<T>());
808
51
}
CheckObjCDealloc.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<(anonymous namespace)::UnreleasedIvarMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::UnreleasedIvarMap>::key_type) const
Line
Count
Source
806
125
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
807
125
  return getStateManager().remove<T>(this, K, get_context<T>());
808
125
}
llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<clang::ento::iterator::ContainerMap>(clang::ento::ProgramStateTrait<clang::ento::iterator::ContainerMap>::key_type) const
Line
Count
Source
806
503
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
807
503
  return getStateManager().remove<T>(this, K, get_context<T>());
808
503
}
DynamicTypePropagation.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<(anonymous namespace)::MostSpecializedTypeArgsMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::MostSpecializedTypeArgsMap>::key_type) const
Line
Count
Source
806
106
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
807
106
  return getStateManager().remove<T>(this, K, get_context<T>());
808
106
}
ExprInspectionChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<(anonymous namespace)::MarkedSymbols>(clang::ento::ProgramStateTrait<(anonymous namespace)::MarkedSymbols>::key_type) const
Line
Count
Source
806
9
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
807
9
  return getStateManager().remove<T>(this, K, get_context<T>());
808
9
}
ExprInspectionChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<(anonymous namespace)::DenotedSymbols>(clang::ento::ProgramStateTrait<(anonymous namespace)::DenotedSymbols>::key_type) const
Line
Count
Source
806
463
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
807
463
  return getStateManager().remove<T>(this, K, get_context<T>());
808
463
}
FuchsiaHandleChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<(anonymous namespace)::HStateMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::HStateMap>::key_type) const
Line
Count
Source
806
101
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
807
101
  return getStateManager().remove<T>(this, K, get_context<T>());
808
101
}
InnerPointerChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<(anonymous namespace)::RawPtrMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::RawPtrMap>::key_type) const
Line
Count
Source
806
41
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
807
41
  return getStateManager().remove<T>(this, K, get_context<T>());
808
41
}
llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<clang::ento::iterator::IteratorRegionMap>(clang::ento::ProgramStateTrait<clang::ento::iterator::IteratorRegionMap>::key_type) const
Line
Count
Source
806
2.80k
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
807
2.80k
  return getStateManager().remove<T>(this, K, get_context<T>());
808
2.80k
}
llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<clang::ento::iterator::IteratorSymbolMap>(clang::ento::ProgramStateTrait<clang::ento::iterator::IteratorSymbolMap>::key_type) const
Line
Count
Source
806
213
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
807
213
  return getStateManager().remove<T>(this, K, get_context<T>());
808
213
}
MacOSKeychainAPIChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<(anonymous namespace)::AllocatedData>(clang::ento::ProgramStateTrait<(anonymous namespace)::AllocatedData>::key_type) const
Line
Count
Source
806
56
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
807
56
  return getStateManager().remove<T>(this, K, get_context<T>());
808
56
}
MallocChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<(anonymous namespace)::ReallocPairs>(clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocPairs>::key_type) const
Line
Count
Source
806
84
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
807
84
  return getStateManager().remove<T>(this, K, get_context<T>());
808
84
}
MallocChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<(anonymous namespace)::FreeReturnValue>(clang::ento::ProgramStateTrait<(anonymous namespace)::FreeReturnValue>::key_type) const
Line
Count
Source
806
705
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
807
705
  return getStateManager().remove<T>(this, K, get_context<T>());
808
705
}
MallocChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<(anonymous namespace)::RegionState>(clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::key_type) const
Line
Count
Source
806
687
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
807
687
  return getStateManager().remove<T>(this, K, get_context<T>());
808
687
}
MoveChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<(anonymous namespace)::TrackedRegionMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::TrackedRegionMap>::key_type) const
Line
Count
Source
806
1.74k
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
807
1.74k
  return getStateManager().remove<T>(this, K, get_context<T>());
808
1.74k
}
llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<clang::ento::mpi::RequestMap>(clang::ento::ProgramStateTrait<clang::ento::mpi::RequestMap>::key_type) const
Line
Count
Source
806
56
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
807
56
  return getStateManager().remove<T>(this, K, get_context<T>());
808
56
}
NullabilityChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<(anonymous namespace)::NullabilityMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::NullabilityMap>::key_type) const
Line
Count
Source
806
238
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
807
238
  return getStateManager().remove<T>(this, K, get_context<T>());
808
238
}
ObjCContainersChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<(anonymous namespace)::ArraySizeMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::ArraySizeMap>::key_type) const
Line
Count
Source
806
373
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
807
373
  return getStateManager().remove<T>(this, K, get_context<T>());
808
373
}
Unexecuted instantiation: ObjCSelfInitChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<(anonymous namespace)::SelfFlag>(clang::ento::ProgramStateTrait<(anonymous namespace)::SelfFlag>::key_type) const
PthreadLockChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<(anonymous namespace)::LockMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::LockMap>::key_type) const
Line
Count
Source
806
7.26k
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
807
7.26k
  return getStateManager().remove<T>(this, K, get_context<T>());
808
7.26k
}
PthreadLockChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<(anonymous namespace)::DestroyRetVal>(clang::ento::ProgramStateTrait<(anonymous namespace)::DestroyRetVal>::key_type) const
Line
Count
Source
806
7.28k
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
807
7.28k
  return getStateManager().remove<T>(this, K, get_context<T>());
808
7.28k
}
RetainCountChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<(anonymous namespace)::RefBindings>(clang::ento::ProgramStateTrait<(anonymous namespace)::RefBindings>::key_type) const
Line
Count
Source
806
6.14k
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
807
6.14k
  return getStateManager().remove<T>(this, K, get_context<T>());
808
6.14k
}
SimpleStreamChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<(anonymous namespace)::StreamMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::key_type) const
Line
Count
Source
806
90
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
807
90
  return getStateManager().remove<T>(this, K, get_context<T>());
808
90
}
Taint.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<(anonymous namespace)::TaintMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::TaintMap>::key_type) const
Line
Count
Source
806
5
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
807
5
  return getStateManager().remove<T>(this, K, get_context<T>());
808
5
}
Unexecuted instantiation: TrustNonnullChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<(anonymous namespace)::NullImplicationMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::NullImplicationMap>::key_type) const
Unexecuted instantiation: TrustNonnullChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<(anonymous namespace)::NonNullImplicationMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::NonNullImplicationMap>::key_type) const
UninitializedObjectChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<(anonymous namespace)::AnalyzedRegions>(clang::ento::ProgramStateTrait<(anonymous namespace)::AnalyzedRegions>::key_type) const
Line
Count
Source
806
274
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
807
274
  return getStateManager().remove<T>(this, K, get_context<T>());
808
274
}
ValistChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<(anonymous namespace)::InitializedVALists>(clang::ento::ProgramStateTrait<(anonymous namespace)::InitializedVALists>::key_type) const
Line
Count
Source
806
102
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
807
102
  return getStateManager().remove<T>(this, K, get_context<T>());
808
102
}
VirtualCallChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<(anonymous namespace)::CtorDtorMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::CtorDtorMap>::key_type) const
Line
Count
Source
806
1.36k
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
807
1.36k
  return getStateManager().remove<T>(this, K, get_context<T>());
808
1.36k
}
DynamicType.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<(anonymous namespace)::DynamicCastMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicCastMap>::key_type) const
Line
Count
Source
806
861k
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
807
861k
  return getStateManager().remove<T>(this, K, get_context<T>());
808
861k
}
ExprEngine.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<(anonymous namespace)::ObjectsUnderConstruction>(clang::ento::ProgramStateTrait<(anonymous namespace)::ObjectsUnderConstruction>::key_type) const
Line
Count
Source
806
51.3k
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
807
51.3k
  return getStateManager().remove<T>(this, K, get_context<T>());
808
51.3k
}
809
810
template<typename T>
811
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K,
812
                               typename ProgramStateTrait<T>::context_type C) const {
813
  return getStateManager().remove<T>(this, K, C);
814
}
815
816
template <typename T>
817
218
ProgramStateRef ProgramState::remove() const {
818
218
  return getStateManager().remove<T>(this);
819
218
}
GenericTaintChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<(anonymous namespace)::TaintArgsOnPostVisit>() const
Line
Count
Source
817
156
ProgramStateRef ProgramState::remove() const {
818
156
  return getStateManager().remove<T>(this);
819
156
}
ObjCSelfInitChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<(anonymous namespace)::PreCallSelfFlags>() const
Line
Count
Source
817
26
ProgramStateRef ProgramState::remove() const {
818
26
  return getStateManager().remove<T>(this);
819
26
}
ObjCSelfInitChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<(anonymous namespace)::CalledInit>() const
Line
Count
Source
817
4
ProgramStateRef ProgramState::remove() const {
818
4
  return getStateManager().remove<T>(this);
819
4
}
llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<clang::ento::ReplayWithoutInlining>() const
Line
Count
Source
817
32
ProgramStateRef ProgramState::remove() const {
818
32
  return getStateManager().remove<T>(this);
819
32
}
820
821
template<typename T>
822
35.4k
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
823
35.4k
  return getStateManager().set<T>(this, D);
824
35.4k
}
BlockInCriticalSectionChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::MutexCounter>(clang::ento::ProgramStateTrait<(anonymous namespace)::MutexCounter>::data_type) const
Line
Count
Source
822
25
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
823
25
  return getStateManager().set<T>(this, D);
824
25
}
CStringChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::CStringLength>(clang::ento::ProgramStateTrait<(anonymous namespace)::CStringLength>::data_type) const
Line
Count
Source
822
3.32k
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
823
3.32k
  return getStateManager().set<T>(this, D);
824
3.32k
}
llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<clang::ento::iterator::IteratorRegionMap>(clang::ento::ProgramStateTrait<clang::ento::iterator::IteratorRegionMap>::data_type) const
Line
Count
Source
822
347
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
823
347
  return getStateManager().set<T>(this, D);
824
347
}
Unexecuted instantiation: llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<clang::ento::iterator::IteratorSymbolMap>(clang::ento::ProgramStateTrait<clang::ento::iterator::IteratorSymbolMap>::data_type) const
MallocChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::RegionState>(clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::data_type) const
Line
Count
Source
822
1.00k
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
823
1.00k
  return getStateManager().set<T>(this, D);
824
1.00k
}
MIGChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::ReleasedParameter>(clang::ento::ProgramStateTrait<(anonymous namespace)::ReleasedParameter>::data_type) const
Line
Count
Source
822
19
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
823
19
  return getStateManager().set<T>(this, D);
824
19
}
NullabilityChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::InvariantViolated>(clang::ento::ProgramStateTrait<(anonymous namespace)::InvariantViolated>::data_type) const
Line
Count
Source
822
152
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
823
152
  return getStateManager().set<T>(this, D);
824
152
}
ObjCSelfInitChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::CalledInit>(clang::ento::ProgramStateTrait<(anonymous namespace)::CalledInit>::data_type) const
Line
Count
Source
822
85
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
823
85
  return getStateManager().set<T>(this, D);
824
85
}
ObjCSelfInitChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::PreCallSelfFlags>(clang::ento::ProgramStateTrait<(anonymous namespace)::PreCallSelfFlags>::data_type) const
Line
Count
Source
822
24
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
823
24
  return getStateManager().set<T>(this, D);
824
24
}
PthreadLockChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::LockSet>(clang::ento::ProgramStateTrait<(anonymous namespace)::LockSet>::data_type) const
Line
Count
Source
822
45
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
823
45
  return getStateManager().set<T>(this, D);
824
45
}
RetainCountChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::RefBindings>(clang::ento::ProgramStateTrait<(anonymous namespace)::RefBindings>::data_type) const
Line
Count
Source
822
1.43k
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
823
1.43k
  return getStateManager().set<T>(this, D);
824
1.43k
}
TestAfterDivZeroChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::DivZeroMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::DivZeroMap>::data_type) const
Line
Count
Source
822
48
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
823
48
  return getStateManager().set<T>(this, D);
824
48
}
VforkChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::VforkResultRegion>(clang::ento::ProgramStateTrait<(anonymous namespace)::VforkResultRegion>::data_type) const
Line
Count
Source
822
14
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
823
14
  return getStateManager().set<T>(this, D);
824
14
}
llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<clang::ento::ReplayWithoutInlining>(clang::ento::ProgramStateTrait<clang::ento::ReplayWithoutInlining>::data_type) const
Line
Count
Source
822
37
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
823
37
  return getStateManager().set<T>(this, D);
824
37
}
LoopUnrolling.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::LoopStack>(clang::ento::ProgramStateTrait<(anonymous namespace)::LoopStack>::data_type) const
Line
Count
Source
822
166
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
823
166
  return getStateManager().set<T>(this, D);
824
166
}
llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<clang::ento::ConstraintRange>(clang::ento::ProgramStateTrait<clang::ento::ConstraintRange>::data_type) const
Line
Count
Source
822
28.7k
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
823
28.7k
  return getStateManager().set<T>(this, D);
824
28.7k
}
Unexecuted instantiation: SMTConstraintManager.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::ConstraintSMT>(clang::ento::ProgramStateTrait<(anonymous namespace)::ConstraintSMT>::data_type) const
825
826
template<typename T>
827
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::key_type K,
828
217k
                            typename ProgramStateTrait<T>::value_type E) const {
829
217k
  return getStateManager().set<T>(this, K, E, get_context<T>());
830
217k
}
BasicObjCFoundationChecks.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::ContainerNonEmptyMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerNonEmptyMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerNonEmptyMap>::value_type) const
Line
Count
Source
828
92
                            typename ProgramStateTrait<T>::value_type E) const {
829
92
  return getStateManager().set<T>(this, K, E, get_context<T>());
830
92
}
BasicObjCFoundationChecks.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::ContainerCountMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerCountMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerCountMap>::value_type) const
Line
Count
Source
828
24
                            typename ProgramStateTrait<T>::value_type E) const {
829
24
  return getStateManager().set<T>(this, K, E, get_context<T>());
830
24
}
CStringChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::CStringLength>(clang::ento::ProgramStateTrait<(anonymous namespace)::CStringLength>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::CStringLength>::value_type) const
Line
Count
Source
828
1.03k
                            typename ProgramStateTrait<T>::value_type E) const {
829
1.03k
  return getStateManager().set<T>(this, K, E, get_context<T>());
830
1.03k
}
CheckObjCDealloc.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::UnreleasedIvarMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::UnreleasedIvarMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::UnreleasedIvarMap>::value_type) const
Line
Count
Source
828
189
                            typename ProgramStateTrait<T>::value_type E) const {
829
189
  return getStateManager().set<T>(this, K, E, get_context<T>());
830
189
}
llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<clang::ento::iterator::ContainerMap>(clang::ento::ProgramStateTrait<clang::ento::iterator::ContainerMap>::key_type, clang::ento::ProgramStateTrait<clang::ento::iterator::ContainerMap>::value_type) const
Line
Count
Source
828
1.22k
                            typename ProgramStateTrait<T>::value_type E) const {
829
1.22k
  return getStateManager().set<T>(this, K, E, get_context<T>());
830
1.22k
}
DynamicTypePropagation.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::MostSpecializedTypeArgsMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::MostSpecializedTypeArgsMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::MostSpecializedTypeArgsMap>::value_type) const
Line
Count
Source
828
106
                            typename ProgramStateTrait<T>::value_type E) const {
829
106
  return getStateManager().set<T>(this, K, E, get_context<T>());
830
106
}
ExprInspectionChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::DenotedSymbols>(clang::ento::ProgramStateTrait<(anonymous namespace)::DenotedSymbols>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::DenotedSymbols>::value_type) const
Line
Count
Source
828
733
                            typename ProgramStateTrait<T>::value_type E) const {
829
733
  return getStateManager().set<T>(this, K, E, get_context<T>());
830
733
}
FuchsiaHandleChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::HStateMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::HStateMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::HStateMap>::value_type) const
Line
Count
Source
828
131
                            typename ProgramStateTrait<T>::value_type E) const {
829
131
  return getStateManager().set<T>(this, K, E, get_context<T>());
830
131
}
InnerPointerChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::RawPtrMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::RawPtrMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::RawPtrMap>::value_type) const
Line
Count
Source
828
128
                            typename ProgramStateTrait<T>::value_type E) const {
829
128
  return getStateManager().set<T>(this, K, E, get_context<T>());
830
128
}
llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<clang::ento::iterator::IteratorRegionMap>(clang::ento::ProgramStateTrait<clang::ento::iterator::IteratorRegionMap>::key_type, clang::ento::ProgramStateTrait<clang::ento::iterator::IteratorRegionMap>::value_type) const
Line
Count
Source
828
5.53k
                            typename ProgramStateTrait<T>::value_type E) const {
829
5.53k
  return getStateManager().set<T>(this, K, E, get_context<T>());
830
5.53k
}
llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<clang::ento::iterator::IteratorSymbolMap>(clang::ento::ProgramStateTrait<clang::ento::iterator::IteratorSymbolMap>::key_type, clang::ento::ProgramStateTrait<clang::ento::iterator::IteratorSymbolMap>::value_type) const
Line
Count
Source
828
271
                            typename ProgramStateTrait<T>::value_type E) const {
829
271
  return getStateManager().set<T>(this, K, E, get_context<T>());
830
271
}
LocalizationChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::LocalizedMemMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::LocalizedMemMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::LocalizedMemMap>::value_type) const
Line
Count
Source
828
194
                            typename ProgramStateTrait<T>::value_type E) const {
829
194
  return getStateManager().set<T>(this, K, E, get_context<T>());
830
194
}
MacOSKeychainAPIChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::AllocatedData>(clang::ento::ProgramStateTrait<(anonymous namespace)::AllocatedData>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::AllocatedData>::value_type) const
Line
Count
Source
828
28
                            typename ProgramStateTrait<T>::value_type E) const {
829
28
  return getStateManager().set<T>(this, K, E, get_context<T>());
830
28
}
MallocChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::RegionState>(clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::value_type) const
Line
Count
Source
828
2.67k
                            typename ProgramStateTrait<T>::value_type E) const {
829
2.67k
  return getStateManager().set<T>(this, K, E, get_context<T>());
830
2.67k
}
MallocChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::ReallocPairs>(clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocPairs>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocPairs>::value_type) const
Line
Count
Source
828
54
                            typename ProgramStateTrait<T>::value_type E) const {
829
54
  return getStateManager().set<T>(this, K, E, get_context<T>());
830
54
}
MallocChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::FreeReturnValue>(clang::ento::ProgramStateTrait<(anonymous namespace)::FreeReturnValue>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::FreeReturnValue>::value_type) const
Line
Count
Source
828
21
                            typename ProgramStateTrait<T>::value_type E) const {
829
21
  return getStateManager().set<T>(this, K, E, get_context<T>());
830
21
}
MoveChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::TrackedRegionMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::TrackedRegionMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::TrackedRegionMap>::value_type) const
Line
Count
Source
828
2.07k
                            typename ProgramStateTrait<T>::value_type E) const {
829
2.07k
  return getStateManager().set<T>(this, K, E, get_context<T>());
830
2.07k
}
llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<clang::ento::mpi::RequestMap>(clang::ento::ProgramStateTrait<clang::ento::mpi::RequestMap>::key_type, clang::ento::ProgramStateTrait<clang::ento::mpi::RequestMap>::value_type) const
Line
Count
Source
828
97
                            typename ProgramStateTrait<T>::value_type E) const {
829
97
  return getStateManager().set<T>(this, K, E, get_context<T>());
830
97
}
NSErrorChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::NSErrorOut>(clang::ento::ProgramStateTrait<(anonymous namespace)::NSErrorOut>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::NSErrorOut>::value_type) const
Line
Count
Source
828
3
                            typename ProgramStateTrait<T>::value_type E) const {
829
3
  return getStateManager().set<T>(this, K, E, get_context<T>());
830
3
}
NSErrorChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::CFErrorOut>(clang::ento::ProgramStateTrait<(anonymous namespace)::CFErrorOut>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::CFErrorOut>::value_type) const
Line
Count
Source
828
7
                            typename ProgramStateTrait<T>::value_type E) const {
829
7
  return getStateManager().set<T>(this, K, E, get_context<T>());
830
7
}
NullabilityChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::NullabilityMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::NullabilityMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::NullabilityMap>::value_type) const
Line
Count
Source
828
94
                            typename ProgramStateTrait<T>::value_type E) const {
829
94
  return getStateManager().set<T>(this, K, E, get_context<T>());
830
94
}
ObjCContainersChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::ArraySizeMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::ArraySizeMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::ArraySizeMap>::value_type) const
Line
Count
Source
828
19
                            typename ProgramStateTrait<T>::value_type E) const {
829
19
  return getStateManager().set<T>(this, K, E, get_context<T>());
830
19
}
ObjCSelfInitChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::SelfFlag>(clang::ento::ProgramStateTrait<(anonymous namespace)::SelfFlag>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::SelfFlag>::value_type) const
Line
Count
Source
828
344
                            typename ProgramStateTrait<T>::value_type E) const {
829
344
  return getStateManager().set<T>(this, K, E, get_context<T>());
830
344
}
PointerArithChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::RegionState>(clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::value_type) const
Line
Count
Source
828
5.37k
                            typename ProgramStateTrait<T>::value_type E) const {
829
5.37k
  return getStateManager().set<T>(this, K, E, get_context<T>());
830
5.37k
}
PthreadLockChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::LockMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::LockMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::LockMap>::value_type) const
Line
Count
Source
828
249
                            typename ProgramStateTrait<T>::value_type E) const {
829
249
  return getStateManager().set<T>(this, K, E, get_context<T>());
830
249
}
PthreadLockChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::DestroyRetVal>(clang::ento::ProgramStateTrait<(anonymous namespace)::DestroyRetVal>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::DestroyRetVal>::value_type) const
Line
Count
Source
828
35
                            typename ProgramStateTrait<T>::value_type E) const {
829
35
  return getStateManager().set<T>(this, K, E, get_context<T>());
830
35
}
RetainCountChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::RefBindings>(clang::ento::ProgramStateTrait<(anonymous namespace)::RefBindings>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::RefBindings>::value_type) const
Line
Count
Source
828
4.13k
                            typename ProgramStateTrait<T>::value_type E) const {
829
4.13k
  return getStateManager().set<T>(this, K, E, get_context<T>());
830
4.13k
}
SimpleStreamChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::StreamMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::value_type) const
Line
Count
Source
828
17
                            typename ProgramStateTrait<T>::value_type E) const {
829
17
  return getStateManager().set<T>(this, K, E, get_context<T>());
830
17
}
StreamChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::StreamMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::value_type) const
Line
Count
Source
828
63
                            typename ProgramStateTrait<T>::value_type E) const {
829
63
  return getStateManager().set<T>(this, K, E, get_context<T>());
830
63
}
Taint.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::TaintMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::TaintMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::TaintMap>::value_type) const
Line
Count
Source
828
193
                            typename ProgramStateTrait<T>::value_type E) const {
829
193
  return getStateManager().set<T>(this, K, E, get_context<T>());
830
193
}
Taint.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::DerivedSymTaint>(clang::ento::ProgramStateTrait<(anonymous namespace)::DerivedSymTaint>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::DerivedSymTaint>::value_type) const
Line
Count
Source
828
6
                            typename ProgramStateTrait<T>::value_type E) const {
829
6
  return getStateManager().set<T>(this, K, E, get_context<T>());
830
6
}
Unexecuted instantiation: TrustNonnullChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::NonNullImplicationMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::NonNullImplicationMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::NonNullImplicationMap>::value_type) const
Unexecuted instantiation: TrustNonnullChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::NullImplicationMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::NullImplicationMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::NullImplicationMap>::value_type) const
VirtualCallChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::CtorDtorMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::CtorDtorMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::CtorDtorMap>::value_type) const
Line
Count
Source
828
1.39k
                            typename ProgramStateTrait<T>::value_type E) const {
829
1.39k
  return getStateManager().set<T>(this, K, E, get_context<T>());
830
1.39k
}
DynamicType.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::DynamicTypeMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicTypeMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicTypeMap>::value_type) const
Line
Count
Source
828
9.40k
                            typename ProgramStateTrait<T>::value_type E) const {
829
9.40k
  return getStateManager().set<T>(this, K, E, get_context<T>());
830
9.40k
}
DynamicType.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::DynamicCastMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicCastMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicCastMap>::value_type) const
Line
Count
Source
828
54
                            typename ProgramStateTrait<T>::value_type E) const {
829
54
  return getStateManager().set<T>(this, K, E, get_context<T>());
830
54
}
ExprEngine.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::ObjectsUnderConstruction>(clang::ento::ProgramStateTrait<(anonymous namespace)::ObjectsUnderConstruction>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::ObjectsUnderConstruction>::value_type) const
Line
Count
Source
828
46.4k
                            typename ProgramStateTrait<T>::value_type E) const {
829
46.4k
  return getStateManager().set<T>(this, K, E, get_context<T>());
830
46.4k
}
ExprEngineCallAndReturn.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::DynamicDispatchBifurcationMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicDispatchBifurcationMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicDispatchBifurcationMap>::value_type) const
Line
Count
Source
828
18
                            typename ProgramStateTrait<T>::value_type E) const {
829
18
  return getStateManager().set<T>(this, K, E, get_context<T>());
830
18
}
llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<clang::ento::ConstraintRange>(clang::ento::ProgramStateTrait<clang::ento::ConstraintRange>::key_type, clang::ento::ProgramStateTrait<clang::ento::ConstraintRange>::value_type) const
Line
Count
Source
828
135k
                            typename ProgramStateTrait<T>::value_type E) const {
829
135k
  return getStateManager().set<T>(this, K, E, get_context<T>());
830
135k
}
831
832
template<typename T>
833
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::key_type K,
834
                            typename ProgramStateTrait<T>::value_type E,
835
                            typename ProgramStateTrait<T>::context_type C) const {
836
  return getStateManager().set<T>(this, K, E, C);
837
}
838
839
template <typename CB>
840
308
CB ProgramState::scanReachableSymbols(SVal val) const {
841
308
  CB cb(this);
842
308
  scanReachableSymbols(val, cb);
843
308
  return cb;
844
308
}
845
846
template <typename CB>
847
CB ProgramState::scanReachableSymbols(
848
29
    llvm::iterator_range<region_iterator> Reachable) const {
849
29
  CB cb(this);
850
29
  scanReachableSymbols(Reachable, cb);
851
29
  return cb;
852
29
}
MallocChecker.cpp:(anonymous namespace)::StopTrackingCallback clang::ento::ProgramState::scanReachableSymbols<(anonymous namespace)::StopTrackingCallback>(llvm::iterator_range<clang::ento::MemRegion const**>) const
Line
Count
Source
848
5
    llvm::iterator_range<region_iterator> Reachable) const {
849
5
  CB cb(this);
850
5
  scanReachableSymbols(Reachable, cb);
851
5
  return cb;
852
5
}
RetainCountChecker.cpp:(anonymous namespace)::StopTrackingCallback clang::ento::ProgramState::scanReachableSymbols<(anonymous namespace)::StopTrackingCallback>(llvm::iterator_range<clang::ento::MemRegion const**>) const
Line
Count
Source
848
24
    llvm::iterator_range<region_iterator> Reachable) const {
849
24
  CB cb(this);
850
24
  scanReachableSymbols(Reachable, cb);
851
24
  return cb;
852
24
}
853
854
/// \class ScanReachableSymbols
855
/// A utility class that visits the reachable symbols using a custom
856
/// SymbolVisitor. Terminates recursive traversal when the visitor function
857
/// returns false.
858
class ScanReachableSymbols {
859
  typedef llvm::DenseSet<const void*> VisitedItems;
860
861
  VisitedItems visited;
862
  ProgramStateRef state;
863
  SymbolVisitor &visitor;
864
public:
865
  ScanReachableSymbols(ProgramStateRef st, SymbolVisitor &v)
866
478k
      : state(std::move(st)), visitor(v) {}
867
868
  bool scan(nonloc::LazyCompoundVal val);
869
  bool scan(nonloc::CompoundVal val);
870
  bool scan(SVal val);
871
  bool scan(const MemRegion *R);
872
  bool scan(const SymExpr *sym);
873
};
874
875
} // end ento namespace
876
877
} // end clang namespace
878
879
#endif