Coverage Report

Created: 2020-09-15 12:33

/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 &, ExprEngine *);
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
11.2M
  ProgramStateManager &getStateManager() const {
111
11.2M
    return *stateMgr;
112
11.2M
  }
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
6.44k
  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
1.87M
  Store getStore() const { return store; }
126
127
128
  /// getGDM - Return the generic data map associated with this state.
129
384k
  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
5.21M
  static void Profile(llvm::FoldingSetNodeID& ID, const ProgramState *V) {
137
5.21M
    V->Env.Profile(ID);
138
5.21M
    ID.AddPointer(V->store);
139
5.21M
    V->GDM.Profile(ID);
140
5.21M
  }
141
142
  /// Profile - Used to profile the contents of this object for inclusion
143
  ///  in a FoldingSet.
144
5.21M
  void Profile(llvm::FoldingSetNodeID& ID) const {
145
5.21M
    Profile(ID, this);
146
5.21M
  }
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
  /// Return the value of 'self' if available in the given context.
302
  SVal getSelfSVal(const LocationContext *LC) const;
303
304
  /// Get the lvalue for a base class object reference.
305
  Loc getLValue(const CXXBaseSpecifier &BaseSpec, const SubRegion *Super) const;
306
307
  /// Get the lvalue for a base class object reference.
308
  Loc getLValue(const CXXRecordDecl *BaseClass, const SubRegion *Super,
309
                bool IsVirtual) const;
310
311
  /// Get the lvalue for a parameter.
312
  Loc getLValue(const Expr *Call, unsigned Index,
313
                const LocationContext *LC) const;
314
315
  /// Get the lvalue for a variable reference.
316
  Loc getLValue(const VarDecl *D, const LocationContext *LC) const;
317
318
  Loc getLValue(const CompoundLiteralExpr *literal,
319
                const LocationContext *LC) const;
320
321
  /// Get the lvalue for an ivar reference.
322
  SVal getLValue(const ObjCIvarDecl *decl, SVal base) const;
323
324
  /// Get the lvalue for a field reference.
325
  SVal getLValue(const FieldDecl *decl, SVal Base) const;
326
327
  /// Get the lvalue for an indirect field reference.
328
  SVal getLValue(const IndirectFieldDecl *decl, SVal Base) const;
329
330
  /// Get the lvalue for an array index.
331
  SVal getLValue(QualType ElementType, SVal Idx, SVal Base) const;
332
333
  /// Returns the SVal bound to the statement 'S' in the state's environment.
334
  SVal getSVal(const Stmt *S, const LocationContext *LCtx) const;
335
336
  SVal getSValAsScalarOrLoc(const Stmt *Ex, const LocationContext *LCtx) const;
337
338
  /// Return the value bound to the specified location.
339
  /// Returns UnknownVal() if none found.
340
  SVal getSVal(Loc LV, QualType T = QualType()) const;
341
342
  /// Returns the "raw" SVal bound to LV before any value simplfication.
343
  SVal getRawSVal(Loc LV, QualType T= QualType()) const;
344
345
  /// Return the value bound to the specified location.
346
  /// Returns UnknownVal() if none found.
347
  SVal getSVal(const MemRegion* R, QualType T = QualType()) const;
348
349
  /// Return the value bound to the specified location, assuming
350
  /// that the value is a scalar integer or an enumeration or a pointer.
351
  /// Returns UnknownVal() if none found or the region is not known to hold
352
  /// a value of such type.
353
  SVal getSValAsScalarOrLoc(const MemRegion *R) const;
354
355
  using region_iterator = const MemRegion **;
356
357
  /// Visits the symbols reachable from the given SVal using the provided
358
  /// SymbolVisitor.
359
  ///
360
  /// This is a convenience API. Consider using ScanReachableSymbols class
361
  /// directly when making multiple scans on the same state with the same
362
  /// visitor to avoid repeated initialization cost.
363
  /// \sa ScanReachableSymbols
364
  bool scanReachableSymbols(SVal val, SymbolVisitor& visitor) const;
365
366
  /// Visits the symbols reachable from the regions in the given
367
  /// MemRegions range using the provided SymbolVisitor.
368
  bool scanReachableSymbols(llvm::iterator_range<region_iterator> Reachable,
369
                            SymbolVisitor &visitor) const;
370
371
  template <typename CB> CB scanReachableSymbols(SVal val) const;
372
  template <typename CB> CB
373
  scanReachableSymbols(llvm::iterator_range<region_iterator> Reachable) const;
374
375
  //==---------------------------------------------------------------------==//
376
  // Accessing the Generic Data Map (GDM).
377
  //==---------------------------------------------------------------------==//
378
379
  void *const* FindGDM(void *K) const;
380
381
  template <typename T>
382
  LLVM_NODISCARD ProgramStateRef
383
  add(typename ProgramStateTrait<T>::key_type K) const;
384
385
  template <typename T>
386
  typename ProgramStateTrait<T>::data_type
387
6.86M
  get() const {
388
6.86M
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
6.86M
  }
BasicObjCFoundationChecks.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerNonEmptyMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::ContainerNonEmptyMap>() const
Line
Count
Source
387
680
  get() const {
388
680
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
680
  }
BasicObjCFoundationChecks.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerCountMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::ContainerCountMap>() const
Line
Count
Source
387
3.36k
  get() const {
388
3.36k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
3.36k
  }
BlockInCriticalSectionChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::MutexCounter>::data_type clang::ento::ProgramState::get<(anonymous namespace)::MutexCounter>() const
Line
Count
Source
387
69
  get() const {
388
69
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
69
  }
CStringChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CStringLength>::data_type clang::ento::ProgramState::get<(anonymous namespace)::CStringLength>() const
Line
Count
Source
387
320k
  get() const {
388
320k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
320k
  }
CheckObjCDealloc.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::UnreleasedIvarMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::UnreleasedIvarMap>() const
Line
Count
Source
387
4.39k
  get() const {
388
4.39k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
4.39k
  }
clang::ento::ProgramStateTrait<clang::ento::iterator::ContainerMap>::data_type clang::ento::ProgramState::get<clang::ento::iterator::ContainerMap>() const
Line
Count
Source
387
84.1k
  get() const {
388
84.1k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
84.1k
  }
DynamicTypePropagation.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::MostSpecializedTypeArgsMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::MostSpecializedTypeArgsMap>() const
Line
Count
Source
387
350k
  get() const {
388
350k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
350k
  }
ExprInspectionChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::MarkedSymbols>::data_type clang::ento::ProgramState::get<(anonymous namespace)::MarkedSymbols>() const
Line
Count
Source
387
174k
  get() const {
388
174k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
174k
  }
ExprInspectionChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DenotedSymbols>::data_type clang::ento::ProgramState::get<(anonymous namespace)::DenotedSymbols>() const
Line
Count
Source
387
176k
  get() const {
388
176k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
176k
  }
FuchsiaHandleChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::HStateMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::HStateMap>() const
Line
Count
Source
387
901
  get() const {
388
901
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
901
  }
GenericTaintChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TaintArgsOnPostVisit>::data_type clang::ento::ProgramState::get<(anonymous namespace)::TaintArgsOnPostVisit>() const
Line
Count
Source
387
1.02k
  get() const {
388
1.02k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
1.02k
  }
InnerPointerChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RawPtrMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::RawPtrMap>() const
Line
Count
Source
387
99.1k
  get() const {
388
99.1k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
99.1k
  }
clang::ento::ProgramStateTrait<clang::ento::iterator::IteratorSymbolMap>::data_type clang::ento::ProgramState::get<clang::ento::iterator::IteratorSymbolMap>() const
Line
Count
Source
387
82.7k
  get() const {
388
82.7k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
82.7k
  }
clang::ento::ProgramStateTrait<clang::ento::iterator::IteratorRegionMap>::data_type clang::ento::ProgramState::get<clang::ento::iterator::IteratorRegionMap>() const
Line
Count
Source
387
107k
  get() const {
388
107k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
107k
  }
LocalizationChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LocalizedMemMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::LocalizedMemMap>() const
Line
Count
Source
387
194
  get() const {
388
194
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
194
  }
MacOSKeychainAPIChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::AllocatedData>::data_type clang::ento::ProgramState::get<(anonymous namespace)::AllocatedData>() const
Line
Count
Source
387
3.14k
  get() const {
388
3.14k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
3.14k
  }
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::data_type clang::ento::ProgramState::get<(anonymous namespace)::RegionState>() const
Line
Count
Source
387
308k
  get() const {
388
308k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
308k
  }
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocPairs>::data_type clang::ento::ProgramState::get<(anonymous namespace)::ReallocPairs>() const
Line
Count
Source
387
435k
  get() const {
388
435k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
435k
  }
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::FreeReturnValue>::data_type clang::ento::ProgramState::get<(anonymous namespace)::FreeReturnValue>() const
Line
Count
Source
387
262k
  get() const {
388
262k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
262k
  }
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocSizeZeroSymbols>::data_type clang::ento::ProgramState::get<(anonymous namespace)::ReallocSizeZeroSymbols>() const
Line
Count
Source
387
19
  get() const {
388
19
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
19
  }
MIGChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RefCountedParameters>::data_type clang::ento::ProgramState::get<(anonymous namespace)::RefCountedParameters>() const
Line
Count
Source
387
1
  get() const {
388
1
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
1
  }
MIGChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ReleasedParameter>::data_type clang::ento::ProgramState::get<(anonymous namespace)::ReleasedParameter>() const
Line
Count
Source
387
25
  get() const {
388
25
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
25
  }
MoveChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TrackedRegionMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::TrackedRegionMap>() const
Line
Count
Source
387
227k
  get() const {
388
227k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
227k
  }
clang::ento::ProgramStateTrait<clang::ento::mpi::RequestMap>::data_type clang::ento::ProgramState::get<clang::ento::mpi::RequestMap>() const
Line
Count
Source
387
601
  get() const {
388
601
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
601
  }
NSErrorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NSErrorOut>::data_type clang::ento::ProgramState::get<(anonymous namespace)::NSErrorOut>() const
Line
Count
Source
387
6
  get() const {
388
6
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
6
  }
NSErrorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CFErrorOut>::data_type clang::ento::ProgramState::get<(anonymous namespace)::CFErrorOut>() const
Line
Count
Source
387
11
  get() const {
388
11
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
11
  }
NullabilityChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NullabilityMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::NullabilityMap>() const
Line
Count
Source
387
3.49k
  get() const {
388
3.49k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
3.49k
  }
NullabilityChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::InvariantViolated>::data_type clang::ento::ProgramState::get<(anonymous namespace)::InvariantViolated>() const
Line
Count
Source
387
5.10k
  get() const {
388
5.10k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
5.10k
  }
ObjCContainersChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ArraySizeMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::ArraySizeMap>() const
Line
Count
Source
387
454
  get() const {
388
454
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
454
  }
ObjCSelfInitChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::SelfFlag>::data_type clang::ento::ProgramState::get<(anonymous namespace)::SelfFlag>() const
Line
Count
Source
387
344
  get() const {
388
344
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
344
  }
ObjCSelfInitChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CalledInit>::data_type clang::ento::ProgramState::get<(anonymous namespace)::CalledInit>() const
Line
Count
Source
387
170
  get() const {
388
170
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
170
  }
ObjCSelfInitChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::PreCallSelfFlags>::data_type clang::ento::ProgramState::get<(anonymous namespace)::PreCallSelfFlags>() const
Line
Count
Source
387
128
  get() const {
388
128
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
128
  }
ObjCSuperDeallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CalledSuperDealloc>::data_type clang::ento::ProgramState::get<(anonymous namespace)::CalledSuperDealloc>() const
Line
Count
Source
387
27
  get() const {
388
27
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
27
  }
PointerArithChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::data_type clang::ento::ProgramState::get<(anonymous namespace)::RegionState>() const
Line
Count
Source
387
5.37k
  get() const {
388
5.37k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
5.37k
  }
PthreadLockChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LockMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::LockMap>() const
Line
Count
Source
387
17.7k
  get() const {
388
17.7k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
17.7k
  }
PthreadLockChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DestroyRetVal>::data_type clang::ento::ProgramState::get<(anonymous namespace)::DestroyRetVal>() const
Line
Count
Source
387
17.5k
  get() const {
388
17.5k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
17.5k
  }
PthreadLockChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LockSet>::data_type clang::ento::ProgramState::get<(anonymous namespace)::LockSet>() const
Line
Count
Source
387
154
  get() const {
388
154
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
154
  }
RetainCountChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RefBindings>::data_type clang::ento::ProgramState::get<(anonymous namespace)::RefBindings>() const
Line
Count
Source
387
39.9k
  get() const {
388
39.9k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
39.9k
  }
SimpleStreamChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::StreamMap>() const
Line
Count
Source
387
268
  get() const {
388
268
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
268
  }
SmartPtrModeling.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TrackedRegionMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::TrackedRegionMap>() const
Line
Count
Source
387
379k
  get() const {
388
379k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
379k
  }
StreamChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::StreamMap>() const
Line
Count
Source
387
1.30k
  get() const {
388
1.30k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
1.30k
  }
Taint.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TaintMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::TaintMap>() const
Line
Count
Source
387
202
  get() const {
388
202
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
202
  }
Taint.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DerivedSymTaint>::data_type clang::ento::ProgramState::get<(anonymous namespace)::DerivedSymTaint>() const
Line
Count
Source
387
6
  get() const {
388
6
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
6
  }
TestAfterDivZeroChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DivZeroMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::DivZeroMap>() const
Line
Count
Source
387
1.70k
  get() const {
388
1.70k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
1.70k
  }
TrustNonnullChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NonNullImplicationMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::NonNullImplicationMap>() const
Line
Count
Source
387
2.69k
  get() const {
388
2.69k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
2.69k
  }
TrustNonnullChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NullImplicationMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::NullImplicationMap>() const
Line
Count
Source
387
2.69k
  get() const {
388
2.69k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
2.69k
  }
UninitializedObjectChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::AnalyzedRegions>::data_type clang::ento::ProgramState::get<(anonymous namespace)::AnalyzedRegions>() const
Line
Count
Source
387
2.97k
  get() const {
388
2.97k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
2.97k
  }
VforkChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::VforkResultRegion>::data_type clang::ento::ProgramState::get<(anonymous namespace)::VforkResultRegion>() const
Line
Count
Source
387
2.08k
  get() const {
388
2.08k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
2.08k
  }
ValistChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::InitializedVALists>::data_type clang::ento::ProgramState::get<(anonymous namespace)::InitializedVALists>() const
Line
Count
Source
387
789
  get() const {
388
789
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
789
  }
VirtualCallChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CtorDtorMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::CtorDtorMap>() const
Line
Count
Source
387
4.98k
  get() const {
388
4.98k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
4.98k
  }
DynamicType.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicTypeMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::DynamicTypeMap>() const
Line
Count
Source
387
357k
  get() const {
388
357k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
357k
  }
DynamicType.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicClassObjectMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::DynamicClassObjectMap>() const
Line
Count
Source
387
350k
  get() const {
388
350k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
350k
  }
DynamicType.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicCastMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::DynamicCastMap>() const
Line
Count
Source
387
3.43k
  get() const {
388
3.43k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
3.43k
  }
ExprEngine.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ObjectsUnderConstruction>::data_type clang::ento::ProgramState::get<(anonymous namespace)::ObjectsUnderConstruction>() const
Line
Count
Source
387
566k
  get() const {
388
566k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
566k
  }
ExprEngine.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ObjCForHasMoreIterations>::data_type clang::ento::ProgramState::get<(anonymous namespace)::ObjCForHasMoreIterations>() const
Line
Count
Source
387
965
  get() const {
388
965
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
965
  }
ExprEngine.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::InitializedGlobalsSet>::data_type clang::ento::ProgramState::get<(anonymous namespace)::InitializedGlobalsSet>() const
Line
Count
Source
387
193
  get() const {
388
193
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
193
  }
clang::ento::ProgramStateTrait<clang::ento::ReplayWithoutInlining>::data_type clang::ento::ProgramState::get<clang::ento::ReplayWithoutInlining>() const
Line
Count
Source
387
65.1k
  get() const {
388
65.1k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
65.1k
  }
ExprEngineCallAndReturn.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicDispatchBifurcationMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::DynamicDispatchBifurcationMap>() const
Line
Count
Source
387
18
  get() const {
388
18
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
18
  }
LoopUnrolling.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LoopStack>::data_type clang::ento::ProgramState::get<(anonymous namespace)::LoopStack>() const
Line
Count
Source
387
7.91k
  get() const {
388
7.91k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
7.91k
  }
RangeConstraintManager.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ConstraintRange>::data_type clang::ento::ProgramState::get<(anonymous namespace)::ConstraintRange>() const
Line
Count
Source
387
517k
  get() const {
388
517k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
517k
  }
RangeConstraintManager.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ClassMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::ClassMap>() const
Line
Count
Source
387
369k
  get() const {
388
369k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
369k
  }
RangeConstraintManager.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ClassMembers>::data_type clang::ento::ProgramState::get<(anonymous namespace)::ClassMembers>() const
Line
Count
Source
387
722k
  get() const {
388
722k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
722k
  }
RangeConstraintManager.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DisequalityMap>::data_type clang::ento::ProgramState::get<(anonymous namespace)::DisequalityMap>() const
Line
Count
Source
387
767k
  get() const {
388
767k
    return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex()));
389
767k
  }
Unexecuted instantiation: SMTConstraintManager.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ConstraintSMT>::data_type clang::ento::ProgramState::get<(anonymous namespace)::ConstraintSMT>() const
390
391
  template<typename T>
392
  typename ProgramStateTrait<T>::lookup_type
393
3.73M
  get(typename ProgramStateTrait<T>::key_type key) const {
394
3.73M
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
3.73M
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
3.73M
  }
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
393
314
  get(typename ProgramStateTrait<T>::key_type key) const {
394
314
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
314
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
314
  }
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
393
248
  get(typename ProgramStateTrait<T>::key_type key) const {
394
248
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
248
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
248
  }
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
393
1.17k
  get(typename ProgramStateTrait<T>::key_type key) const {
394
1.17k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
1.17k
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
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
393
434
  get(typename ProgramStateTrait<T>::key_type key) const {
394
434
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
434
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
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
393
10.6k
  get(typename ProgramStateTrait<T>::key_type key) const {
394
10.6k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
10.6k
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
10.6k
  }
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
393
1.99k
  get(typename ProgramStateTrait<T>::key_type key) const {
394
1.99k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
1.99k
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
1.99k
  }
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
393
455
  get(typename ProgramStateTrait<T>::key_type key) const {
394
455
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
455
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
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
393
915
  get(typename ProgramStateTrait<T>::key_type key) const {
394
915
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
915
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
915
  }
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
393
9.13k
  get(typename ProgramStateTrait<T>::key_type key) const {
394
9.13k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
9.13k
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
9.13k
  }
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
393
28.7k
  get(typename ProgramStateTrait<T>::key_type key) const {
394
28.7k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
28.7k
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
28.7k
  }
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
393
736
  get(typename ProgramStateTrait<T>::key_type key) const {
394
736
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
736
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
736
  }
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
393
195
  get(typename ProgramStateTrait<T>::key_type key) const {
394
195
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
195
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
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
393
1.81k
  get(typename ProgramStateTrait<T>::key_type key) const {
394
1.81k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
1.81k
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
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
393
129k
  get(typename ProgramStateTrait<T>::key_type key) const {
394
129k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
129k
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
129k
  }
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
393
65
  get(typename ProgramStateTrait<T>::key_type key) const {
394
65
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
65
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
65
  }
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
393
29.3k
  get(typename ProgramStateTrait<T>::key_type key) const {
394
29.3k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
29.3k
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
29.3k
  }
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
393
650
  get(typename ProgramStateTrait<T>::key_type key) const {
394
650
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
650
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
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
393
8
  get(typename ProgramStateTrait<T>::key_type key) const {
394
8
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
8
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
8
  }
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
393
6
  get(typename ProgramStateTrait<T>::key_type key) const {
394
6
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
6
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
6
  }
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
393
8.28k
  get(typename ProgramStateTrait<T>::key_type key) const {
394
8.28k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
8.28k
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
8.28k
  }
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
393
15
  get(typename ProgramStateTrait<T>::key_type key) const {
394
15
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
15
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
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
393
685
  get(typename ProgramStateTrait<T>::key_type key) const {
394
685
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
685
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
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
393
9.92k
  get(typename ProgramStateTrait<T>::key_type key) const {
394
9.92k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
9.92k
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
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
393
253
  get(typename ProgramStateTrait<T>::key_type key) const {
394
253
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
253
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
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
393
298
  get(typename ProgramStateTrait<T>::key_type key) const {
394
298
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
298
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
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
393
58.6k
  get(typename ProgramStateTrait<T>::key_type key) const {
394
58.6k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
58.6k
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
58.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
393
5
  get(typename ProgramStateTrait<T>::key_type key) const {
394
5
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
5
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
5
  }
SmartPtrModeling.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
393
174
  get(typename ProgramStateTrait<T>::key_type key) const {
394
174
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
174
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
174
  }
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
393
769
  get(typename ProgramStateTrait<T>::key_type key) const {
394
769
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
769
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
769
  }
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
393
28.3k
  get(typename ProgramStateTrait<T>::key_type key) const {
394
28.3k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
28.3k
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
28.3k
  }
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
393
2.40k
  get(typename ProgramStateTrait<T>::key_type key) const {
394
2.40k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
2.40k
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
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
393
4.01k
  get(typename ProgramStateTrait<T>::key_type key) const {
394
4.01k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
4.01k
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
4.01k
  }
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
393
4.01k
  get(typename ProgramStateTrait<T>::key_type key) const {
394
4.01k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
4.01k
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
4.01k
  }
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
393
146
  get(typename ProgramStateTrait<T>::key_type key) const {
394
146
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
146
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
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
393
7.77k
  get(typename ProgramStateTrait<T>::key_type key) const {
394
7.77k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
7.77k
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
7.77k
  }
DynamicType.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicClassObjectMap>::lookup_type clang::ento::ProgramState::get<(anonymous namespace)::DynamicClassObjectMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicClassObjectMap>::key_type) const
Line
Count
Source
393
50
  get(typename ProgramStateTrait<T>::key_type key) const {
394
50
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
50
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
50
  }
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
393
88
  get(typename ProgramStateTrait<T>::key_type key) const {
394
88
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
88
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
88
  }
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
393
260k
  get(typename ProgramStateTrait<T>::key_type key) const {
394
260k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
260k
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
260k
  }
ExprEngine.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ObjCForHasMoreIterations>::lookup_type clang::ento::ProgramState::get<(anonymous namespace)::ObjCForHasMoreIterations>(clang::ento::ProgramStateTrait<(anonymous namespace)::ObjCForHasMoreIterations>::key_type) const
Line
Count
Source
393
871
  get(typename ProgramStateTrait<T>::key_type key) const {
394
871
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
871
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
871
  }
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
393
15
  get(typename ProgramStateTrait<T>::key_type key) const {
394
15
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
15
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
15
  }
RangeConstraintManager.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ClassMembers>::lookup_type clang::ento::ProgramState::get<(anonymous namespace)::ClassMembers>(clang::ento::ProgramStateTrait<(anonymous namespace)::ClassMembers>::key_type) const
Line
Count
Source
393
1.87M
  get(typename ProgramStateTrait<T>::key_type key) const {
394
1.87M
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
1.87M
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
1.87M
  }
RangeConstraintManager.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ConstraintRange>::lookup_type clang::ento::ProgramState::get<(anonymous namespace)::ConstraintRange>(clang::ento::ProgramStateTrait<(anonymous namespace)::ConstraintRange>::key_type) const
Line
Count
Source
393
550k
  get(typename ProgramStateTrait<T>::key_type key) const {
394
550k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
550k
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
550k
  }
RangeConstraintManager.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ClassMap>::lookup_type clang::ento::ProgramState::get<(anonymous namespace)::ClassMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::ClassMap>::key_type) const
Line
Count
Source
393
703k
  get(typename ProgramStateTrait<T>::key_type key) const {
394
703k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
395
703k
    return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
396
703k
  }
397
398
  template <typename T>
399
  typename ProgramStateTrait<T>::context_type get_context() const;
400
401
  template <typename T>
402
  LLVM_NODISCARD ProgramStateRef
403
  remove(typename ProgramStateTrait<T>::key_type K) const;
404
405
  template <typename T>
406
  LLVM_NODISCARD ProgramStateRef
407
  remove(typename ProgramStateTrait<T>::key_type K,
408
         typename ProgramStateTrait<T>::context_type C) const;
409
410
  template <typename T> LLVM_NODISCARD ProgramStateRef remove() const;
411
412
  template <typename T>
413
  LLVM_NODISCARD ProgramStateRef
414
  set(typename ProgramStateTrait<T>::data_type D) const;
415
416
  template <typename T>
417
  LLVM_NODISCARD ProgramStateRef
418
  set(typename ProgramStateTrait<T>::key_type K,
419
      typename ProgramStateTrait<T>::value_type E) const;
420
421
  template <typename T>
422
  LLVM_NODISCARD ProgramStateRef
423
  set(typename ProgramStateTrait<T>::key_type K,
424
      typename ProgramStateTrait<T>::value_type E,
425
      typename ProgramStateTrait<T>::context_type C) const;
426
427
  template<typename T>
428
62.0k
  bool contains(typename ProgramStateTrait<T>::key_type key) const {
429
62.0k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
430
62.0k
    return ProgramStateTrait<T>::Contains(ProgramStateTrait<T>::MakeData(d), key);
431
62.0k
  }
MallocChecker.cpp:bool clang::ento::ProgramState::contains<(anonymous namespace)::ReallocSizeZeroSymbols>(clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocSizeZeroSymbols>::key_type) const
Line
Count
Source
428
13.1k
  bool contains(typename ProgramStateTrait<T>::key_type key) const {
429
13.1k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
430
13.1k
    return ProgramStateTrait<T>::Contains(ProgramStateTrait<T>::MakeData(d), key);
431
13.1k
  }
MIGChecker.cpp:bool clang::ento::ProgramState::contains<(anonymous namespace)::RefCountedParameters>(clang::ento::ProgramStateTrait<(anonymous namespace)::RefCountedParameters>::key_type) const
Line
Count
Source
428
20
  bool contains(typename ProgramStateTrait<T>::key_type key) const {
429
20
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
430
20
    return ProgramStateTrait<T>::Contains(ProgramStateTrait<T>::MakeData(d), key);
431
20
  }
ObjCSuperDeallocChecker.cpp:bool clang::ento::ProgramState::contains<(anonymous namespace)::CalledSuperDealloc>(clang::ento::ProgramStateTrait<(anonymous namespace)::CalledSuperDealloc>::key_type) const
Line
Count
Source
428
458
  bool contains(typename ProgramStateTrait<T>::key_type key) const {
429
458
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
430
458
    return ProgramStateTrait<T>::Contains(ProgramStateTrait<T>::MakeData(d), key);
431
458
  }
TestAfterDivZeroChecker.cpp:bool clang::ento::ProgramState::contains<(anonymous namespace)::DivZeroMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::DivZeroMap>::key_type) const
Line
Count
Source
428
370
  bool contains(typename ProgramStateTrait<T>::key_type key) const {
429
370
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
430
370
    return ProgramStateTrait<T>::Contains(ProgramStateTrait<T>::MakeData(d), key);
431
370
  }
UninitializedObjectChecker.cpp:bool clang::ento::ProgramState::contains<(anonymous namespace)::AnalyzedRegions>(clang::ento::ProgramStateTrait<(anonymous namespace)::AnalyzedRegions>::key_type) const
Line
Count
Source
428
220
  bool contains(typename ProgramStateTrait<T>::key_type key) const {
429
220
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
430
220
    return ProgramStateTrait<T>::Contains(ProgramStateTrait<T>::MakeData(d), key);
431
220
  }
ValistChecker.cpp:bool clang::ento::ProgramState::contains<(anonymous namespace)::InitializedVALists>(clang::ento::ProgramStateTrait<(anonymous namespace)::InitializedVALists>::key_type) const
Line
Count
Source
428
5.40k
  bool contains(typename ProgramStateTrait<T>::key_type key) const {
429
5.40k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
430
5.40k
    return ProgramStateTrait<T>::Contains(ProgramStateTrait<T>::MakeData(d), key);
431
5.40k
  }
ExprEngine.cpp:bool clang::ento::ProgramState::contains<(anonymous namespace)::ObjectsUnderConstruction>(clang::ento::ProgramStateTrait<(anonymous namespace)::ObjectsUnderConstruction>::key_type) const
Line
Count
Source
428
40.3k
  bool contains(typename ProgramStateTrait<T>::key_type key) const {
429
40.3k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
430
40.3k
    return ProgramStateTrait<T>::Contains(ProgramStateTrait<T>::MakeData(d), key);
431
40.3k
  }
ExprEngine.cpp:bool clang::ento::ProgramState::contains<(anonymous namespace)::ObjCForHasMoreIterations>(clang::ento::ProgramStateTrait<(anonymous namespace)::ObjCForHasMoreIterations>::key_type) const
Line
Count
Source
428
1.83k
  bool contains(typename ProgramStateTrait<T>::key_type key) const {
429
1.83k
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
430
1.83k
    return ProgramStateTrait<T>::Contains(ProgramStateTrait<T>::MakeData(d), key);
431
1.83k
  }
ExprEngine.cpp:bool clang::ento::ProgramState::contains<(anonymous namespace)::InitializedGlobalsSet>(clang::ento::ProgramStateTrait<(anonymous namespace)::InitializedGlobalsSet>::key_type) const
Line
Count
Source
428
198
  bool contains(typename ProgramStateTrait<T>::key_type key) const {
429
198
    void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
430
198
    return ProgramStateTrait<T>::Contains(ProgramStateTrait<T>::MakeData(d), key);
431
198
  }
432
433
  // Pretty-printing.
434
  void printJson(raw_ostream &Out, const LocationContext *LCtx = nullptr,
435
                 const char *NL = "\n", unsigned int Space = 0,
436
                 bool IsDot = false) const;
437
438
  void printDOT(raw_ostream &Out, const LocationContext *LCtx = nullptr,
439
                unsigned int Space = 0) const;
440
441
  void dump() const;
442
443
private:
444
  friend void ProgramStateRetain(const ProgramState *state);
445
  friend void ProgramStateRelease(const ProgramState *state);
446
447
  /// \sa invalidateValues()
448
  /// \sa invalidateRegions()
449
  ProgramStateRef
450
  invalidateRegionsImpl(ArrayRef<SVal> Values,
451
                        const Expr *E, unsigned BlockCount,
452
                        const LocationContext *LCtx,
453
                        bool ResultsInSymbolEscape,
454
                        InvalidatedSymbols *IS,
455
                        RegionAndSymbolInvalidationTraits *HTraits,
456
                        const CallEvent *Call) const;
457
};
458
459
//===----------------------------------------------------------------------===//
460
// ProgramStateManager - Factory object for ProgramStates.
461
//===----------------------------------------------------------------------===//
462
463
class ProgramStateManager {
464
  friend class ProgramState;
465
  friend void ProgramStateRelease(const ProgramState *state);
466
private:
467
  /// Eng - The ExprEngine that owns this state manager.
468
  ExprEngine *Eng; /* Can be null. */
469
470
  EnvironmentManager                   EnvMgr;
471
  std::unique_ptr<StoreManager>        StoreMgr;
472
  std::unique_ptr<ConstraintManager>   ConstraintMgr;
473
474
  ProgramState::GenericDataMap::Factory     GDMFactory;
475
476
  typedef llvm::DenseMap<void*,std::pair<void*,void (*)(void*)> > GDMContextsTy;
477
  GDMContextsTy GDMContexts;
478
479
  /// StateSet - FoldingSet containing all the states created for analyzing
480
  ///  a particular function.  This is used to unique states.
481
  llvm::FoldingSet<ProgramState> StateSet;
482
483
  /// Object that manages the data for all created SVals.
484
  std::unique_ptr<SValBuilder> svalBuilder;
485
486
  /// Manages memory for created CallEvents.
487
  std::unique_ptr<CallEventManager> CallEventMgr;
488
489
  /// A BumpPtrAllocator to allocate states.
490
  llvm::BumpPtrAllocator &Alloc;
491
492
  /// A vector of ProgramStates that we can reuse.
493
  std::vector<ProgramState *> freeStates;
494
495
public:
496
  ProgramStateManager(ASTContext &Ctx,
497
                 StoreManagerCreator CreateStoreManager,
498
                 ConstraintManagerCreator CreateConstraintManager,
499
                 llvm::BumpPtrAllocator& alloc,
500
                 ExprEngine *expreng);
501
502
  ~ProgramStateManager();
503
504
  ProgramStateRef getInitialState(const LocationContext *InitLoc);
505
506
560k
  ASTContext &getContext() { return svalBuilder->getContext(); }
507
0
  const ASTContext &getContext() const { return svalBuilder->getContext(); }
508
509
10.8k
  BasicValueFactory &getBasicVals() {
510
10.8k
    return svalBuilder->getBasicValueFactory();
511
10.8k
  }
512
513
1.35M
  SValBuilder &getSValBuilder() {
514
1.35M
    return *svalBuilder;
515
1.35M
  }
516
517
0
  const SValBuilder &getSValBuilder() const {
518
0
    return *svalBuilder;
519
0
  }
520
521
23.8k
  SymbolManager &getSymbolManager() {
522
23.8k
    return svalBuilder->getSymbolManager();
523
23.8k
  }
524
0
  const SymbolManager &getSymbolManager() const {
525
0
    return svalBuilder->getSymbolManager();
526
0
  }
527
528
27.3k
  llvm::BumpPtrAllocator& getAllocator() { return Alloc; }
529
530
49.5k
  MemRegionManager& getRegionManager() {
531
49.5k
    return svalBuilder->getRegionManager();
532
49.5k
  }
533
0
  const MemRegionManager &getRegionManager() const {
534
0
    return svalBuilder->getRegionManager();
535
0
  }
536
537
964k
  CallEventManager &getCallEventManager() { return *CallEventMgr; }
538
539
8.08M
  StoreManager &getStoreManager() { return *StoreMgr; }
540
634k
  ConstraintManager &getConstraintManager() { return *ConstraintMgr; }
541
220k
  ExprEngine &getOwningEngine() { return *Eng; }
542
543
  ProgramStateRef
544
  removeDeadBindingsFromEnvironmentAndStore(ProgramStateRef St,
545
                                            const StackFrameContext *LCtx,
546
                                            SymbolReaper &SymReaper);
547
548
public:
549
550
9.31k
  SVal ArrayToPointer(Loc Array, QualType ElementTy) {
551
9.31k
    return StoreMgr->ArrayToPointer(Array, ElementTy);
552
9.31k
  }
553
554
  // Methods that manipulate the GDM.
555
  ProgramStateRef addGDM(ProgramStateRef St, void *Key, void *Data);
556
  ProgramStateRef removeGDM(ProgramStateRef state, void *Key);
557
558
  // Methods that query & manipulate the Store.
559
560
16.8k
  void iterBindings(ProgramStateRef state, StoreManager::BindingsHandler& F) {
561
16.8k
    StoreMgr->iterBindings(state->getStore(), F);
562
16.8k
  }
563
564
  ProgramStateRef getPersistentState(ProgramState &Impl);
565
  ProgramStateRef getPersistentStateWithGDM(ProgramStateRef FromState,
566
                                           ProgramStateRef GDMState);
567
568
8.42k
  bool haveEqualConstraints(ProgramStateRef S1, ProgramStateRef S2) const {
569
8.42k
    return ConstraintMgr->haveEqualConstraints(S1, S2);
570
8.42k
  }
571
572
360k
  bool haveEqualEnvironments(ProgramStateRef S1, ProgramStateRef S2) const {
573
360k
    return S1->Env == S2->Env;
574
360k
  }
575
576
360k
  bool haveEqualStores(ProgramStateRef S1, ProgramStateRef S2) const {
577
360k
    return S1->store == S2->store;
578
360k
  }
579
580
  //==---------------------------------------------------------------------==//
581
  // Generic Data Map methods.
582
  //==---------------------------------------------------------------------==//
583
  //
584
  // ProgramStateManager and ProgramState support a "generic data map" that allows
585
  // different clients of ProgramState objects to embed arbitrary data within a
586
  // ProgramState object.  The generic data map is essentially an immutable map
587
  // from a "tag" (that acts as the "key" for a client) and opaque values.
588
  // Tags/keys and values are simply void* values.  The typical way that clients
589
  // generate unique tags are by taking the address of a static variable.
590
  // Clients are responsible for ensuring that data values referred to by a
591
  // the data pointer are immutable (and thus are essentially purely functional
592
  // data).
593
  //
594
  // The templated methods below use the ProgramStateTrait<T> class
595
  // to resolve keys into the GDM and to return data values to clients.
596
  //
597
598
  // Trait based GDM dispatch.
599
  template <typename T>
600
225k
  ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) {
601
225k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
602
225k
                  ProgramStateTrait<T>::MakeVoidPtr(D));
603
225k
  }
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
600
25
  ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) {
601
25
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
602
25
                  ProgramStateTrait<T>::MakeVoidPtr(D));
603
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
600
3.32k
  ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) {
601
3.32k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
602
3.32k
                  ProgramStateTrait<T>::MakeVoidPtr(D));
603
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
600
660
  ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) {
601
660
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
602
660
                  ProgramStateTrait<T>::MakeVoidPtr(D));
603
660
  }
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
600
881
  ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) {
601
881
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
602
881
                  ProgramStateTrait<T>::MakeVoidPtr(D));
603
881
  }
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
600
19
  ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) {
601
19
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
602
19
                  ProgramStateTrait<T>::MakeVoidPtr(D));
603
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
600
109
  ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) {
601
109
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
602
109
                  ProgramStateTrait<T>::MakeVoidPtr(D));
603
109
  }
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
600
85
  ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) {
601
85
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
602
85
                  ProgramStateTrait<T>::MakeVoidPtr(D));
