Coverage Report

Created: 2019-02-21 13:17

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