| /src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | SVals.cpp | 48 const MemRegion* R = X->getRegion(); in getAsFunctionDecl()
86 const MemRegion *R = X->getRegion(); in getLocSymbolInBase()
122 return X->getRegion(); in getAsRegion()
140 return Visit(MRV.getRegion()); in VisitMemRegionVal()
163 return LCV.getRegion()->getValueType(); in VisitLazyCompoundVal()
187 return getRegion()->StripCasts(StripBaseCasts); in stripCasts()
194 const TypedValueRegion *nonloc::LazyCompoundVal::getRegion() const { in getRegion() function in nonloc::LazyCompoundVal
195 return static_cast<const LazyCompoundValData*>(Data)->getRegion(); in getRegion()
333 << ',' << C.getRegion() in dumpToStream()
372 os << '&' << castAs<loc::MemRegionVal>().getRegion()->getString(); in dumpToStream()
|
| H A D | SymbolManager.cpp | 94 << getRegion() << '}'; in dumpToStream()
98 os << getKindStr() << getSymbolID() << '{' << getRegion() << '}'; in dumpToStream()
102 os << getKindStr() << getSymbolID() << '{' << getRegion() << ',' << T << '}'; in dumpToStream()
469 KnownLive = isReadableRegion(cast<SymbolRegionValue>(sym)->getRegion()); in isLive()
478 KnownLive = isLiveRegion(cast<SymbolExtent>(sym)->getRegion()); in isLive()
482 isLiveRegion(cast<SymbolMetadata>(sym)->getRegion()); in isLive()
|
| H A D | RegionStore.cpp | 75 const MemRegion *getRegion() const { return P.getPointer(); } in getRegion() function in __anond97e23750111::BindingKey
89 return getRegion()->getBaseRegion(); in getBaseRegion()
119 return BindingKey(cast<SubRegion>(R), cast<SubRegion>(RO.getRegion()), k); in Make()
121 return BindingKey(RO.getRegion(), RO.getOffset(), k); in Make()
653 if (const SubRegion *R = dyn_cast<SubRegion>(Key.getRegion())) { in iterBindings()
811 const MemRegion *R = K.getRegion(); in getSymbolicOffsetFields()
878 if (NextKey.getRegion() == TopKey.getRegion()) { in collectSubRegionBindings()
1374 cast<SubRegion>(Array.castAs<loc::MemRegionVal>().getRegion()); in ArrayToPointer()
1400 const MemRegion *MR = L.castAs<loc::MemRegionVal>().getRegion(); in getBinding()
1545 QualType SourceRegionTy = LCV->getRegion()->getValueType(); in getExistingLazyBinding()
[all …]
|
| H A D | ProgramState.cpp | 132 const MemRegion *R = loc.castAs<loc::MemRegionVal>().getRegion(); in bindDefaultInitial()
141 const MemRegion *R = loc.castAs<loc::MemRegionVal>().getRegion(); in bindDefaultZero()
255 return getSVal(getRegion(SelfDecl, LCtx)); in getSelfSVal()
585 const MemRegion *R = val.getRegion()->getBaseRegion(); in scan()
612 return scan(X->getRegion()); in scan()
|
| H A D | Store.cpp | 174 const MemRegion *baseR = rawOff.getRegion(); in castRegion()
407 BaseR = cast<SubRegion>(BaseL.castAs<loc::MemRegionVal>().getRegion()); in getLValueFieldOrIvar()
|
| H A D | ExprEngineObjC.cpp | 60 if (const auto *R = dyn_cast<TypedValueRegion>(MV->getRegion())) { in populateObjCForDestinationSet()
|
| H A D | SValBuilder.cpp | 721 const MemRegion *R = V.getRegion(); in VisitMemRegionVal()
782 const MemRegion *R = V.getRegion(); in VisitMemRegionVal()
847 const MemRegion *R = V.getRegion(); in VisitMemRegionVal()
|
| /src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | SValExplainer.h | 40 if (isa<CXXThisRegion>(S->getRegion())) in isThisObject()
69 const MemRegion *R = V.getRegion(); in VisitMemRegionVal()
101 return "lazily frozen compound value of " + Visit(V.getRegion()); in VisitLazyCompoundVal()
105 const MemRegion *R = S->getRegion(); in VisitSymbolRegionValue()
120 ") for " + Visit(S->getRegion()); in VisitSymbolDerived()
124 return "extent of " + Visit(S->getRegion()); in VisitSymbolExtent()
129 Visit(S->getRegion()); in VisitSymbolMetadata()
|
| /src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BlockInCriticalSectionChecker.cpp | 79 [[nodiscard]] const MemRegion *getRegion(const CallEvent &Call, bool) const { in getRegion() function in __anonddda7c1a0111::FirstArgMutexDescriptor
89 [[nodiscard]] const MemRegion *getRegion(const CallEvent &Call, bool) const { in getRegion() function in __anonddda7c1a0111::MemberMutexDescriptor
129 [[nodiscard]] const MemRegion *getRegion(const CallEvent &Call, in getRegion() function in __anonddda7c1a0111::RAIIMutexDescriptor
244 static const MemRegion *getRegion(const CallEvent &Call, in getRegion() function
249 return Descriptor.getRegion(Call, IsLock); in getRegion()
258 getRegion(Call, LockDescriptor, /*IsLock=*/true); in handleLock()
272 getRegion(Call, UnlockDescriptor, /*IsLock=*/false); in handleUnlock()
|
| H A D | Taint.cpp | 72 return addPartialTaint(State, Sym, LCV->getRegion(), Kind); in addTaint()
292 const TypedValueRegion *R = SD->getRegion(); in getTaintedSymbolsImpl()
310 getTaintedSymbolsImpl(State, SRV->getRegion(), Kind, returnFirstOnly); in getTaintedSymbolsImpl()
|
| H A D | CXXSelfAssignmentChecker.cpp | 51 auto Param = SVB.makeLoc(State->getRegion(MD->getParamDecl(0), LCtx)); in checkBeginFunction()
|
| H A D | CheckObjCDealloc.cpp | 502 const MemRegion *SelfRegion = SelfVal.castAs<loc::MemRegionVal>().getRegion(); in diagnoseMissingReleases()
522 cast<SymbolRegionValue>(IvarSymbol)->getRegion(); in diagnoseMissingReleases()
627 if (DeallocedInstance.castAs<loc::MemRegionVal>().getRegion() != in findPropertyOnDeallocatingInstance()
977 SelfValOut = State->getSVal(State->getRegion(SelfDecl, LCtx)); in isInInstanceDealloc()
|
| H A D | Iterator.cpp | 191 return State->get<IteratorRegionMap>(LCVal->getRegion()); in getIteratorPosition()
204 return State->set<IteratorRegionMap>(LCVal->getRegion(), Pos); in setIteratorPosition()
|
| H A D | UndefResultChecker.cpp | 48 const MemRegion *MR = Loc.castAs<loc::MemRegionVal>().getRegion(); in isArrayIndexOutOfBounds()
|
| H A D | NullabilityChecker.cpp | 326 const MemRegion *Region = RegionSVal->getRegion(); in getTrackRegion()
395 if (!StoredVal || !isa<SymbolicRegion>(StoredVal->getRegion())) in checkValueAtLValForInvariantViolation()
432 SVal SelfVal = State->getSVal(State->getRegion(SelfDecl, LocCtxt)); in checkSelfIvarsForInvariantViolation()
585 const VarRegion *ParamRegion = State->getRegion(Param, LCtx); in checkBeginFunction()
935 const MemRegion *SelfRegion = ValueRegionSVal->getRegion(); in getReceiverNullability()
|
| H A D | ErrnoModeling.cpp | 108 ErrnoR = State->getRegion(ErrnoDecl, C.getLocationContext()); in checkBeginFunction()
|
| H A D | NSErrorChecker.cpp | 202 const MemRegion* R = X->getRegion(); in parameterTypeFromSVal()
|
| H A D | VLASizeChecker.cpp | 303 setDynamicExtent(State, State->getRegion(VD, C.getLocationContext()), in checkPreStmt()
|
| /src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SVals.h | 367 const TypedValueRegion *getRegion() const;
441 const MemRegion *getRegion() const { return castDataAs<MemRegion>(); } in getRegion() function
449 return dyn_cast<REGION>(getRegion()); in getRegionAs()
453 return getRegion() == R.getRegion();
457 return getRegion() != R.getRegion();
|
| H A D | SymbolManager.h | 53 const TypedValueRegion* getRegion() const { return R; } in getRegion() function
67 const MemRegion *getOriginRegion() const override { return getRegion(); } in getOriginRegion()
150 const TypedValueRegion *getRegion() const { return R; } in getRegion() function
157 const MemRegion *getOriginRegion() const override { return getRegion(); } in getOriginRegion()
189 const SubRegion *getRegion() const { return R; } in getRegion() function
237 const MemRegion *getRegion() const { return R; } in getRegion() function
|
| H A D | Store.h | 98 return getDefaultBinding(lcv.getStore(), lcv.getRegion()); in getDefaultBinding()
270 const MemRegion *getRegion() { return Binding; } in getRegion() function
|
| H A D | BasicValueFactory.h | 77 const TypedValueRegion *getRegion() const { return region; } in getRegion() function
|
| /src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/ |
| H A D | UninitializedObject.h | 117 const FieldRegion *getRegion() const { return FR; } in getRegion() function
189 const FieldRegion *getUninitRegion() const { return getHead().getRegion(); } in getUninitRegion()
338 assert(!contains(FN.getRegion()) && in add()
|
| /src/contrib/llvm-project/clang/lib/CodeGen/ |
| H A D | CoverageMappingGen.cpp | 1076 SourceMappingRegion &getRegion() { in getRegion() function
1090 Counter ExitCount = getRegion().getCounter(); in propagateCounts()
1185 if (getRegion().hasEndLoc() && in adjustForOutOfOrderTraversal()
1188 MostRecentLocation, getRegion().isBranch())) in adjustForOutOfOrderTraversal()
1267 SourceMappingRegion &Region = getRegion(); in extendRegion()
1278 SourceMappingRegion &Region = getRegion(); in terminateRegion()
1347 getRegion().setGap(true); in fillGapAreaWithCount()
1410 getRegion().setSkipped(true); in markSkipped()
1549 BreakContinueStack.back().BreakCount, getRegion().getCounter()); in VisitBreakStmt()
1559 BreakContinueStack.back().ContinueCount, getRegion().getCounter()); in VisitContinueStmt()
[all …]
|
| /src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/cert/ |
| H A D | InvalidPtrChecker.cpp | 245 Reg = SRV->getRegion(); in findInvalidatedSymbolicBase()
246 if (const auto *VarReg = dyn_cast<VarRegion>(SRV->getRegion())) in findInvalidatedSymbolicBase()
325 State->getRegion(FD->parameters()[2], C.getLocationContext()); in checkBeginFunction()
|