reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
  604      ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
  612         ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Add(st->get<T>(), K, C)));
  621      ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h
  201     auto CZ = State->get<ConstraintSMT>();
  214     ConstraintSMTType Constraints = State->get<ConstraintSMT>();
  242     return S1->get<ConstraintSMT>() == S2->get<ConstraintSMT>();
  242     return S1->get<ConstraintSMT>() == S2->get<ConstraintSMT>();
  309     auto CZ = State->get<ConstraintSMT>();
  332     NewState->get<ConstraintSMT>().Profile(ID);
tools/clang/lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp
 1124   ContainerCountMapTy Tracked = State->get<ContainerCountMap>();
tools/clang/lib/StaticAnalyzer/Checkers/BlockInCriticalSectionChecker.cpp
  153   unsigned mutexCount = State->get<MutexCounter>();
tools/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp
 2317   CStringLengthTy Entries = state->get<CStringLength>();
 2367   CStringLengthTy Entries = state->get<CStringLength>();
 2382   CStringLengthTy Entries = state->get<CStringLength>();
tools/clang/lib/StaticAnalyzer/Checkers/CheckObjCDealloc.cpp
  406   if (State->get<UnreleasedIvarMap>().isEmpty())
  451   if (State->get<UnreleasedIvarMap>().isEmpty())
  599   assert(!LCtx->inTopFrame() || State->get<UnreleasedIvarMap>().isEmpty());
tools/clang/lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp
  119       State->get<MostSpecializedTypeArgsMap>();