603
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
600
24
  ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) {
601
24
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
602
24
                  ProgramStateTrait<T>::MakeVoidPtr(D));
603
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
600
45
  ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) {
601
45
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
602
45
                  ProgramStateTrait<T>::MakeVoidPtr(D));
603
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
600
1.43k
  ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) {
601
1.43k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
602
1.43k
                  ProgramStateTrait<T>::MakeVoidPtr(D));
603
1.43k
  }
SmartPtrModeling.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>::data_type)
Line
Count
Source
600
46.8k
  ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) {
601
46.8k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
602
46.8k
                  ProgramStateTrait<T>::MakeVoidPtr(D));
603
46.8k
  }
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
600
48
  ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) {
601
48
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
602
48
                  ProgramStateTrait<T>::MakeVoidPtr(D));
603
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
600
14
  ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) {
601
14
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
602
14
                  ProgramStateTrait<T>::MakeVoidPtr(D));
603
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
600
40
  ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) {
601
40
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
602
40
                  ProgramStateTrait<T>::MakeVoidPtr(D));
603
40
  }
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
600
168
  ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) {
601
168
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
602
168
                  ProgramStateTrait<T>::MakeVoidPtr(D));
603
168
  }
RangeConstraintManager.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::ClassMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::ClassMap>::data_type)
Line
Count
Source
600
775
  ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) {
601
775
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
602
775
                  ProgramStateTrait<T>::MakeVoidPtr(D));
603
775
  }
RangeConstraintManager.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::ClassMembers>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::ClassMembers>::data_type)
Line
Count
Source
600
909
  ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) {
601
909
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
602
909
                  ProgramStateTrait<T>::MakeVoidPtr(D));
603
909
  }
RangeConstraintManager.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::ConstraintRange>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::ConstraintRange>::data_type)
Line
Count
Source
600
168k
  ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) {
601
168k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
602
168k
                  ProgramStateTrait<T>::MakeVoidPtr(D));
603
168k
  }
RangeConstraintManager.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::DisequalityMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::DisequalityMap>::data_type)
Line
Count
Source
600
1.10k
  ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) {
601
1.10k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
602
1.10k
                  ProgramStateTrait<T>::MakeVoidPtr(D));
603
1.10k
  }
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)
604
605
  template<typename T>
606
  ProgramStateRef set(ProgramStateRef st,
607
                     typename ProgramStateTrait<T>::key_type K,
608
                     typename ProgramStateTrait<T>::value_type V,
609
78.5k
                     typename ProgramStateTrait<T>::context_type C) {
610
78.5k
611
78.5k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
78.5k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
78.5k
  }
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
609
94
                     typename ProgramStateTrait<T>::context_type C) {
610
94
611
94
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
94
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
94
  }
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
609
24
                     typename ProgramStateTrait<T>::context_type C) {
610
24
611
24
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
24
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
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
609
1.03k
                     typename ProgramStateTrait<T>::context_type C) {
610
1.03k
611
1.03k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
1.03k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
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
609
189
                     typename ProgramStateTrait<T>::context_type C) {
610
189
611
189
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
189
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
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
609
2.36k
                     typename ProgramStateTrait<T>::context_type C) {
610
2.36k
611
2.36k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
2.36k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
2.36k
  }
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
609
106
                     typename ProgramStateTrait<T>::context_type C) {
610
106
611
106
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
106
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
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
609
1.37k
                     typename ProgramStateTrait<T>::context_type C) {
610
1.37k
611
1.37k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
1.37k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
1.37k
  }
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
609
131
                     typename ProgramStateTrait<T>::context_type C) {
610
131
611
131
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
131
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
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
609
128
                     typename ProgramStateTrait<T>::context_type C) {
610
128
611
128
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
128
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
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
609
10.4k
                     typename ProgramStateTrait<T>::context_type C) {
610
10.4k
611
10.4k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
10.4k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
10.4k
  }
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
609
227
                     typename ProgramStateTrait<T>::context_type C) {
610
227
611
227
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
227
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
227
  }
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
609
194
                     typename ProgramStateTrait<T>::context_type C) {
610
194
611
194
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
194
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
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
609
28
                     typename ProgramStateTrait<T>::context_type C) {
610
28
611
28
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
28
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
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
609
2.39k
                     typename ProgramStateTrait<T>::context_type C) {
610
2.39k
611
2.39k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
2.39k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
2.39k
  }
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
609
21
                     typename ProgramStateTrait<T>::context_type C) {
610
21
611
21
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
21
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
21
  }
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
609
55
                     typename ProgramStateTrait<T>::context_type C) {
610
55
611
55
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
55
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
55
  }
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
609
2.21k
                     typename ProgramStateTrait<T>::context_type C) {
610
2.21k
611
2.21k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
2.21k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
2.21k
  }
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
609
97
                     typename ProgramStateTrait<T>::context_type C) {
610
97
611
97
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
97
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
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
609
6
                     typename ProgramStateTrait<T>::context_type C) {
610
6
611
6
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
6
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
6
  }
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
609
11
                     typename ProgramStateTrait<T>::context_type C) {
610
11
611
11
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
11
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
11
  }
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
609
96
                     typename ProgramStateTrait<T>::context_type C) {
610
96
611
96
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
96
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
96
  }
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
609
19
                     typename ProgramStateTrait<T>::context_type C) {
610
19
611
19
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
19
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
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
609
344
                     typename ProgramStateTrait<T>::context_type C) {
610
344
611
344
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
344
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
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
609
5.37k
                     typename ProgramStateTrait<T>::context_type C) {
610
5.37k
611
5.37k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
5.37k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
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
609
249
                     typename ProgramStateTrait<T>::context_type C) {
610
249
611
249
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
249
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
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
609
35
                     typename ProgramStateTrait<T>::context_type C) {
610
35
611
35
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
35
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
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
609
4.13k
                     typename ProgramStateTrait<T>::context_type C) {
610
4.13k
611
4.13k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
4.13k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
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
609
17
                     typename ProgramStateTrait<T>::context_type C) {
610
17
611
17
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
17
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
17
  }
