Home
last modified time | relevance | path

Searched refs:getRegion (Results 1 – 25 of 37) sorted by relevance

12

/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSVals.cpp54 const MemRegion *R = RV->getRegion(); in hasConjuredSymbol()
67 const MemRegion* R = X->getRegion(); in getAsFunctionDecl()
105 const MemRegion *R = X->getRegion(); in getLocSymbolInBase()
133 return X->getRegion(); in getAsRegion()
151 return Visit(MRV.getRegion()); in VisitLocMemRegionVal()
178 return LCV.getRegion()->getValueType(); in VisitNonLocLazyCompoundVal()
199 const MemRegion *R = getRegion(); in stripCasts()
207 const TypedValueRegion *nonloc::LazyCompoundVal::getRegion() const { in getRegion() function in nonloc::LazyCompoundVal
208 return static_cast<const LazyCompoundValData*>(Data)->getRegion(); in getRegion()
386 << ',' << C.getRegion() in dumpToStream()
[all …]
H A DSymbolManager.cpp85 << getRegion() << '}'; in dumpToStream()
89 os << getKindStr() << getSymbolID() << '{' << getRegion() << '}'; in dumpToStream()
93 os << getKindStr() << getSymbolID() << '{' << getRegion() << ',' in dumpToStream()
453 KnownLive = isLiveRegion(cast<SymbolRegionValue>(sym)->getRegion()); in isLive()
462 KnownLive = isLiveRegion(cast<SymbolExtent>(sym)->getRegion()); in isLive()
466 isLiveRegion(cast<SymbolMetadata>(sym)->getRegion()); in isLive()
H A DRegionStore.cpp74 const MemRegion *getRegion() const { return P.getPointer(); } in getRegion() function in __anon5d660c940111::BindingKey
88 return getRegion()->getBaseRegion(); in getBaseRegion()
120 return BindingKey(RO.getRegion(), RO.getOffset(), k); in Make()
817 const MemRegion *R = K.getRegion(); in getSymbolicOffsetFields()
885 if (NextKey.getRegion() == TopKey.getRegion()) { in collectSubRegionBindings()
1593 return std::make_pair(V->getStore(), V->getRegion()); in findLazyBinding()
1707 if (!O.getRegion()) in getBindingForElement()
1711 dyn_cast_or_null<TypedValueRegion>(O.getRegion())) { in getBindingForElement()
2017 const SubRegion *LazyR = LCV.getRegion(); in getInterestingValues()
2113 if (const MemRegion* R = LV->getRegion()) in killBinding()
[all …]
H A DProgramState.cpp135 const MemRegion *R = loc.castAs<loc::MemRegionVal>().getRegion(); in bindDefaultInitial()
144 const MemRegion *R = loc.castAs<loc::MemRegionVal>().getRegion(); in bindDefaultZero()
247 return getSVal(getRegion(SelfDecl, LCtx)); in getSelfSVal()
544 const MemRegion *R = val.getRegion()->getBaseRegion(); in scan()
573 return scan(X->getRegion()); in scan()
H A DStore.cpp167 const MemRegion *baseR = rawOff.getRegion(); in castRegion()
407 BaseR = cast<SubRegion>(BaseL.castAs<loc::MemRegionVal>().getRegion()); in getLValueFieldOrIvar()
H A DSValBuilder.cpp713 const MemRegion *R = V.getRegion(); in evalCastSubKind()
779 const MemRegion *R = V.getRegion(); in evalCastSubKind()
837 const MemRegion *R = V.getRegion(); in evalCastSubKind()
H A DExprEngineObjC.cpp60 if (const auto *R = dyn_cast<TypedValueRegion>(MV->getRegion())) { in populateObjCForDestinationSet()
H A DSimpleSValBuilder.cpp942 if (LeftOffset.getRegion() != nullptr && in evalBinOpLL()
943 LeftOffset.getRegion() == RightOffset.getRegion() && in evalBinOpLL()
H A DBugReporterVisitors.cpp200 return LLCV->getRegion() == RLCV->getRegion() && in hasVisibleUpdate()
1521 OldRegion = FB.getRegion(); in VisitNode()
2276 RVal = LVState->getSVal(L->getRegion()); in handle()
2279 Report.addVisitor<UndefOrNullArgVisitor>(L->getRegion()); in handle()
2284 getParentTracker().track(*KV, L->getRegion(), Opts, SFC)); in handle()
/freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/
H A DSValExplainer.h40 if (isa<CXXThisRegion>(S->getRegion())) in isThisObject()
57 const MemRegion *R = V.getRegion(); in VisitLocMemRegionVal()
89 return "lazily frozen compound value of " + Visit(V.getRegion()); in VisitNonLocLazyCompoundVal()
93 const MemRegion *R = S->getRegion(); in VisitSymbolRegionValue()
108 ") for " + Visit(S->getRegion()); in VisitSymbolDerived()
112 return "extent of " + Visit(S->getRegion()); in VisitSymbolExtent()
117 Visit(S->getRegion()); in VisitSymbolMetadata()
/freebsd-13.1/contrib/llvm-project/clang/lib/CodeGen/
H A DCoverageMappingGen.cpp680 SourceMappingRegion &getRegion() { in getRegion() function
694 Counter ExitCount = getRegion().getCounter(); in propagateCounts()
773 if (getRegion().hasEndLoc() && in adjustForOutOfOrderTraversal()
854 SourceMappingRegion &Region = getRegion(); in extendRegion()
865 SourceMappingRegion &Region = getRegion(); in terminateRegion()
928 getRegion().setGap(true); in fillGapAreaWithCount()
1076 Counter ParentCount = getRegion().getCounter(); in VisitWhileStmt()
1285 getRegion().setGap(true); in VisitSwitchStmt()
1341 SourceMappingRegion &Parent = getRegion(); in VisitSwitchCase()
1475 Counter ParentCnt = getRegion().getCounter(); in VisitBinLAnd()
[all …]
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundCheckerV2.cpp60 const SubRegion *getRegion() const { return baseRegion; } in getRegion() function in __anonc0dc03360111::RegionRawOffsetV2
135 if (!rawOffset.getRegion()) in checkLocation()
144 SVal extentBegin = computeExtentBegin(svalBuilder, rawOffset.getRegion()); in checkLocation()
181 const MemRegion *MR = rawOffset.getRegion(); in checkLocation()
270 os << "raw_offset_v2{" << getRegion() << ',' << getByteOffset() << '}'; in dumpToStream()
H A DTaint.cpp68 return addPartialTaint(State, Sym, LCV->getRegion(), Kind); in addTaint()
204 const TypedValueRegion *R = SD->getRegion(); in isTainted()
218 if (isTainted(State, SRV->getRegion(), Kind)) in isTainted()
H A DCXXSelfAssignmentChecker.cpp51 auto Param = SVB.makeLoc(State->getRegion(MD->getParamDecl(0), LCtx)); in checkBeginFunction()
H A DIterator.cpp192 return State->get<IteratorRegionMap>(LCVal->getRegion()); in getIteratorPosition()
205 return State->set<IteratorRegionMap>(LCVal->getRegion(), Pos); in setIteratorPosition()
H A DCheckObjCDealloc.cpp494 const MemRegion *SelfRegion = SelfVal.castAs<loc::MemRegionVal>().getRegion(); in diagnoseMissingReleases()
514 cast<SymbolRegionValue>(IvarSymbol)->getRegion(); in diagnoseMissingReleases()
619 if (DeallocedInstance.castAs<loc::MemRegionVal>().getRegion() != in findPropertyOnDeallocatingInstance()
986 SelfValOut = State->getSVal(State->getRegion(SelfDecl, LCtx)); in isInInstanceDealloc()
H A DNullabilityChecker.cpp285 const MemRegion *Region = RegionSVal->getRegion(); in getTrackRegion()
351 if (!StoredVal || !isa<SymbolicRegion>(StoredVal->getRegion())) in checkValueAtLValForInvariantViolation()
388 SVal SelfVal = State->getSVal(State->getRegion(SelfDecl, LocCtxt)); in checkSelfIvarsForInvariantViolation()
843 const MemRegion *SelfRegion = ValueRegionSVal->getRegion(); in getReceiverNullability()
H A DUndefResultChecker.cpp48 const MemRegion *MR = Loc.castAs<loc::MemRegionVal>().getRegion(); in isArrayIndexOutOfBounds()
H A DVLASizeChecker.cpp291 setDynamicExtent(State, State->getRegion(VD, C.getLocationContext()), in checkPreStmt()
H A DNSErrorChecker.cpp201 const MemRegion* R = X->getRegion(); in parameterTypeFromSVal()
/freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSVals.h505 const TypedValueRegion *getRegion() const;
613 const MemRegion *getRegion() const { in getRegion() function
622 return dyn_cast<REGION>(getRegion()); in getRegionAs()
626 return getRegion() == R.getRegion();
630 return getRegion() != R.getRegion();
H A DSymbolManager.h51 const TypedValueRegion* getRegion() const { return R; } in getRegion() function
65 const MemRegion *getOriginRegion() const override { return getRegion(); } in getOriginRegion()
144 const TypedValueRegion *getRegion() const { return R; } in getRegion() function
151 const MemRegion *getOriginRegion() const override { return getRegion(); } in getOriginRegion()
182 const SubRegion *getRegion() const { return R; } in getRegion() function
229 const MemRegion *getRegion() const { return R; } in getRegion() function
H A DStore.h97 return getDefaultBinding(lcv.getStore(), lcv.getRegion()); in getDefaultBinding()
273 const MemRegion *getRegion() { return Binding; } in getRegion() function
H A DBasicValueFactory.h74 const TypedValueRegion *getRegion() const { return region; } in getRegion() function
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
H A DUninitializedObject.h117 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()

12