Coverage Report

Created: 2022-01-22 13:19

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