| /freebsd/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 __anonfa909ae00111::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 | BugReporterVisitors.cpp | 233 return LLCV->getRegion() == RLCV->getRegion() && in hasVisibleUpdate()
1762 OldRegion = FB.getRegion(); in VisitNode()
2540 RVal = LVState->getSVal(L->getRegion()); in handle()
2543 Report.addVisitor<UndefOrNullArgVisitor>(L->getRegion()); in handle()
2548 getParentTracker().track(RVal, L->getRegion(), Opts, SFC)); in handle()
|
| H A D | ExprEngineCallAndReturn.cpp | 211 auto ArrayRegion = ThisElementRegion->getAsArrayOffset().getRegion(); in getElementCountOfArrayBeingDestructed()
643 assert(cast<VarRegion>(VV.castAs<loc::MemRegionVal>().getRegion()) in finishArgumentConstruction()
|
| /freebsd/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 __anon83a18dc50111::FirstArgMutexDescriptor
89 [[nodiscard]] const MemRegion *getRegion(const CallEvent &Call, bool) const { in getRegion() function in __anon83a18dc50111::MemberMutexDescriptor
129 [[nodiscard]] const MemRegion *getRegion(const CallEvent &Call, in getRegion() function in __anon83a18dc50111::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 | 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 | VLASizeChecker.cpp | 303 setDynamicExtent(State, State->getRegion(VD, C.getLocationContext()), in checkPreStmt()
|
| H A D | IteratorModeling.cpp | 780 return State->remove<IteratorRegionMap>(LCVal->getRegion()); in removeIteratorPosition()
821 if (LCVal->getRegion() == Reg) in isBoundThroughLazyCompoundVal()
|
| H A D | CStringChecker.cpp | 1281 const MemRegion *R = MR->getRegion()->StripCasts(); in invalidateBufferAux()
1359 const MemRegion *BR = Offset.getRegion(); in memsetAux()
2248 state = setCStringLength(state, dstRegVal->getRegion(), finalStrLength); in evalStrcpyCommon()
|
| /freebsd/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
|
| H A D | ProgramState.h | 272 const VarRegion* getRegion(const VarDecl *D, const LocationContext *LC) const;
702 inline const VarRegion* ProgramState::getRegion(const VarDecl *D, in getRegion() function
|
| H A D | MemRegion.h | 80 const MemRegion *getRegion() const { return R; } in getRegion() function
1192 const MemRegion *getRegion() const { return Region; } in getRegion() function
|
| /freebsd/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 …]
|
| /freebsd/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()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountDiagnostics.cpp | 436 const auto *VR = cast<VarRegion>(cast<SymbolRegionValue>(Sym)->getRegion()); in annotateStartParameter()
689 const MemRegion *R = FB.getRegion(); in GetAllocationSite()
|