SmartPtrModeling.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
609
201
                     typename ProgramStateTrait<T>::context_type C) {
610
201
611
201
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
201
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
201
  }
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
609
290
                     typename ProgramStateTrait<T>::context_type C) {
610
290
611
290
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
290
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
290
  }
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
609
195
                     typename ProgramStateTrait<T>::context_type C) {
610
195
611
195
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
195
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
195
  }
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
609
6
                     typename ProgramStateTrait<T>::context_type C) {
610
6
611
6
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
6
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
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
609
2.50k
                     typename ProgramStateTrait<T>::context_type C) {
610
2.50k
611
2.50k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
2.50k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
2.50k
  }
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
609
4.04k
                     typename ProgramStateTrait<T>::context_type C) {
610
4.04k
611
4.04k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
4.04k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
4.04k
  }
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
609
88
                     typename ProgramStateTrait<T>::context_type C) {
610
88
611
88
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
88
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
88
  }
DynamicType.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::DynamicClassObjectMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicClassObjectMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicClassObjectMap>::value_type, clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicClassObjectMap>::context_type)
Line
Count
Source
609
30
                     typename ProgramStateTrait<T>::context_type C) {
610
30
611
30
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
30
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
30
  }
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
609
39.2k
                     typename ProgramStateTrait<T>::context_type C) {
610
39.2k
611
39.2k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
39.2k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
39.2k
  }
ExprEngine.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::set<(anonymous namespace)::ObjCForHasMoreIterations>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::ObjCForHasMoreIterations>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::ObjCForHasMoreIterations>::value_type, clang::ento::ProgramStateTrait<(anonymous namespace)::ObjCForHasMoreIterations>::context_type)
Line
Count
Source
609
517
                     typename ProgramStateTrait<T>::context_type C) {
610
517
611
517
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
517
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
517
  }
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
609
18
                     typename ProgramStateTrait<T>::context_type C) {
610
18
611
18
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
612
18
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
613
18
  }
614
615
  template <typename T>
616
  ProgramStateRef add(ProgramStateRef st,
617
                     typename ProgramStateTrait<T>::key_type K,
618
1.11k
                     typename ProgramStateTrait<T>::context_type C) {
619
1.11k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
620
1.11k
        ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Add(st->get<T>(), K, C)));
621
1.11k
  }
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
618
18
                     typename ProgramStateTrait<T>::context_type C) {
619
18
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
620
18
        ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Add(st->get<T>(), K, C)));
621
18
  }
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
618
201
                     typename ProgramStateTrait<T>::context_type C) {
619
201
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
620
201
        ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Add(st->get<T>(), K, C)));
621
201
  }
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
618
19
                     typename ProgramStateTrait<T>::context_type C) {
619
19
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
620
19
        ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Add(st->get<T>(), K, C)));
621
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
618
1
                     typename ProgramStateTrait<T>::context_type C) {
619
1
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
620
1
        ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Add(st->get<T>(), K, C)));
621
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
618
27
                     typename ProgramStateTrait<T>::context_type C) {
619
27
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
620
27
        ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Add(st->get<T>(), K, C)));
621
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
618
86
                     typename ProgramStateTrait<T>::context_type C) {
619
86
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
620
86
        ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Add(st->get<T>(), K, C)));
621
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
618
68
                     typename ProgramStateTrait<T>::context_type C) {
619
68
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
620
68
        ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Add(st->get<T>(), K, C)));
621
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
618
206
                     typename ProgramStateTrait<T>::context_type C) {
619
206
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
620
206
        ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Add(st->get<T>(), K, C)));
621
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
618
103
                     typename ProgramStateTrait<T>::context_type C) {
619
103
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
620
103
        ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Add(st->get<T>(), K, C)));
621
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
618
193
                     typename ProgramStateTrait<T>::context_type C) {
619
193
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
620
193
        ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Add(st->get<T>(), K, C)));
621
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
618
189
                     typename ProgramStateTrait<T>::context_type C) {
619
189
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
620
189
        ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Add(st->get<T>(), K, C)));
621
189
  }
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)
622
623
  template <typename T>
624
  ProgramStateRef remove(ProgramStateRef st,
625
                        typename ProgramStateTrait<T>::key_type K,
626
78.9k
                        typename ProgramStateTrait<T>::context_type C) {
627
78.9k
628
78.9k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
629
78.9k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
630
78.9k
  }
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
626
586
                        typename ProgramStateTrait<T>::context_type C) {
627
586
628
586
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
629
586
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
630
586
  }
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
626
578
                        typename ProgramStateTrait<T>::context_type C) {
627
578
628
578
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
629
578
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
630
578
  }
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
626
51
                        typename ProgramStateTrait<T>::context_type C) {
627
51
628
51
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
629
51
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
630
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
626
125
                        typename ProgramStateTrait<T>::context_type C) {
627
125
628
125
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
629
125
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
630
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
626
990
                        typename ProgramStateTrait<T>::context_type C) {
627
990
628
990
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
629
990
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
630
990
  }
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
626
106
                        typename ProgramStateTrait<T>::context_type C) {
627
106
628
106
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
629
106
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
630
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
626
12
                        typename ProgramStateTrait<T>::context_type C) {
627
12
628
12
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
629
12
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
630
12
  }
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
626
617
                        typename ProgramStateTrait<T>::context_type C) {
627
617
628
617
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
629
617
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
630
617
  }
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
626
101
                        typename ProgramStateTrait<T>::context_type C) {
627
101
628
101
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
629
101
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
630
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
626
41
                        typename ProgramStateTrait<T>::context_type C) {
627
41
628
41
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
629
41
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
630
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
626
4.81k
                        typename ProgramStateTrait<T>::context_type C) {
627
4.81k
628
4.81k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
629
4.81k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
630
4.81k
  }
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
626
169
                        typename ProgramStateTrait<T>::context_type C) {
627
169
628
169
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
629
169
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
630
169
  }
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
626
56
                        typename ProgramStateTrait<T>::context_type C) {
627
56
628
56
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
629
56
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
630
56
  }
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
626
646
                        typename ProgramStateTrait<T>::context_type C) {
627
646
628
646
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
629
646
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
630
646
  }
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
626
85
                        typename ProgramStateTrait<T>::context_type C) {
627
85
628
85
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
629
85
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
630
85
  }
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
626
654
                        typename ProgramStateTrait<T>::context_type C) {
627
654
628
654
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
629
654
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
630
654
  }
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
626
1.87k
                        typename ProgramStateTrait<T>::context_type C) {
627
1.87k
628
1.87k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
629
1.87k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
630
1.87k
  }
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
626
56
                        typename ProgramStateTrait<T>::context_type C) {
627
56
628
56
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
629
56
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
630
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
626
276
                        typename ProgramStateTrait<T>::context_type C) {
627
276
628
276
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
629
276
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
630
276
  }
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
626
435
                        typename ProgramStateTrait<T>::context_type C) {
627
435
628
435
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
629
435
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
630
435
  }
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
626
7.23k
                        typename ProgramStateTrait<T>::context_type C) {
627
7.23k
628
7.23k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
629
7.23k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
630
7.23k
  }
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
626
7.26k
                        typename ProgramStateTrait<T>::context_type C) {
627
7.26k
628
7.26k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
629
7.26k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
630
7.26k
  }
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
626
6.18k
                        typename ProgramStateTrait<T>::context_type C) {
627
6.18k
628
6.18k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
629
6.18k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
630
6.18k
  }
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
626
79
                        typename ProgramStateTrait<T>::context_type C) {
627
79
628
79
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
629
79
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
630
79
  }
SmartPtrModeling.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
626
80
                        typename ProgramStateTrait<T>::context_type C) {
627
80
628
80
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
629
80
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
630
80
  }
StreamChecker.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
626
139
                        typename ProgramStateTrait<T>::context_type C) {
627
139
628
139
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
629
139
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
630
139
  }
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
626
5
                        typename ProgramStateTrait<T>::context_type C) {
627
5
628
5
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
629
5
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
630
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
626
274
                        typename ProgramStateTrait<T>::context_type C) {
627
274
628
274
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
629
274
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
630
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
626
102
                        typename ProgramStateTrait<T>::context_type C) {
627
102
628
102
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
629
102
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
630
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
626
2.47k
                        typename ProgramStateTrait<T>::context_type C) {
627
2.47k
628
2.47k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
629
2.47k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
630
2.47k
  }
DynamicType.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<(anonymous namespace)::DynamicTypeMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicTypeMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicTypeMap>::context_type)
Line
Count
Source
626
2.64k
                        typename ProgramStateTrait<T>::context_type C) {
627
2.64k
628
2.64k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
629
2.64k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
630
2.64k
  }
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
626
63
                        typename ProgramStateTrait<T>::context_type C) {
627
63
628
63
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
629
63
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
630
63
  }
DynamicType.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<(anonymous namespace)::DynamicClassObjectMap>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicClassObjectMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicClassObjectMap>::context_type)
Line
Count
Source
626
34
                        typename ProgramStateTrait<T>::context_type C) {
627
34
628
34
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
629
34
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
630
34
  }
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
626
39.6k
                        typename ProgramStateTrait<T>::context_type C) {
627
39.6k
628
39.6k
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
629
39.6k
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
630
39.6k
  }
ExprEngine.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<(anonymous namespace)::ObjCForHasMoreIterations>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::ProgramStateTrait<(anonymous namespace)::ObjCForHasMoreIterations>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::ObjCForHasMoreIterations>::context_type)
Line
Count
Source
626
448
                        typename ProgramStateTrait<T>::context_type C) {
627
448
628
448
    return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
629
448
     ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
630
448
  }
631
632
  template <typename T>
633
223
  ProgramStateRef remove(ProgramStateRef st) {
634
223
    return removeGDM(st, ProgramStateTrait<T>::GDMIndex());
635
223
  }
GenericTaintChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<(anonymous namespace)::TaintArgsOnPostVisit>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>)
Line
Count
Source
633
158
  ProgramStateRef remove(ProgramStateRef st) {
634
158
    return removeGDM(st, ProgramStateTrait<T>::GDMIndex());
635
158
  }
ObjCSelfInitChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<(anonymous namespace)::PreCallSelfFlags>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>)
Line
Count
Source
633
26
  ProgramStateRef remove(ProgramStateRef st) {
634
26
    return removeGDM(st, ProgramStateTrait<T>::GDMIndex());
635
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
633
4
  ProgramStateRef remove(ProgramStateRef st) {
634
4
    return removeGDM(st, ProgramStateTrait<T>::GDMIndex());
635
4
  }
llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramStateManager::remove<clang::ento::ReplayWithoutInlining>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>)
Line
Count
Source
633
35
  ProgramStateRef remove(ProgramStateRef st) {
634
35
    return removeGDM(st, ProgramStateTrait<T>::GDMIndex());
635
35
  }
636
637
  void *FindGDMContext(void *index,
638
                       void *(*CreateContext)(llvm::BumpPtrAllocator&),
639
                       void  (*DeleteContext)(void*));
640
641
  template <typename T>
642
2.80M
  typename ProgramStateTrait<T>::context_type get_context() {
643
2.80M
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
2.80M
                             ProgramStateTrait<T>::CreateContext,
645
2.80M
                             ProgramStateTrait<T>::DeleteContext);
646
2.80M
647
2.80M
    return ProgramStateTrait<T>::MakeContext(p);
648
2.80M
  }
BasicObjCFoundationChecks.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerNonEmptyMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::ContainerNonEmptyMap>()
Line
Count
Source
642
680
  typename ProgramStateTrait<T>::context_type get_context() {
643
680
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
680
                             ProgramStateTrait<T>::CreateContext,
645
680
                             ProgramStateTrait<T>::DeleteContext);
646
680
647
680
    return ProgramStateTrait<T>::MakeContext(p);
648
680
  }
BasicObjCFoundationChecks.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerCountMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::ContainerCountMap>()
Line
Count
Source
642
602
  typename ProgramStateTrait<T>::context_type get_context() {
643
602
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
602
                             ProgramStateTrait<T>::CreateContext,
645
602
                             ProgramStateTrait<T>::DeleteContext);
646
602
647
602
    return ProgramStateTrait<T>::MakeContext(p);
648
602
  }
CStringChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CStringLength>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::CStringLength>()
Line
Count
Source
642
4.41k
  typename ProgramStateTrait<T>::context_type get_context() {
643
4.41k
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
4.41k
                             ProgramStateTrait<T>::CreateContext,
645
4.41k
                             ProgramStateTrait<T>::DeleteContext);
646
4.41k
647
4.41k
    return ProgramStateTrait<T>::MakeContext(p);
648
4.41k
  }
CheckObjCDealloc.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::UnreleasedIvarMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::UnreleasedIvarMap>()
Line
Count
Source
642
314
  typename ProgramStateTrait<T>::context_type get_context() {
643
314
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
314
                             ProgramStateTrait<T>::CreateContext,
645
314
                             ProgramStateTrait<T>::DeleteContext);
646
314
647
314
    return ProgramStateTrait<T>::MakeContext(p);
648
314
  }
clang::ento::ProgramStateTrait<clang::ento::iterator::ContainerMap>::context_type clang::ento::ProgramStateManager::get_context<clang::ento::iterator::ContainerMap>()
Line
Count
Source
642
3.35k
  typename ProgramStateTrait<T>::context_type get_context() {
643
3.35k
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
3.35k
                             ProgramStateTrait<T>::CreateContext,
645
3.35k
                             ProgramStateTrait<T>::DeleteContext);
646
3.35k
647
3.35k
    return ProgramStateTrait<T>::MakeContext(p);
648
3.35k
  }
DynamicTypePropagation.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::MostSpecializedTypeArgsMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::MostSpecializedTypeArgsMap>()
Line
Count
Source
642
212
  typename ProgramStateTrait<T>::context_type get_context() {
643
212
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
212
                             ProgramStateTrait<T>::CreateContext,
645
212
                             ProgramStateTrait<T>::DeleteContext);
646
212
647
212
    return ProgramStateTrait<T>::MakeContext(p);
648
212
  }
ExprInspectionChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::MarkedSymbols>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::MarkedSymbols>()
Line
Count
Source
642
30
  typename ProgramStateTrait<T>::context_type get_context() {
643
30
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
30
                             ProgramStateTrait<T>::CreateContext,
645
30
                             ProgramStateTrait<T>::DeleteContext);
