|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
References
tools/clang/lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp 919 const SymbolRef *CountS = State->get<ContainerCountMap>(CollectionS);
921 const bool *KnownNonEmpty = State->get<ContainerNonEmptyMap>(CollectionS);
1044 if (const bool *NonEmpty = State->get<ContainerNonEmptyMap>(ContainerS)) {
tools/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp 760 const SVal *Recorded = state->get<CStringLength>(MR);
tools/clang/lib/StaticAnalyzer/Checkers/CheckObjCDealloc.cpp 276 if (const SymbolSet *CurrSet = State->get<UnreleasedIvarMap>(SelfSymbol))
503 const SymbolSet *OldUnreleased = State->get<UnreleasedIvarMap>(SelfSym);
861 const SymbolSet *Unreleased = State->get<UnreleasedIvarMap>(Instance);
tools/clang/lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp 556 State->get<MostSpecializedTypeArgsMap>(Sym);
712 State->get<MostSpecializedTypeArgsMap>(Sym);
789 State->get<MostSpecializedTypeArgsMap>(ArgSym);
851 State->get<MostSpecializedTypeArgsMap>(RecSym);
893 if (!State->get<MostSpecializedTypeArgsMap>(RetSym)) {
930 state->get<MostSpecializedTypeArgsMap>(Sym);
932 statePrev->get<MostSpecializedTypeArgsMap>(Sym);
tools/clang/lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp 348 if (const StringLiteral *const *SLPtr = State->get<DenotedSymbols>(S)) {
tools/clang/lib/StaticAnalyzer/Checkers/InnerPointerChecker.cpp 137 if (const PtrSet *PS = State->get<RawPtrMap>(MR)) {
212 const PtrSet *SetPtr = State->get<RawPtrMap>(ObjRegion);
245 if (const PtrSet *OldSet = State->get<RawPtrMap>(Entry.first)) {
tools/clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp 1990 return State->get<ContainerMap>(Cont);
2002 return State->get<IteratorRegionMap>(Reg);
2004 return State->get<IteratorSymbolMap>(Sym);
2006 return State->get<IteratorRegionMap>(LCVal->getRegion());
tools/clang/lib/StaticAnalyzer/Checkers/LocalizationChecker.cpp 675 const LocalizedState *LS = C.getState()->get<LocalizedMemMap>(mt);
688 const LocalizedState *LS = C.getState()->get<LocalizedMemMap>(mt);
tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPIBugReporter.cpp 95 const Request *const Req = N->getState()->get<RequestMap>(RequestRegion);
99 N->getFirstPred()->getState()->get<RequestMap>(RequestRegion);
tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPIChecker.cpp 40 const Request *const Req = State->get<RequestMap>(MR);
80 const Request *const Req = State->get<RequestMap>(ReqRegion);
tools/clang/lib/StaticAnalyzer/Checkers/MacOSKeychainAPIChecker.cpp 271 if (const AllocationState *AS = State->get<AllocatedData>(V)) {
325 const AllocationState *AS = State->get<AllocatedData>(ArgSM);
458 if (!N->getState()->get<AllocatedData>(Sym))
624 const AllocationState *AS = N->getState()->get<AllocatedData>(Sym);
628 N->getFirstPred()->getState()->get<AllocatedData>(Sym);
tools/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp 1274 const RefState *RS = State->get<RegionState>(Sym);
1618 const SymbolRef *Ret = State->get<FreeReturnValue>(Sym);
1822 const RefState *RsBase = State->get<RegionState>(SymBase);
1953 const RefState *RS = C.getState()->get<RegionState>(Sym);
2250 C.getState()->get<RegionState>(Sym)->getAllocationFamily();
2523 if (!State->get<RegionState>(Sym))
2561 const RefState *RS = C.getState()->get<RegionState>(Sym);
2803 const RefState *RS = C.getState()->get<RegionState>(Sym);
2829 if (const RefState *RS = State->get<RegionState>(Sym))
2851 if (const RefState *RS = C.getState()->get<RegionState>(Sym)) {
2904 if (const RefState *RS = state->get<RegionState>(ReallocSym)) {
3135 if (const RefState *RS = State->get<RegionState>(sym))
3176 const RefState *RSCurr = state->get<RegionState>(Sym);
3177 const RefState *RSPrev = statePrev->get<RegionState>(Sym);
3320 if (!statePrev->get<RegionState>(FailedReallocSymbol)) {
3364 const RefState *RefS = State->get<RegionState>(I.getKey());
tools/clang/lib/StaticAnalyzer/Checkers/MoveChecker.cpp 235 const RegionState *RS = State->get<TrackedRegionMap>(Region);
283 const RegionState *TrackedObject = State->get<TrackedRegionMap>(Region);
285 StatePrev->get<TrackedRegionMap>(Region);
341 if (!State->get<TrackedRegionMap>(Region))
353 const RegionState *RS = State->get<TrackedRegionMap>(Region);
483 if (State->get<TrackedRegionMap>(ArgRegion))
tools/clang/lib/StaticAnalyzer/Checkers/NSErrorChecker.cpp 175 if (const unsigned *attachedFlags = state->get<T>(sym))
tools/clang/lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp 299 const NullabilityState *TrackedNullab = State->get<NullabilityMap>(Region);
301 StatePrev->get<NullabilityMap>(Region);
485 State->get<NullabilityMap>(Region);
609 State->get<NullabilityMap>(Region);
701 State->get<NullabilityMap>(Region);
775 State->get<NullabilityMap>(Region);
806 State->get<NullabilityMap>(SelfRegion);
884 State->get<NullabilityMap>(ReturnRegion);
967 State->get<NullabilityMap>(Region);
1132 State->get<NullabilityMap>(ValueRegion);
tools/clang/lib/StaticAnalyzer/Checkers/ObjCContainersChecker.cpp 126 const DefinedSVal *Size = State->get<ArraySizeMap>(ArraySym);
tools/clang/lib/StaticAnalyzer/Checkers/ObjCSelfInitChecker.cpp 108 if (const unsigned *attachedFlags = state->get<SelfFlag>(sym))
tools/clang/lib/StaticAnalyzer/Checkers/PointerArithChecker.cpp 131 if (const AllocKind *Kind = State->get<RegionState>(Region)) {
288 if (const AllocKind *Kind = State->get<RegionState>(Region)) {
tools/clang/lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp 160 const LockState *lstate = state->get<LockMap>(lockR);
225 const SymbolRef *sym = state->get<DestroyRetVal>(lockR);
235 if (const LockState *LState = state->get<LockMap>(lockR)) {
296 const SymbolRef *sym = state->get<DestroyRetVal>(lockR);
300 if (const LockState *LState = state->get<LockMap>(lockR)) {
356 const SymbolRef *sym = State->get<DestroyRetVal>(LockR);
360 const LockState *LState = State->get<LockMap>(LockR);
417 const SymbolRef *sym = State->get<DestroyRetVal>(LockR);
421 const struct LockState *LState = State->get<LockMap>(LockR);
tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp 29 return State->get<RefBindings>(Sym);
tools/clang/lib/StaticAnalyzer/Checkers/SimpleStreamChecker.cpp 151 const StreamState *SS = State->get<StreamMap>(FileDesc);
tools/clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp 363 const StreamState *SS = state->get<StreamMap>(Sym);
tools/clang/lib/StaticAnalyzer/Checkers/Taint.cpp 102 if (const TaintTagType *T = State->get<TaintMap>(ParentSym))
110 const TaintedSubRegions *SavedRegs = State->get<DerivedSymTaint>(ParentSym);
164 if (const TaintTagType *Tag = State->get<TaintMap>(*SI)) {
178 State->get<DerivedSymTaint>(SD->getParentSymbol())) {
tools/clang/lib/StaticAnalyzer/Checkers/TrustNonnullChecker.cpp 220 Negated ? InputState->get<NonNullImplicationMap>(Antecedent)
221 : InputState->get<NullImplicationMap>(Antecedent);
tools/clang/lib/StaticAnalyzer/Checkers/VirtualCallChecker.cpp 114 const ObjectState *ObState = State->get<CtorDtorMap>(Reg);
tools/clang/lib/StaticAnalyzer/Core/DynamicType.cpp 44 if (const DynamicTypeInfo *DTI = State->get<DynamicTypeMap>(MR))
61 return State->get<DynamicTypeMap>(MR);
111 const CastSet *TempSet = State->get<DynamicCastMap>(MR);
tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp 467 assert(!State->get<ObjectsUnderConstruction>(Key) ||
478 return Optional<SVal>::create(State->get<ObjectsUnderConstruction>(Key));
tools/clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp 1064 State->get<DynamicDispatchBifurcationMap>(BifurReg);
tools/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp 384 const RangeSet *Ranges = State->get<ConstraintRange>(Sym);
408 const ConstraintRangeTy::data_type *T = St->get<ConstraintRange>(Sym);
481 ConstraintRangeTy::data_type *V = State->get<ConstraintRange>(Sym);
529 if (const RangeSet *negV = State->get<ConstraintRange>(negSym)) {