tools/clang/lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp
  264   const MarkedSymbolsTy &Syms = State->get<MarkedSymbols>();
  277   for (auto I : State->get<DenotedSymbols>()) {
tools/clang/lib/StaticAnalyzer/Checkers/GenericTaintChecker.cpp
  501   TaintArgsOnPostVisitTy TaintArgs = State->get<TaintArgsOnPostVisit>();
tools/clang/lib/StaticAnalyzer/Checkers/InnerPointerChecker.cpp
   64       RawPtrMapTy Map = State->get<RawPtrMap>();
  238   RawPtrMapTy RPM = State->get<RawPtrMap>();
  268   RawPtrMapTy Map = State->get<RawPtrMap>();
tools/clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp
  781   auto RegionMap = State->get<IteratorRegionMap>();
  789   auto SymbolMap = State->get<IteratorSymbolMap>();
  797   auto ContMap = State->get<ContainerMap>();
  818   auto RegionMap = State->get<IteratorRegionMap>();
  830   auto SymbolMap = State->get<IteratorSymbolMap>();
  837   auto ContMap = State->get<ContainerMap>();
 2069   auto RegionMap = State->get<IteratorRegionMap>();
 2075   auto SymbolMap = State->get<IteratorSymbolMap>();
 2141   auto RegionMap = State->get<IteratorRegionMap>();
 2154   auto SymbolMap = State->get<IteratorSymbolMap>();
tools/clang/lib/StaticAnalyzer/Checkers/MIGChecker.cpp
  266   if (!State->get<ReleasedParameter>())
tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPIChecker.cpp
  103   const auto &Requests = State->get<RequestMap>();
  110   auto ReqMap = State->get<RequestMap>();
tools/clang/lib/StaticAnalyzer/Checkers/MacOSKeychainAPIChecker.cpp
  508   AllocatedDataTy AMap = State->get<AllocatedData>();
  544   AllocatedDataTy AMap = State->get<AllocatedData>();
  590   for (auto I : State->get<AllocatedData>()) {
  655   AllocatedDataTy AMap = State->get<AllocatedData>();
tools/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp
 2621   RegionStateTy OldRS = state->get<RegionState>();
 2637     assert(state->get<ReallocPairs>() ==
 2638            C.getState()->get<ReallocPairs>());
 2639     assert(state->get<FreeReturnValue>() ==
 2640            C.getState()->get<FreeReturnValue>());
 2645   ReallocPairsTy RP = state->get<ReallocPairs>();
 2654   FreeReturnValueTy FR = state->get<FreeReturnValue>();
 2884   RegionStateTy RS = state->get<RegionState>();
 2895   ReallocPairsTy RP = state->get<ReallocPairs>();
 3145   ReallocPairsTy currMap = currState->get<ReallocPairs>();
 3146   ReallocPairsTy prevMap = prevState->get<ReallocPairs>();
 3359   RegionStateTy RS = State->get<RegionState>();
tools/clang/lib/StaticAnalyzer/Checkers/MoveChecker.cpp
  247   for (auto &E : State->get<TrackedRegionMap>()) {
  256   for (auto &E : State->get<TrackedRegionMap>()) {
  687   TrackedRegionMapTy TrackedRegions = State->get<TrackedRegionMap>();
  739   TrackedRegionMapTy RS = State->get<TrackedRegionMap>();
tools/clang/lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp
  406   if (State->get<InvariantViolated>())
  452   NullabilityMapTy Nullabilities = State->get<NullabilityMap>();
  475   if (Event.SinkNode->getState()->get<InvariantViolated>())
  532   if (State->get<InvariantViolated>())
  646   if (State->get<InvariantViolated>())
  757   if (State->get<InvariantViolated>())
  826   if (State->get<InvariantViolated>())
  941   if (State->get<InvariantViolated>())
 1065   if (State->get<InvariantViolated>())
 1173   NullabilityMapTy B = State->get<NullabilityMap>();
 1175   if (State->get<InvariantViolated>())
 1182   if (!State->get<InvariantViolated>())
tools/clang/lib/StaticAnalyzer/Checkers/ObjCContainersChecker.cpp
  176   ArraySizeMapTy Map = State->get<ArraySizeMap>();
tools/clang/lib/StaticAnalyzer/Checkers/ObjCSelfInitChecker.cpp
  148   if (!C.getState()->get<CalledInit>())
  273   SelfFlagEnum prevFlags = (SelfFlagEnum)state->get<PreCallSelfFlags>();
  339   SelfFlagTy FlagMap = State->get<SelfFlag>();
  340   bool DidCallInit = State->get<CalledInit>();
  341   SelfFlagEnum PreCallFlags = (SelfFlagEnum)State->get<PreCallSelfFlags>();
tools/clang/lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp
  185   LockMapTy LM = State->get<LockMap>();
  204   LockSetTy LS = State->get<LockSet>();
  319   LockSetTy LS = state->get<LockSet>();
  468   DestroyRetValTy TrackedSymbols = State->get<DestroyRetVal>();
tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp
 1159   RefBindingsTy B = state->get<RefBindings>();
 1377   RefBindingsTy B = state->get<RefBindings>();
 1400   B = state->get<RefBindings>();
 1417   for (const auto &I: state->get<RefBindings>()) {
 1446   RefBindingsTy B = state->get<RefBindings>();
 1458   RefBindingsTy B = State->get<RefBindings>();
tools/clang/lib/StaticAnalyzer/Checkers/SimpleStreamChecker.cpp
  178   StreamMapTy TrackedStreams = State->get<StreamMap>();
tools/clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp
  393   const StreamMapTy &Map = state->get<StreamMap>();
tools/clang/lib/StaticAnalyzer/Checkers/Taint.cpp
   31   TaintMapTy TM = State->get<TaintMap>();
tools/clang/lib/StaticAnalyzer/Checkers/TestAfterDivZeroChecker.cpp
  185   DivZeroMapTy DivZeroes = State->get<DivZeroMap>();
tools/clang/lib/StaticAnalyzer/Checkers/TrustNonnullChecker.cpp
  149     for (const std::pair<SymbolRef, SymbolRef> &P : State->get<MapName>())
tools/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/UninitializedObjectChecker.cpp
  219   for (const MemRegion *R : State->get<AnalyzedRegions>()) {
tools/clang/lib/StaticAnalyzer/Checkers/ValistChecker.cpp
  206   InitializedVAListsTy TrackedVALists = State->get<InitializedVALists>();
tools/clang/lib/StaticAnalyzer/Checkers/VforkChecker.cpp
   79   return State->get<VforkResultRegion>() != VFORK_RESULT_INVALID;
  198     static_cast<const MemRegion *>(State->get<VforkResultRegion>());
tools/clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
 2859   const ConstraintRangeTy &NewCs = N->getState()->get<ConstraintRange>();
tools/clang/lib/StaticAnalyzer/Core/DynamicType.cpp
   68   const auto *Lookup = State->get<DynamicCastMap>().lookup(MR);
  132   return removeDead(State, State->get<DynamicTypeMap>(), SR);
  136   return removeDead(State, State->get<DynamicCastMap>(), SR);
  144   const DynamicTypeMapTy &Map = State->get<DynamicTypeMap>();
  180   const DynamicCastMapTy &Map = State->get<DynamicCastMap>();
tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
  521     for (auto I : State->get<ObjectsUnderConstruction>())
  566   for (const auto &I : State->get<ObjectsUnderConstruction>()) {
  579   for (const auto &I : State->get<ObjectsUnderConstruction>()) {
  606   if (LCtx && !State->get<ObjectsUnderConstruction>().isEmpty()) {
  719   for (auto I : CleanedState->get<ObjectsUnderConstruction>()) {
 2285       for (auto I : State->get<ObjectsUnderConstruction>())
tools/clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp
  486   const void *ReplayState = State->get<ReplayWithoutInlining>();
tools/clang/lib/StaticAnalyzer/Core/LoopUnrolling.cpp
   76   auto LS = State->get<LoopStack>();
  259   auto LS = State->get<LoopStack>();
  289   auto LS = State->get<LoopStack>();
tools/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp
  252     return S1->get<ConstraintRange>() == S2->get<ConstraintRange>();
  252     return S1->get<ConstraintRange>() == S2->get<ConstraintRange>();
  418   ConstraintRangeTy CR = State->get<ConstraintRange>();
  765   ConstraintRangeTy Constraints = State->get<ConstraintRange>();