646
30
647
30
    return ProgramStateTrait<T>::MakeContext(p);
648
30
  }
ExprInspectionChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DenotedSymbols>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::DenotedSymbols>()
Line
Count
Source
642
1.98k
  typename ProgramStateTrait<T>::context_type get_context() {
643
1.98k
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
1.98k
                             ProgramStateTrait<T>::CreateContext,
645
1.98k
                             ProgramStateTrait<T>::DeleteContext);
646
1.98k
647
1.98k
    return ProgramStateTrait<T>::MakeContext(p);
648
1.98k
  }
FuchsiaHandleChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::HStateMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::HStateMap>()
Line
Count
Source
642
232
  typename ProgramStateTrait<T>::context_type get_context() {
643
232
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
232
                             ProgramStateTrait<T>::CreateContext,
645
232
                             ProgramStateTrait<T>::DeleteContext);
646
232
647
232
    return ProgramStateTrait<T>::MakeContext(p);
648
232
  }
GenericTaintChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TaintArgsOnPostVisit>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::TaintArgsOnPostVisit>()
Line
Count
Source
642
201
  typename ProgramStateTrait<T>::context_type get_context() {
643
201
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
201
                             ProgramStateTrait<T>::CreateContext,
645
201
                             ProgramStateTrait<T>::DeleteContext);
646
201
647
201
    return ProgramStateTrait<T>::MakeContext(p);
648
201
  }
InnerPointerChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RawPtrMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::RawPtrMap>()
Line
Count
Source
642
169
  typename ProgramStateTrait<T>::context_type get_context() {
643
169
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
169
                             ProgramStateTrait<T>::CreateContext,
645
169
                             ProgramStateTrait<T>::DeleteContext);
646
169
647
169
    return ProgramStateTrait<T>::MakeContext(p);
648
169
  }
clang::ento::ProgramStateTrait<clang::ento::iterator::IteratorRegionMap>::context_type clang::ento::ProgramStateManager::get_context<clang::ento::iterator::IteratorRegionMap>()
Line
Count
Source
642
15.9k
  typename ProgramStateTrait<T>::context_type get_context() {
643
15.9k
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
15.9k
                             ProgramStateTrait<T>::CreateContext,
645
15.9k
                             ProgramStateTrait<T>::DeleteContext);
646
15.9k
647
15.9k
    return ProgramStateTrait<T>::MakeContext(p);
648
15.9k
  }
clang::ento::ProgramStateTrait<clang::ento::iterator::IteratorSymbolMap>::context_type clang::ento::ProgramStateManager::get_context<clang::ento::iterator::IteratorSymbolMap>()
Line
Count
Source
642
1.09k
  typename ProgramStateTrait<T>::context_type get_context() {
643
1.09k
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
1.09k
                             ProgramStateTrait<T>::CreateContext,
645
1.09k
                             ProgramStateTrait<T>::DeleteContext);
646
1.09k
647
1.09k
    return ProgramStateTrait<T>::MakeContext(p);
648
1.09k
  }
LocalizationChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LocalizedMemMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::LocalizedMemMap>()
Line
Count
Source
642
194
  typename ProgramStateTrait<T>::context_type get_context() {
643
194
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
194
                             ProgramStateTrait<T>::CreateContext,
645
194
                             ProgramStateTrait<T>::DeleteContext);
646
194
647
194
    return ProgramStateTrait<T>::MakeContext(p);
648
194
  }
MacOSKeychainAPIChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::AllocatedData>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::AllocatedData>()
Line
Count
Source
642
84
  typename ProgramStateTrait<T>::context_type get_context() {
643
84
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
84
                             ProgramStateTrait<T>::CreateContext,
645
84
                             ProgramStateTrait<T>::DeleteContext);
646
84
647
84
    return ProgramStateTrait<T>::MakeContext(p);
648
84
  }
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::RegionState>()
Line
Count
Source
642
134k
  typename ProgramStateTrait<T>::context_type get_context() {
643
134k
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
134k
                             ProgramStateTrait<T>::CreateContext,
645
134k
                             ProgramStateTrait<T>::DeleteContext);
646
134k
647
134k
    return ProgramStateTrait<T>::MakeContext(p);
648
134k
  }
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::FreeReturnValue>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::FreeReturnValue>()
Line
Count
Source
642
667
  typename ProgramStateTrait<T>::context_type get_context() {
643
667
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
667
                             ProgramStateTrait<T>::CreateContext,
645
667
                             ProgramStateTrait<T>::DeleteContext);
646
667
647
667
    return ProgramStateTrait<T>::MakeContext(p);
648
667
  }
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocSizeZeroSymbols>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::ReallocSizeZeroSymbols>()
Line
Count
Source
642
19
  typename ProgramStateTrait<T>::context_type get_context() {
643
19
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
19
                             ProgramStateTrait<T>::CreateContext,
645
19
                             ProgramStateTrait<T>::DeleteContext);
646
19
647
19
    return ProgramStateTrait<T>::MakeContext(p);
648
19
  }
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocPairs>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::ReallocPairs>()
Line
Count
Source
642
140
  typename ProgramStateTrait<T>::context_type get_context() {
643
140
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
140
                             ProgramStateTrait<T>::CreateContext,
645
140
                             ProgramStateTrait<T>::DeleteContext);
646
140
647
140
    return ProgramStateTrait<T>::MakeContext(p);
648
140
  }
MIGChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RefCountedParameters>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::RefCountedParameters>()
Line
Count
Source
642
1
  typename ProgramStateTrait<T>::context_type get_context() {
643
1
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
1
                             ProgramStateTrait<T>::CreateContext,
645
1
                             ProgramStateTrait<T>::DeleteContext);
646
1
647
1
    return ProgramStateTrait<T>::MakeContext(p);
648
1
  }
MoveChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TrackedRegionMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::TrackedRegionMap>()
Line
Count
Source
642
4.09k
  typename ProgramStateTrait<T>::context_type get_context() {
643
4.09k
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
4.09k
                             ProgramStateTrait<T>::CreateContext,
645
4.09k
                             ProgramStateTrait<T>::DeleteContext);
646
4.09k
647
4.09k
    return ProgramStateTrait<T>::MakeContext(p);
648
4.09k
  }
clang::ento::ProgramStateTrait<clang::ento::mpi::RequestMap>::context_type clang::ento::ProgramStateManager::get_context<clang::ento::mpi::RequestMap>()
Line
Count
Source
642
153
  typename ProgramStateTrait<T>::context_type get_context() {
643
153
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
153
                             ProgramStateTrait<T>::CreateContext,
645
153
                             ProgramStateTrait<T>::DeleteContext);
646
153
647
153
    return ProgramStateTrait<T>::MakeContext(p);
648
153
  }
NSErrorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NSErrorOut>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::NSErrorOut>()
Line
Count
Source
642
6
  typename ProgramStateTrait<T>::context_type get_context() {
643
6
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
6
                             ProgramStateTrait<T>::CreateContext,
645
6
                             ProgramStateTrait<T>::DeleteContext);
646
6
647
6
    return ProgramStateTrait<T>::MakeContext(p);
648
6
  }
NSErrorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CFErrorOut>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::CFErrorOut>()
Line
Count
Source
642
11
  typename ProgramStateTrait<T>::context_type get_context() {
643
11
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
11
                             ProgramStateTrait<T>::CreateContext,
645
11
                             ProgramStateTrait<T>::DeleteContext);
646
11
647
11
    return ProgramStateTrait<T>::MakeContext(p);
648
11
  }
NullabilityChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NullabilityMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::NullabilityMap>()
Line
Count
Source
642
372
  typename ProgramStateTrait<T>::context_type get_context() {
643
372
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
372
                             ProgramStateTrait<T>::CreateContext,
645
372
                             ProgramStateTrait<T>::DeleteContext);
646
372
647
372
    return ProgramStateTrait<T>::MakeContext(p);
648
372
  }
ObjCContainersChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ArraySizeMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::ArraySizeMap>()
Line
Count
Source
642
454
  typename ProgramStateTrait<T>::context_type get_context() {
643
454
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
454
                             ProgramStateTrait<T>::CreateContext,
645
454
                             ProgramStateTrait<T>::DeleteContext);
646
454
647
454
    return ProgramStateTrait<T>::MakeContext(p);
648
454
  }
ObjCSelfInitChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::SelfFlag>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::SelfFlag>()
Line
Count
Source
642
344
  typename ProgramStateTrait<T>::context_type get_context() {
643
344
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
344
                             ProgramStateTrait<T>::CreateContext,
645
344
                             ProgramStateTrait<T>::DeleteContext);
646
344
647
344
    return ProgramStateTrait<T>::MakeContext(p);
648
344
  }
ObjCSuperDeallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CalledSuperDealloc>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::CalledSuperDealloc>()
Line
Count
Source
642
27
  typename ProgramStateTrait<T>::context_type get_context() {
643
27
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
27
                             ProgramStateTrait<T>::CreateContext,
645
27
                             ProgramStateTrait<T>::DeleteContext);
646
27
647
27
    return ProgramStateTrait<T>::MakeContext(p);
648
27
  }
PointerArithChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::RegionState>()
Line
Count
Source
642
5.37k
  typename ProgramStateTrait<T>::context_type get_context() {
643
5.37k
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
5.37k
                             ProgramStateTrait<T>::CreateContext,
645
5.37k
                             ProgramStateTrait<T>::DeleteContext);
646
5.37k
647
5.37k
    return ProgramStateTrait<T>::MakeContext(p);
648
5.37k
  }
PthreadLockChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LockMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::LockMap>()
Line
Count
Source
642
7.48k
  typename ProgramStateTrait<T>::context_type get_context() {
643
7.48k
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
7.48k
                             ProgramStateTrait<T>::CreateContext,
645
7.48k
                             ProgramStateTrait<T>::DeleteContext);
646
7.48k
647
7.48k
    return ProgramStateTrait<T>::MakeContext(p);
648
7.48k
  }
PthreadLockChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DestroyRetVal>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::DestroyRetVal>()
Line
Count
Source
642
7.30k
  typename ProgramStateTrait<T>::context_type get_context() {
643
7.30k
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
7.30k
                             ProgramStateTrait<T>::CreateContext,
645
7.30k
                             ProgramStateTrait<T>::DeleteContext);
646
7.30k
647
7.30k
    return ProgramStateTrait<T>::MakeContext(p);
648
7.30k
  }
PthreadLockChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LockSet>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::LockSet>()
Line
Count
Source
642
86
  typename ProgramStateTrait<T>::context_type get_context() {
643
86
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
86
                             ProgramStateTrait<T>::CreateContext,
645
86
                             ProgramStateTrait<T>::DeleteContext);
646
86
647
86
    return ProgramStateTrait<T>::MakeContext(p);
648
86
  }
RetainCountChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RefBindings>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::RefBindings>()
Line
Count
Source
642
17.6k
  typename ProgramStateTrait<T>::context_type get_context() {
643
17.6k
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
17.6k
                             ProgramStateTrait<T>::CreateContext,
645
17.6k
                             ProgramStateTrait<T>::DeleteContext);
646
17.6k
647
17.6k
    return ProgramStateTrait<T>::MakeContext(p);
648
17.6k
  }
SimpleStreamChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::StreamMap>()
Line
Count
Source
642
96
  typename ProgramStateTrait<T>::context_type get_context() {
643
96
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
96
                             ProgramStateTrait<T>::CreateContext,
645
96
                             ProgramStateTrait<T>::DeleteContext);
646
96
647
96
    return ProgramStateTrait<T>::MakeContext(p);
648
96
  }
SmartPtrModeling.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TrackedRegionMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::TrackedRegionMap>()
Line
Count
Source
642
47.1k
  typename ProgramStateTrait<T>::context_type get_context() {
643
47.1k
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
47.1k
                             ProgramStateTrait<T>::CreateContext,
645
47.1k
                             ProgramStateTrait<T>::DeleteContext);
646
47.1k
647
47.1k
    return ProgramStateTrait<T>::MakeContext(p);
648
47.1k
  }
StreamChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::StreamMap>()
Line
Count
Source
642
429
  typename ProgramStateTrait<T>::context_type get_context() {
643
429
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
429
                             ProgramStateTrait<T>::CreateContext,
645
429
                             ProgramStateTrait<T>::DeleteContext);
646
429
647
429
    return ProgramStateTrait<T>::MakeContext(p);
648
429
  }
Taint.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TaintMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::TaintMap>()
Line
Count
Source
642
200
  typename ProgramStateTrait<T>::context_type get_context() {
643
200
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
200
                             ProgramStateTrait<T>::CreateContext,
645
200
                             ProgramStateTrait<T>::DeleteContext);
646
200
647
200
    return ProgramStateTrait<T>::MakeContext(p);
648
200
  }
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
642
6
  typename ProgramStateTrait<T>::context_type get_context() {
643
6
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
6
                             ProgramStateTrait<T>::CreateContext,
645
6
                             ProgramStateTrait<T>::DeleteContext);
646
6
647
6
    return ProgramStateTrait<T>::MakeContext(p);
648
6
  }
Taint.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DerivedSymTaint>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::DerivedSymTaint>()
Line
Count
Source
642
6
  typename ProgramStateTrait<T>::context_type get_context() {
643
6
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
6
                             ProgramStateTrait<T>::CreateContext,
645
6
                             ProgramStateTrait<T>::DeleteContext);
646
6
647
6
    return ProgramStateTrait<T>::MakeContext(p);
648
6
  }
TestAfterDivZeroChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DivZeroMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::DivZeroMap>()
Line
Count
Source
642
116
  typename ProgramStateTrait<T>::context_type get_context() {
643
116
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
116
                             ProgramStateTrait<T>::CreateContext,
645
116
                             ProgramStateTrait<T>::DeleteContext);
646
116
647
116
    return ProgramStateTrait<T>::MakeContext(p);
648
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
642
480
  typename ProgramStateTrait<T>::context_type get_context() {
643
480
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
480
                             ProgramStateTrait<T>::CreateContext,
645
480
                             ProgramStateTrait<T>::DeleteContext);
646
480
647
480
    return ProgramStateTrait<T>::MakeContext(p);
648
480
  }
ValistChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::InitializedVALists>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::InitializedVALists>()
Line
Count
Source
642
205
  typename ProgramStateTrait<T>::context_type get_context() {
643
205
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
205
                             ProgramStateTrait<T>::CreateContext,
645
205
                             ProgramStateTrait<T>::DeleteContext);
646
205
647
205
    return ProgramStateTrait<T>::MakeContext(p);
648
205
  }
VirtualCallChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CtorDtorMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::CtorDtorMap>()
Line
Count
Source
642
4.98k
  typename ProgramStateTrait<T>::context_type get_context() {
643
4.98k
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
4.98k
                             ProgramStateTrait<T>::CreateContext,
645
4.98k
                             ProgramStateTrait<T>::DeleteContext);
646
4.98k
647
4.98k
    return ProgramStateTrait<T>::MakeContext(p);
648
4.98k
  }
DynamicType.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicTypeMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::DynamicTypeMap>()
Line
Count
Source
642
6.68k
  typename ProgramStateTrait<T>::context_type get_context() {
643
6.68k
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
6.68k
                             ProgramStateTrait<T>::CreateContext,
645
6.68k
                             ProgramStateTrait<T>::DeleteContext);
646
6.68k
647
6.68k
    return ProgramStateTrait<T>::MakeContext(p);
648
6.68k
  }
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
642
88
  typename ProgramStateTrait<T>::context_type get_context() {
643
88
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
88
                             ProgramStateTrait<T>::CreateContext,
645
88
                             ProgramStateTrait<T>::DeleteContext);
646
88
647
88
    return ProgramStateTrait<T>::MakeContext(p);
648
88
  }
DynamicType.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicCastMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::DynamicCastMap>()
Line
Count
Source
642
151
  typename ProgramStateTrait<T>::context_type get_context() {
643
151
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
151
                             ProgramStateTrait<T>::CreateContext,
645
151
                             ProgramStateTrait<T>::DeleteContext);
646
151
647
151
    return ProgramStateTrait<T>::MakeContext(p);
648
151
  }
DynamicType.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicClassObjectMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::DynamicClassObjectMap>()
Line
Count
Source
642
64
  typename ProgramStateTrait<T>::context_type get_context() {
643
64
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
64
                             ProgramStateTrait<T>::CreateContext,
645
64
                             ProgramStateTrait<T>::DeleteContext);
646
64
647
64
    return ProgramStateTrait<T>::MakeContext(p);
648
64
  }
ExprEngine.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ObjectsUnderConstruction>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::ObjectsUnderConstruction>()
Line
Count
Source
642
78.9k
  typename ProgramStateTrait<T>::context_type get_context() {
643
78.9k
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
78.9k
                             ProgramStateTrait<T>::CreateContext,
645
78.9k
                             ProgramStateTrait<T>::DeleteContext);
646
78.9k
647
78.9k
    return ProgramStateTrait<T>::MakeContext(p);
648
78.9k
  }
ExprEngine.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ObjCForHasMoreIterations>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::ObjCForHasMoreIterations>()
Line
Count
Source
642
965
  typename ProgramStateTrait<T>::context_type get_context() {
643
965
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
965
                             ProgramStateTrait<T>::CreateContext,
645
965
                             ProgramStateTrait<T>::DeleteContext);
646
965
647
965
    return ProgramStateTrait<T>::MakeContext(p);
648
965
  }
ExprEngine.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::InitializedGlobalsSet>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::InitializedGlobalsSet>()
Line
Count
Source
642
193
  typename ProgramStateTrait<T>::context_type get_context() {
643
193
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
193
                             ProgramStateTrait<T>::CreateContext,
645
193
                             ProgramStateTrait<T>::DeleteContext);
646
193
647
193
    return ProgramStateTrait<T>::MakeContext(p);
648
193
  }
ExprEngineCallAndReturn.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicDispatchBifurcationMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::DynamicDispatchBifurcationMap>()
Line
Count
Source
642
18
  typename ProgramStateTrait<T>::context_type get_context() {
643
18
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
18
                             ProgramStateTrait<T>::CreateContext,
645
18
                             ProgramStateTrait<T>::DeleteContext);
646
18
647
18
    return ProgramStateTrait<T>::MakeContext(p);
648
18
  }
LoopUnrolling.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LoopStack>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::LoopStack>()
Line
Count
Source
642
189
  typename ProgramStateTrait<T>::context_type get_context() {
643
189
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
189
                             ProgramStateTrait<T>::CreateContext,
645
189
                             ProgramStateTrait<T>::DeleteContext);
646
189
647
189
    return ProgramStateTrait<T>::MakeContext(p);
648
189
  }
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
642
459k
  typename ProgramStateTrait<T>::context_type get_context() {
643
459k
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
459k
                             ProgramStateTrait<T>::CreateContext,
645
459k
                             ProgramStateTrait<T>::DeleteContext);
646
459k
647
459k
    return ProgramStateTrait<T>::MakeContext(p);
648
459k
  }
RangeConstraintManager.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ClassMembers>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::ClassMembers>()
Line
Count
Source
642
361k
  typename ProgramStateTrait<T>::context_type get_context() {
643
361k
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
361k
                             ProgramStateTrait<T>::CreateContext,
645
361k
                             ProgramStateTrait<T>::DeleteContext);
646
361k
647
361k
    return ProgramStateTrait<T>::MakeContext(p);
648
361k
  }
RangeConstraintManager.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ConstraintRange>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::ConstraintRange>()
Line
Count
Source
642
501k
  typename ProgramStateTrait<T>::context_type get_context() {
643
501k
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
501k
                             ProgramStateTrait<T>::CreateContext,
645
501k
                             ProgramStateTrait<T>::DeleteContext);
646
501k
647
501k
    return ProgramStateTrait<T>::MakeContext(p);
648
501k
  }
RangeConstraintManager.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ClassMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::ClassMap>()
Line
Count
Source
642
361k
  typename ProgramStateTrait<T>::context_type get_context() {
643
361k
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
361k
                             ProgramStateTrait<T>::CreateContext,
645
361k
                             ProgramStateTrait<T>::DeleteContext);
646
361k
647
361k
    return ProgramStateTrait<T>::MakeContext(p);
648
361k
  }
RangeConstraintManager.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DisequalityMap>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::DisequalityMap>()
Line
Count
Source
642
363k
  typename ProgramStateTrait<T>::context_type get_context() {
643
363k
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
363k
                             ProgramStateTrait<T>::CreateContext,
645
363k
                             ProgramStateTrait<T>::DeleteContext);
646
363k
647
363k
    return ProgramStateTrait<T>::MakeContext(p);
648
363k
  }
RangeConstraintManager.cpp:clang::ento::ProgramStateTrait<llvm::ImmutableSet<(anonymous namespace)::EquivalenceClass, llvm::ImutContainerInfo<(anonymous namespace)::EquivalenceClass> > >::context_type clang::ento::ProgramStateManager::get_context<llvm::ImmutableSet<(anonymous namespace)::EquivalenceClass, llvm::ImutContainerInfo<(anonymous namespace)::EquivalenceClass> > >()
Line
Count
Source
642
407k
  typename ProgramStateTrait<T>::context_type get_context() {
643
407k
    void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),
644
407k
                             ProgramStateTrait<T>::CreateContext,
645
407k
                             ProgramStateTrait<T>::DeleteContext);
646
407k
647
407k
    return ProgramStateTrait<T>::MakeContext(p);
648
407k
  }
Unexecuted instantiation: clang::ento::ProgramStateTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::RangeSet> > >::context_type clang::ento::ProgramStateManager::get_context<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::RangeSet> > >()
Unexecuted instantiation: SMTConstraintManager.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ConstraintSMT>::context_type clang::ento::ProgramStateManager::get_context<(anonymous namespace)::ConstraintSMT>()
649
};
650
651
652
//===----------------------------------------------------------------------===//
653
// Out-of-line method definitions for ProgramState.
654
//===----------------------------------------------------------------------===//
655
656
160k
inline ConstraintManager &ProgramState::getConstraintManager() const {
657
160k
  return stateMgr->getConstraintManager();
658
160k
}
659
660
inline const VarRegion* ProgramState::getRegion(const VarDecl *D,
661
                                                const LocationContext *LC) const
662
5.26k
{
663
5.26k
  return getStateManager().getRegionManager().getVarRegion(D, LC);
664
5.26k
}
665
666
inline ProgramStateRef ProgramState::assume(DefinedOrUnknownSVal Cond,
667
25.3k
                                      bool Assumption) const {
668
25.3k
  if (Cond.isUnknown())
669
32
    return this;
670
25.3k
671
25.3k
  return getStateManager().ConstraintMgr
672
25.3k
      ->assume(this, Cond.castAs<DefinedSVal>(), Assumption);
673
25.3k
}
674
675
inline std::pair<ProgramStateRef , ProgramStateRef >
676
328k
ProgramState::assume(DefinedOrUnknownSVal Cond) const {
677
328k
  if (Cond.isUnknown())
678
467
    return std::make_pair(this, this);
679
328k
680
328k
  return getStateManager().ConstraintMgr
681
328k
      ->assumeDual(this, Cond.castAs<DefinedSVal>());
682
328k
}
683
684
inline ProgramStateRef ProgramState::assumeInclusiveRange(
685
    DefinedOrUnknownSVal Val, const llvm::APSInt &From, const llvm::APSInt &To,
686
0
    bool Assumption) const {
687
0
  if (Val.isUnknown())
688
0
    return this;
689
0
690
0
  assert(Val.getAs<NonLoc>() && "Only NonLocs are supported!");
691
0
692
0
  return getStateManager().ConstraintMgr->assumeInclusiveRange(
693
0
      this, Val.castAs<NonLoc>(), From, To, Assumption);
694
0
}
695
696
inline std::pair<ProgramStateRef, ProgramStateRef>
697
ProgramState::assumeInclusiveRange(DefinedOrUnknownSVal Val,
698
                                   const llvm::APSInt &From,
699
553
                                   const llvm::APSInt &To) const {
700
553
  if (Val.isUnknown())
701
0
    return std::make_pair(this, this);
702
553
703
553
  assert(Val.getAs<NonLoc>() && "Only NonLocs are supported!");
704
553
705
553
  return getStateManager().ConstraintMgr->assumeInclusiveRangeDual(
706
553
      this, Val.castAs<NonLoc>(), From, To);
707
553
}
708
709
718
inline ProgramStateRef ProgramState::bindLoc(SVal LV, SVal V, const LocationContext *LCtx) const {
710
718
  if (Optional<Loc> L = LV.getAs<Loc>())
711
718
    return bindLoc(*L, V, LCtx);
712
0
  return this;
713
0
}
714
715
inline Loc ProgramState::getLValue(const CXXBaseSpecifier &BaseSpec,
716
80
                                   const SubRegion *Super) const {
717
80
  const auto *Base = BaseSpec.getType()->getAsCXXRecordDecl();
718
80
  return loc::MemRegionVal(
719
80
           getStateManager().getRegionManager().getCXXBaseObjectRegion(
720
80
                                            Base, Super, BaseSpec.isVirtual()));
721
80
}
722
723
inline Loc ProgramState::getLValue(const CXXRecordDecl *BaseClass,
724
                                   const SubRegion *Super,
725
0
                                   bool IsVirtual) const {
726
0
  return loc::MemRegionVal(
727
0
           getStateManager().getRegionManager().getCXXBaseObjectRegion(
728
0
                                                  BaseClass, Super, IsVirtual));
729
0
}
730
731
inline Loc ProgramState::getLValue(const VarDecl *VD,
732
204k
                               const LocationContext *LC) const {
733
204k
  return getStateManager().StoreMgr->getLValueVar(VD, LC);
734
204k
}
735
736
inline Loc ProgramState::getLValue(const CompoundLiteralExpr *literal,
737
55
                               const LocationContext *LC) const {
738
55
  return getStateManager().StoreMgr->getLValueCompoundLiteral(literal, LC);
739
55
}
740
741
1.47k
inline SVal ProgramState::getLValue(const ObjCIvarDecl *D, SVal Base) const {
742
1.47k
  return getStateManager().StoreMgr->getLValueIvar(D, Base);
743
1.47k
}
744
745
53.6k
inline SVal ProgramState::getLValue(const FieldDecl *D, SVal Base) const {
746
53.6k
  return getStateManager().StoreMgr->getLValueField(D, Base);
747
53.6k
}
748
749
inline SVal ProgramState::getLValue(const IndirectFieldDecl *D,
750
8
                                    SVal Base) const {
751
8
  StoreManager &SM = *getStateManager().StoreMgr;
752
18
  for (const auto *I : D->chain()) {
753
18
    Base = SM.getLValueField(cast<FieldDecl>(I), Base);
754
18
  }
755
8
756
8
  return Base;
757
8
}
758
759
8.00k
inline SVal ProgramState::getLValue(QualType ElementType, SVal Idx, SVal Base) const{
760
8.00k
  if (Optional<NonLoc> N = Idx.getAs<NonLoc>())
761
7.95k
    return getStateManager().StoreMgr->getLValueElement(ElementType, *N, Base);
762
44
  return UnknownVal();
763
44
}
764
765
inline SVal ProgramState::getSVal(const Stmt *Ex,
766
1.59M
                                  const LocationContext *LCtx) const{
767
1.59M
  return Env.getSVal(EnvironmentEntry(Ex, LCtx),
768
1.59M
                     *getStateManager().svalBuilder);
769
1.59M
}
770
771
inline SVal
772
ProgramState::getSValAsScalarOrLoc(const Stmt *S,
773
3.37k
                                   const LocationContext *LCtx) const {
774
3.37k
  if (const Expr *Ex = dyn_cast<Expr>(S)) {
775
3.37k
    QualType T = Ex->getType();
776
3.37k
    if (Ex->isGLValue() || 
Loc::isLocType(T)3.30k
||
777
1.89k
        T->isIntegralOrEnumerationType())
778
3.30k
      return getSVal(S, LCtx);
779
74
  }
780
74
781
74
  return UnknownVal();
782
74
}
783
784
256k
inline SVal ProgramState::getRawSVal(Loc LV, QualType T) const {
785
256k
  return getStateManager().StoreMgr->getBinding(getStore(), LV, T);
786
256k
}
787
788
247k
inline SVal ProgramState::getSVal(const MemRegion* R, QualType T) const {
789
247k
  return getStateManager().StoreMgr->getBinding(getStore(),
790
247k
                                                loc::MemRegionVal(R),
791
247k
                                                T);
792
247k
}
793
794
4.68k
inline BasicValueFactory &ProgramState::getBasicVals() const {
795
4.68k
  return getStateManager().getBasicVals();
796
4.68k
}
797
798
8.24k
inline SymbolManager &ProgramState::getSymbolManager() const {
799
8.24k
  return getStateManager().getSymbolManager();
800
8.24k
}
801
802
template<typename T>
803
1.11k
ProgramStateRef ProgramState::add(typename ProgramStateTrait<T>::key_type K) const {
804
1.11k
  return getStateManager().add<T>(this, K, get_context<T>());
805
1.11k
}
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
803
18
ProgramStateRef ProgramState::add(typename ProgramStateTrait<T>::key_type K) const {
804
18
  return getStateManager().add<T>(this, K, get_context<T>());
805
18
}
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
803
201
ProgramStateRef ProgramState::add(typename ProgramStateTrait<T>::key_type K) const {
804
201
  return getStateManager().add<T>(this, K, get_context<T>());
805
201
}
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
803
19
ProgramStateRef ProgramState::add(typename ProgramStateTrait<T>::key_type K) const {
804
19
  return getStateManager().add<T>(this, K, get_context<T>());
805
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
803
1
ProgramStateRef ProgramState::add(typename ProgramStateTrait<T>::key_type K) const {
804
1
  return getStateManager().add<T>(this, K, get_context<T>());
805
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
803
27
ProgramStateRef ProgramState::add(typename ProgramStateTrait<T>::key_type K) const {
804
27
  return getStateManager().add<T>(this, K, get_context<T>());
805
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
803
86
ProgramStateRef ProgramState::add(typename ProgramStateTrait<T>::key_type K) const {
804
86
  return getStateManager().add<T>(this, K, get_context<T>());
805
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
803
68
ProgramStateRef ProgramState::add(typename ProgramStateTrait<T>::key_type K) const {
804
68
  return getStateManager().add<T>(this, K, get_context<T>());
805
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
803
206
ProgramStateRef ProgramState::add(typename ProgramStateTrait<T>::key_type K) const {
804
206
  return getStateManager().add<T>(this, K, get_context<T>());
805
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
803
103
ProgramStateRef ProgramState::add(typename ProgramStateTrait<T>::key_type K) const {
804
103
  return getStateManager().add<T>(this, K, get_context<T>());
805
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
803
193
ProgramStateRef ProgramState::add(typename ProgramStateTrait<T>::key_type K) const {
804
193
  return getStateManager().add<T>(this, K, get_context<T>());
805
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
803
189
ProgramStateRef ProgramState::add(typename ProgramStateTrait<T>::key_type K) const {
804
189
  return getStateManager().add<T>(this, K, get_context<T>());
805
189
}
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
806
807
template <typename T>
808
2.70M
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
2.70M
  return getStateManager().get_context<T>();
810
2.70M
}
BasicObjCFoundationChecks.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerNonEmptyMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::ContainerNonEmptyMap>() const
Line
Count
Source
808
680
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
680
  return getStateManager().get_context<T>();
810
680
}
BasicObjCFoundationChecks.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ContainerCountMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::ContainerCountMap>() const
Line
Count
Source
808
602
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
602
  return getStateManager().get_context<T>();
810
602
}
CStringChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CStringLength>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::CStringLength>() const
Line
Count
Source
808
4.41k
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
4.41k
  return getStateManager().get_context<T>();
810
4.41k
}
CheckObjCDealloc.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::UnreleasedIvarMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::UnreleasedIvarMap>() const
Line
Count
Source
808
314
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
314
  return getStateManager().get_context<T>();
810
314
}
clang::ento::ProgramStateTrait<clang::ento::iterator::ContainerMap>::context_type clang::ento::ProgramState::get_context<clang::ento::iterator::ContainerMap>() const
Line
Count
Source
808
3.35k
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
3.35k
  return getStateManager().get_context<T>();
810
3.35k
}
DynamicTypePropagation.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::MostSpecializedTypeArgsMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::MostSpecializedTypeArgsMap>() const
Line
Count
Source
808
212
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
212
  return getStateManager().get_context<T>();
810
212
}
ExprInspectionChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::MarkedSymbols>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::MarkedSymbols>() const
Line
Count
Source
808
30
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
30
  return getStateManager().get_context<T>();
810
30
}
ExprInspectionChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DenotedSymbols>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::DenotedSymbols>() const
Line
Count
Source
808
1.98k
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
1.98k
  return getStateManager().get_context<T>();
810
1.98k
}
FuchsiaHandleChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::HStateMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::HStateMap>() const
Line
Count
Source
808
232
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
232
  return getStateManager().get_context<T>();
810
232
}
GenericTaintChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TaintArgsOnPostVisit>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::TaintArgsOnPostVisit>() const
Line
Count
Source
808
201
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
201
  return getStateManager().get_context<T>();
810
201
}
InnerPointerChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RawPtrMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::RawPtrMap>() const
Line
Count
Source
808
169
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
169
  return getStateManager().get_context<T>();
810
169
}
clang::ento::ProgramStateTrait<clang::ento::iterator::IteratorRegionMap>::context_type clang::ento::ProgramState::get_context<clang::ento::iterator::IteratorRegionMap>() const
Line
Count
Source
808
15.9k
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
15.9k
  return getStateManager().get_context<T>();
810
15.9k
}
clang::ento::ProgramStateTrait<clang::ento::iterator::IteratorSymbolMap>::context_type clang::ento::ProgramState::get_context<clang::ento::iterator::IteratorSymbolMap>() const
Line
Count
Source
808
1.09k
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
1.09k
  return getStateManager().get_context<T>();
810
1.09k
}
LocalizationChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LocalizedMemMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::LocalizedMemMap>() const
Line
Count
Source
808
194
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
194
  return getStateManager().get_context<T>();
810
194
}
MacOSKeychainAPIChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::AllocatedData>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::AllocatedData>() const
Line
Count
Source
808
84
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
84
  return getStateManager().get_context<T>();
810
84
}
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::RegionState>() const
Line
Count
Source
808
134k
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
134k
  return getStateManager().get_context<T>();
810
134k
}
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::FreeReturnValue>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::FreeReturnValue>() const
Line
Count
Source
808
667
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
667
  return getStateManager().get_context<T>();
810
667
}
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocSizeZeroSymbols>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::ReallocSizeZeroSymbols>() const
Line
Count
Source
808
19
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
19
  return getStateManager().get_context<T>();
810
19
}
MallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ReallocPairs>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::ReallocPairs>() const
Line
Count
Source
808
140
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
140
  return getStateManager().get_context<T>();
810
140
}
MIGChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RefCountedParameters>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::RefCountedParameters>() const
Line
Count
Source
808
1
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
1
  return getStateManager().get_context<T>();
810
1
}
MoveChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TrackedRegionMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::TrackedRegionMap>() const
Line
Count
Source
808
4.09k
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
4.09k
  return getStateManager().get_context<T>();
810
4.09k
}
clang::ento::ProgramStateTrait<clang::ento::mpi::RequestMap>::context_type clang::ento::ProgramState::get_context<clang::ento::mpi::RequestMap>() const
Line
Count
Source
808
153
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
153
  return getStateManager().get_context<T>();
810
153
}
NSErrorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NSErrorOut>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::NSErrorOut>() const
Line
Count
Source
808
6
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
6
  return getStateManager().get_context<T>();
810
6
}
NSErrorChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CFErrorOut>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::CFErrorOut>() const
Line
Count
Source
808
11
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
11
  return getStateManager().get_context<T>();
810
11
}
NullabilityChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::NullabilityMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::NullabilityMap>() const
Line
Count
Source
808
372
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
372
  return getStateManager().get_context<T>();
810
372
}
ObjCContainersChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ArraySizeMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::ArraySizeMap>() const
Line
Count
Source
808
454
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
454
  return getStateManager().get_context<T>();
810
454
}
ObjCSelfInitChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::SelfFlag>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::SelfFlag>() const
Line
Count
Source
808
344
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
344
  return getStateManager().get_context<T>();
810
344
}
ObjCSuperDeallocChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CalledSuperDealloc>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::CalledSuperDealloc>() const
Line
Count
Source
808
27
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
27
  return getStateManager().get_context<T>();
810
27
}
PointerArithChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RegionState>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::RegionState>() const
Line
Count
Source
808
5.37k
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
5.37k
  return getStateManager().get_context<T>();
810
5.37k
}
PthreadLockChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LockMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::LockMap>() const
Line
Count
Source
808
7.48k
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
7.48k
  return getStateManager().get_context<T>();
810
7.48k
}
PthreadLockChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DestroyRetVal>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::DestroyRetVal>() const
Line
Count
Source
808
7.30k
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
7.30k
  return getStateManager().get_context<T>();
810
7.30k
}
PthreadLockChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LockSet>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::LockSet>() const
Line
Count
Source
808
86
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
86
  return getStateManager().get_context<T>();
810
86
}
RetainCountChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::RefBindings>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::RefBindings>() const
Line
Count
Source
808
17.6k
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
17.6k
  return getStateManager().get_context<T>();
810
17.6k
}
SimpleStreamChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::StreamMap>() const
Line
Count
Source
808
96
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
96
  return getStateManager().get_context<T>();
810
96
}
SmartPtrModeling.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TrackedRegionMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::TrackedRegionMap>() const
Line
Count
Source
808
47.1k
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
47.1k
  return getStateManager().get_context<T>();
810
47.1k
}
StreamChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::StreamMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::StreamMap>() const
Line
Count
Source
808
429
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
429
  return getStateManager().get_context<T>();
810
429
}
Taint.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::TaintMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::TaintMap>() const
Line
Count
Source
808
200
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
200
  return getStateManager().get_context<T>();
810
200
}
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
808
6
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
6
  return getStateManager().get_context<T>();
810
6
}
Taint.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DerivedSymTaint>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::DerivedSymTaint>() const
Line
Count
Source
808
6
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
6
  return getStateManager().get_context<T>();
810
6
}
TestAfterDivZeroChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DivZeroMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::DivZeroMap>() const
Line
Count
Source
808
116
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
116
  return getStateManager().get_context<T>();
810
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
808
480
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
480
  return getStateManager().get_context<T>();
810
480
}
ValistChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::InitializedVALists>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::InitializedVALists>() const
Line
Count
Source
808
205
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
205
  return getStateManager().get_context<T>();
810
205
}
VirtualCallChecker.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::CtorDtorMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::CtorDtorMap>() const
Line
Count
Source
808
4.98k
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
4.98k
  return getStateManager().get_context<T>();
810
4.98k
}
DynamicType.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicTypeMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::DynamicTypeMap>() const
Line
Count
Source
808
6.68k
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
6.68k
  return getStateManager().get_context<T>();
810
6.68k
}
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
808
88
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
88
  return getStateManager().get_context<T>();
810
88
}
DynamicType.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicCastMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::DynamicCastMap>() const
Line
Count
Source
808
151
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
151
  return getStateManager().get_context<T>();
810
151
}
DynamicType.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicClassObjectMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::DynamicClassObjectMap>() const
Line
Count
Source
808
64
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
64
  return getStateManager().get_context<T>();
810
64
}
ExprEngine.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ObjectsUnderConstruction>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::ObjectsUnderConstruction>() const
Line
Count
Source
808
78.9k
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
78.9k
  return getStateManager().get_context<T>();
810
78.9k
}
ExprEngine.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ObjCForHasMoreIterations>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::ObjCForHasMoreIterations>() const
Line
Count
Source
808
965
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
965
  return getStateManager().get_context<T>();
810
965
}
ExprEngine.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::InitializedGlobalsSet>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::InitializedGlobalsSet>() const
Line
Count
Source
808
193
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
193
  return getStateManager().get_context<T>();
810
193
}
ExprEngineCallAndReturn.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicDispatchBifurcationMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::DynamicDispatchBifurcationMap>() const
Line
Count
Source
808
18
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
18
  return getStateManager().get_context<T>();
810
18
}
LoopUnrolling.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::LoopStack>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::LoopStack>() const
Line
Count
Source
808
189
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
189
  return getStateManager().get_context<T>();
810
189
}
clang::ento::ProgramStateTrait<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > >::context_type clang::ento::ProgramState::get_context<llvm::ImmutableSet<clang::ento::SymExpr const*, llvm::ImutContainerInfo<clang::ento::SymExpr const*> > >() const
Line
Count
Source
808
362k
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
362k
  return getStateManager().get_context<T>();
810
362k
}
RangeConstraintManager.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ClassMembers>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::ClassMembers>() const
Line
Count
Source
808
361k
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
361k
  return getStateManager().get_context<T>();
810
361k
}
RangeConstraintManager.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ConstraintRange>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::ConstraintRange>() const
Line
Count
Source
808
501k
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
501k
  return getStateManager().get_context<T>();
810
501k
}
RangeConstraintManager.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ClassMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::ClassMap>() const
Line
Count
Source
808
361k
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
361k
  return getStateManager().get_context<T>();
810
361k
}
RangeConstraintManager.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::DisequalityMap>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::DisequalityMap>() const
Line
Count
Source
808
363k
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
363k
  return getStateManager().get_context<T>();
810
363k
}
RangeConstraintManager.cpp:clang::ento::ProgramStateTrait<llvm::ImmutableSet<(anonymous namespace)::EquivalenceClass, llvm::ImutContainerInfo<(anonymous namespace)::EquivalenceClass> > >::context_type clang::ento::ProgramState::get_context<llvm::ImmutableSet<(anonymous namespace)::EquivalenceClass, llvm::ImutContainerInfo<(anonymous namespace)::EquivalenceClass> > >() const
Line
Count
Source
808
407k
typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
809
407k
  return getStateManager().get_context<T>();
810
407k
}
Unexecuted instantiation: clang::ento::ProgramStateTrait<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::RangeSet> > >::context_type clang::ento::ProgramState::get_context<llvm::ImmutableMap<clang::ento::SymExpr const*, clang::ento::RangeSet, llvm::ImutKeyValueInfo<clang::ento::SymExpr const*, clang::ento::RangeSet> > >() const
Unexecuted instantiation: SMTConstraintManager.cpp:clang::ento::ProgramStateTrait<(anonymous namespace)::ConstraintSMT>::context_type clang::ento::ProgramState::get_context<(anonymous namespace)::ConstraintSMT>() const
811
812
template<typename T>
813
78.9k
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
814
78.9k
  return getStateManager().remove<T>(this, K, get_context<T>());
815
78.9k
}
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
813
586
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
814
586
  return getStateManager().remove<T>(this, K, get_context<T>());
815
586
}
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
813
578
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
814
578
  return getStateManager().remove<T>(this, K, get_context<T>());
815
578
}
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
813
51
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
814
51
  return getStateManager().remove<T>(this, K, get_context<T>());
815
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
813
125
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
814
125
  return getStateManager().remove<T>(this, K, get_context<T>());
815
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
813
990
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
814
990
  return getStateManager().remove<T>(this, K, get_context<T>());
815
990
}
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
813
106
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
814
106
  return getStateManager().remove<T>(this, K, get_context<T>());
815
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
813
12
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
814
12
  return getStateManager().remove<T>(this, K, get_context<T>());
815
12
}
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
813
617
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
814
617
  return getStateManager().remove<T>(this, K, get_context<T>());
815
617
}
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
813
101
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
814
101
  return getStateManager().remove<T>(this, K, get_context<T>());
815
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
813
41
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
814
41
  return getStateManager().remove<T>(this, K, get_context<T>());
815
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
813
4.81k
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
814
4.81k
  return getStateManager().remove<T>(this, K, get_context<T>());
815
4.81k
}
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
813
169
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
814
169
  return getStateManager().remove<T>(this, K, get_context<T>());
815
169
}
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
813
56
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
814
56
  return getStateManager().remove<T>(this, K, get_context<T>());
815
56
}
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
813
646
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
814
646
  return getStateManager().remove<T>(this, K, get_context<T>());
815
646
}
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
813
85
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
814
85
  return getStateManager().remove<T>(this, K, get_context<T>());
815
85
}
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
813
654
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
814
654
  return getStateManager().remove<T>(this, K, get_context<T>());
815
654
}
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
813
1.87k
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
814
1.87k
  return getStateManager().remove<T>(this, K, get_context<T>());
815
1.87k
}
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
813
56
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
814
56
  return getStateManager().remove<T>(this, K, get_context<T>());
815
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
813
276
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
814
276
  return getStateManager().remove<T>(this, K, get_context<T>());
815
276
}
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
813
435
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
814
435
  return getStateManager().remove<T>(this, K, get_context<T>());
815
435
}
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
813
7.23k
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
814
7.23k
  return getStateManager().remove<T>(this, K, get_context<T>());
815
7.23k
}
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
813
7.26k
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
814
7.26k
  return getStateManager().remove<T>(this, K, get_context<T>());
815
7.26k
}
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
813
6.18k
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
814
6.18k
  return getStateManager().remove<T>(this, K, get_context<T>());
815
6.18k
}
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
813
79
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
814
79
  return getStateManager().remove<T>(this, K, get_context<T>());
815
79
}
SmartPtrModeling.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
813
80
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
814
80
  return getStateManager().remove<T>(this, K, get_context<T>());
815
80
}
StreamChecker.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
813
139
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
814
139
  return getStateManager().remove<T>(this, K, get_context<T>());
815
139
}
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
813
5
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
814
5
  return getStateManager().remove<T>(this, K, get_context<T>());
815
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
813
274
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
814
274
  return getStateManager().remove<T>(this, K, get_context<T>());
815
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
813
102
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
814
102
  return getStateManager().remove<T>(this, K, get_context<T>());
815
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
813
2.47k
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
814
2.47k
  return getStateManager().remove<T>(this, K, get_context<T>());
815
2.47k
}
DynamicType.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<(anonymous namespace)::DynamicTypeMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicTypeMap>::key_type) const
Line
Count
Source
813
2.64k
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
814
2.64k
  return getStateManager().remove<T>(this, K, get_context<T>());
815
2.64k
}
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
813
63
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
814
63
  return getStateManager().remove<T>(this, K, get_context<T>());
815
63
}
DynamicType.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<(anonymous namespace)::DynamicClassObjectMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicClassObjectMap>::key_type) const
Line
Count
Source
813
34
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
814
34
  return getStateManager().remove<T>(this, K, get_context<T>());
815
34
}
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
813
39.6k
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
814
39.6k
  return getStateManager().remove<T>(this, K, get_context<T>());
815
39.6k
}
ExprEngine.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<(anonymous namespace)::ObjCForHasMoreIterations>(clang::ento::ProgramStateTrait<(anonymous namespace)::ObjCForHasMoreIterations>::key_type) const
Line
Count
Source
813
448
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
814
448
  return getStateManager().remove<T>(this, K, get_context<T>());
815
448
}
816
817
template<typename T>
818
ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K,
819
                               typename ProgramStateTrait<T>::context_type C) const {
820
  return getStateManager().remove<T>(this, K, C);
821
}
822
823
template <typename T>
824
223
ProgramStateRef ProgramState::remove() const {
825
223
  return getStateManager().remove<T>(this);
826
223
}
GenericTaintChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<(anonymous namespace)::TaintArgsOnPostVisit>() const
Line
Count
Source
824
158
ProgramStateRef ProgramState::remove() const {
825
158
  return getStateManager().remove<T>(this);
826
158
}
ObjCSelfInitChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<(anonymous namespace)::PreCallSelfFlags>() const
Line
Count
Source
824
26
ProgramStateRef ProgramState::remove() const {
825
26
  return getStateManager().remove<T>(this);
826
26
}
ObjCSelfInitChecker.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<(anonymous namespace)::CalledInit>() const
Line
Count
Source
824
4
ProgramStateRef ProgramState::remove() const {
825
4
  return getStateManager().remove<T>(this);
826
4
}
llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::remove<clang::ento::ReplayWithoutInlining>() const
Line
Count
Source
824
35
ProgramStateRef ProgramState::remove() const {
825
35
  return getStateManager().remove<T>(this);
826
35
}
827
828
template<typename T>
829
225k
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
830
225k
  return getStateManager().set<T>(this, D);
831
225k
}
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
829
25
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
830
25
  return getStateManager().set<T>(this, D);
831
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
829
3.32k
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
830
3.32k
  return getStateManager().set<T>(this, D);
831
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
829
660
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
830
660
  return getStateManager().set<T>(this, D);
831
660
}
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
829
881
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
830
881
  return getStateManager().set<T>(this, D);
831
881
}
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
829
19
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
830
19
  return getStateManager().set<T>(this, D);
831
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
829
109
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
830
109
  return getStateManager().set<T>(this, D);
831
109
}
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
829
85
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
830
85
  return getStateManager().set<T>(this, D);
831
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
829
24
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
830
24
  return getStateManager().set<T>(this, D);
831
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
829
45
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
830
45
  return getStateManager().set<T>(this, D);
831
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
829
1.43k
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
830
1.43k
  return getStateManager().set<T>(this, D);
831
1.43k
}
SmartPtrModeling.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::TrackedRegionMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::TrackedRegionMap>::data_type) const
Line
Count
Source
829
46.8k
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
830
46.8k
  return getStateManager().set<T>(this, D);
831
46.8k
}
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
829
48
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
830
48
  return getStateManager().set<T>(this, D);
831
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
829
14
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
830
14
  return getStateManager().set<T>(this, D);
831
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
829
40
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
830
40
  return getStateManager().set<T>(this, D);
831
40
}
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
829
168
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
830
168
  return getStateManager().set<T>(this, D);
831
168
}
RangeConstraintManager.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::ClassMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::ClassMap>::data_type) const
Line
Count
Source
829
775
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
830
775
  return getStateManager().set<T>(this, D);
831
775
}
RangeConstraintManager.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::ClassMembers>(clang::ento::ProgramStateTrait<(anonymous namespace)::ClassMembers>::data_type) const
Line
Count
Source
829
909
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
830
909
  return getStateManager().set<T>(this, D);
831
909
}
RangeConstraintManager.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::ConstraintRange>(clang::ento::ProgramStateTrait<(anonymous namespace)::ConstraintRange>::data_type) const
Line
Count
Source
829
168k
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
830
168k
  return getStateManager().set<T>(this, D);
831
168k
}
RangeConstraintManager.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::DisequalityMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::DisequalityMap>::data_type) const
Line
Count
Source
829
1.10k
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
830
1.10k
  return getStateManager().set<T>(this, D);
831
1.10k
}
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
832
833
template<typename T>
834
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::key_type K,
835
78.5k
                            typename ProgramStateTrait<T>::value_type E) const {
836
78.5k
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
78.5k
}
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
835
94
                            typename ProgramStateTrait<T>::value_type E) const {
836
94
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
94
}
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
835
24
                            typename ProgramStateTrait<T>::value_type E) const {
836
24
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
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
835
1.03k
                            typename ProgramStateTrait<T>::value_type E) const {
836
1.03k
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
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
835
189
                            typename ProgramStateTrait<T>::value_type E) const {
836
189
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
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
835
2.36k
                            typename ProgramStateTrait<T>::value_type E) const {
836
2.36k
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
2.36k
}
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
835
106
                            typename ProgramStateTrait<T>::value_type E) const {
836
106
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
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
835
1.37k
                            typename ProgramStateTrait<T>::value_type E) const {
836
1.37k
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
1.37k
}
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
835
131
                            typename ProgramStateTrait<T>::value_type E) const {
836
131
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
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
835
128
                            typename ProgramStateTrait<T>::value_type E) const {
836
128
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
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
835
10.4k
                            typename ProgramStateTrait<T>::value_type E) const {
836
10.4k
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
10.4k
}
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
835
227
                            typename ProgramStateTrait<T>::value_type E) const {
836
227
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
227
}
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
835
194
                            typename ProgramStateTrait<T>::value_type E) const {
836
194
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
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
835
28
                            typename ProgramStateTrait<T>::value_type E) const {
836
28
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
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
835
2.39k
                            typename ProgramStateTrait<T>::value_type E) const {
836
2.39k
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
2.39k
}
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
835
21
                            typename ProgramStateTrait<T>::value_type E) const {
836
21
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
21
}
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
835
55
                            typename ProgramStateTrait<T>::value_type E) const {
836
55
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
55
}
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
835
2.21k
                            typename ProgramStateTrait<T>::value_type E) const {
836
2.21k
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
2.21k
}
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
835
97
                            typename ProgramStateTrait<T>::value_type E) const {
836
97
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
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
835
6
                            typename ProgramStateTrait<T>::value_type E) const {
836
6
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
6
}
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
835
11
                            typename ProgramStateTrait<T>::value_type E) const {
836
11
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
11
}
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
835
96
                            typename ProgramStateTrait<T>::value_type E) const {
836
96
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
96
}
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
835
19
                            typename ProgramStateTrait<T>::value_type E) const {
836
19
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
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
835
344
                            typename ProgramStateTrait<T>::value_type E) const {
836
344
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
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
835
5.37k
                            typename ProgramStateTrait<T>::value_type E) const {
836
5.37k
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
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
835
249
                            typename ProgramStateTrait<T>::value_type E) const {
836
249
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
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
835
35
                            typename ProgramStateTrait<T>::value_type E) const {
836
35
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
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
835
4.13k
                            typename ProgramStateTrait<T>::value_type E) const {
836
4.13k
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
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
835
17
                            typename ProgramStateTrait<T>::value_type E) const {
836
17
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
17
}
SmartPtrModeling.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
835
201
                            typename ProgramStateTrait<T>::value_type E) const {
836
201
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
201
}
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
835
290
                            typename ProgramStateTrait<T>::value_type E) const {
836
290
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
290
}
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
835
195
                            typename ProgramStateTrait<T>::value_type E) const {
836
195
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
195
}
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
835
6
                            typename ProgramStateTrait<T>::value_type E) const {
836
6
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
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
835
2.50k
                            typename ProgramStateTrait<T>::value_type E) const {
836
2.50k
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
2.50k
}
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
835
4.04k
                            typename ProgramStateTrait<T>::value_type E) const {
836
4.04k
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
4.04k
}
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
835
88
                            typename ProgramStateTrait<T>::value_type E) const {
836
88
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
88
}
DynamicType.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::DynamicClassObjectMap>(clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicClassObjectMap>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::DynamicClassObjectMap>::value_type) const
Line
Count
Source
835
30
                            typename ProgramStateTrait<T>::value_type E) const {
836
30
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
30
}
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
835
39.2k
                            typename ProgramStateTrait<T>::value_type E) const {
836
39.2k
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
39.2k
}
ExprEngine.cpp:llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> clang::ento::ProgramState::set<(anonymous namespace)::ObjCForHasMoreIterations>(clang::ento::ProgramStateTrait<(anonymous namespace)::ObjCForHasMoreIterations>::key_type, clang::ento::ProgramStateTrait<(anonymous namespace)::ObjCForHasMoreIterations>::value_type) const
Line
Count
Source
835
517
                            typename ProgramStateTrait<T>::value_type E) const {
836
517
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
517
}
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
835
18
                            typename ProgramStateTrait<T>::value_type E) const {
836
18
  return getStateManager().set<T>(this, K, E, get_context<T>());
837
18
}
838
839
template<typename T>
840
ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::key_type K,
841
                            typename ProgramStateTrait<T>::value_type E,
842
                            typename ProgramStateTrait<T>::context_type C) const {
843
  return getStateManager().set<T>(this, K, E, C);
844
}
845
846
template <typename CB>
847
295
CB ProgramState::scanReachableSymbols(SVal val) const {
848
295
  CB cb(this);
849
295
  scanReachableSymbols(val, cb);
850
295
  return cb;
851
295
}
852
853
template <typename CB>
854
CB ProgramState::scanReachableSymbols(
855
30
    llvm::iterator_range<region_iterator> Reachable) const {
856
30
  CB cb(this);
857
30
  scanReachableSymbols(Reachable, cb);
858
30
  return cb;
859
30
}
MallocChecker.cpp:(anonymous namespace)::StopTrackingCallback clang::ento::ProgramState::scanReachableSymbols<(anonymous namespace)::StopTrackingCallback>(llvm::iterator_range<clang::ento::MemRegion const**>) const
Line
Count
Source
855
5
    llvm::iterator_range<region_iterator> Reachable) const {
856
5
  CB cb(this);
857
5
  scanReachableSymbols(Reachable, cb);
858
5
  return cb;
859
5
}
RetainCountChecker.cpp:(anonymous namespace)::StopTrackingCallback clang::ento::ProgramState::scanReachableSymbols<(anonymous namespace)::StopTrackingCallback>(llvm::iterator_range<clang::ento::MemRegion const**>) const
Line
Count
Source
855
25
    llvm::iterator_range<region_iterator> Reachable) const {
856
25
  CB cb(this);
857
25
  scanReachableSymbols(Reachable, cb);
858
25
  return cb;
859
25
}
860
861
/// \class ScanReachableSymbols
862
/// A utility class that visits the reachable symbols using a custom
863
/// SymbolVisitor. Terminates recursive traversal when the visitor function
864
/// returns false.
865
class ScanReachableSymbols {
866
  typedef llvm::DenseSet<const void*> VisitedItems;
867
868
  VisitedItems visited;
869
  ProgramStateRef state;
870
  SymbolVisitor &visitor;
871
public:
872
  ScanReachableSymbols(ProgramStateRef st, SymbolVisitor &v)
873
369k
      : state(std::move(st)), visitor(v) {}
874
875
  bool scan(nonloc::LazyCompoundVal val);
876
  bool scan(nonloc::CompoundVal val);
877
  bool scan(SVal val);
878
  bool scan(const MemRegion *R);
879
  bool scan(const SymExpr *sym);
880
};
881
882
} // end ento namespace
883
884
} // end clang namespace
885
886
#endif