Home
last modified time | relevance | path

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

12

/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/
H A DSVals.cpp48 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 VisitLocMemRegionVal()
169 return LCV.getRegion()->getValueType(); in VisitNonLocLazyCompoundVal()
190 return getRegion()->StripCasts(StripBaseCasts); in stripCasts()
197 const TypedValueRegion *nonloc::LazyCompoundVal::getRegion() const { in getRegion() function in nonloc::LazyCompoundVal
198 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 DSymbolManager.cpp94 << getRegion() << '}'; in dumpToStream()
98 os << getKindStr() << getSymbolID() << '{' << getRegion() << '}'; in dumpToStream()
102 os << getKindStr() << getSymbolID() << '{' << getRegion() << ',' << T << '}'; in dumpToStream()
479 KnownLive = isReadableRegion(cast<SymbolRegionValue>(sym)->getRegion()); in isLive()
488 KnownLive = isLiveRegion(cast<SymbolExtent>(sym)->getRegion()); in isLive()
492 isLiveRegion(cast<SymbolMetadata>(sym)->getRegion()); in isLive()
H A DRegionStore.cpp74 const MemRegion *getRegion() const { return P.getPointer(); } in getRegion() function in __anon943ea7f70111::BindingKey
88 return getRegion()->getBaseRegion(); in getBaseRegion()
118 return BindingKey(cast<SubRegion>(R), cast<SubRegion>(RO.getRegion()), k); in Make()
120 return BindingKey(RO.getRegion(), RO.getOffset(), k); in Make()
654 if (const SubRegion *R = dyn_cast<SubRegion>(K.getRegion())) { in iterBindings()
812 const MemRegion *R = K.getRegion(); in getSymbolicOffsetFields()
880 if (NextKey.getRegion() == TopKey.getRegion()) { in collectSubRegionBindings()
1387 cast<SubRegion>(Array.castAs<loc::MemRegionVal>().getRegion()); in ArrayToPointer()
1413 const MemRegion *MR = L.castAs<loc::MemRegionVal>().getRegion(); in getBinding()
1558 QualType SourceRegionTy = LCV->getRegion()->getValueType(); in getExistingLazyBinding()
[all …]
H A DProgramState.cpp132 const MemRegion *R = loc.castAs<loc::MemRegionVal>().getRegion(); in bindDefaultInitial()
141 const MemRegion *R = loc.castAs<loc::MemRegionVal>().getRegion(); in bindDefaultZero()
242 return getSVal(getRegion(SelfDecl, LCtx)); in getSelfSVal()
554 const MemRegion *R = val.getRegion()->getBaseRegion(); in scan()
583 return scan(X->getRegion()); in scan()
H A DStore.cpp173 const MemRegion *baseR = rawOff.getRegion(); in castRegion()
408 BaseR = cast<SubRegion>(BaseL.castAs<loc::MemRegionVal>().getRegion()); in getLValueFieldOrIvar()
H A DExprEngineObjC.cpp60 if (const auto *R = dyn_cast<TypedValueRegion>(MV->getRegion())) { in populateObjCForDestinationSet()
H A DSValBuilder.cpp716 const MemRegion *R = V.getRegion(); in VisitLocMemRegionVal()
777 const MemRegion *R = V.getRegion(); in VisitLocMemRegionVal()
842 const MemRegion *R = V.getRegion(); in VisitLocMemRegionVal()
/openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Checkers/
H A DSValExplainer.h40 if (isa<CXXThisRegion>(S->getRegion())) in isThisObject()
69 const MemRegion *R = V.getRegion(); in VisitLocMemRegionVal()
101 return "lazily frozen compound value of " + Visit(V.getRegion()); in VisitNonLocLazyCompoundVal()
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()
/openbsd-src/gnu/llvm/clang/lib/CodeGen/
H A DCoverageMappingGen.cpp692 SourceMappingRegion &getRegion() { in getRegion() function
706 Counter ExitCount = getRegion().getCounter(); in propagateCounts()
783 if (getRegion().hasEndLoc() && in adjustForOutOfOrderTraversal()
786 MostRecentLocation, getRegion().isBranch())) in adjustForOutOfOrderTraversal()
864 SourceMappingRegion &Region = getRegion(); in extendRegion()
875 SourceMappingRegion &Region = getRegion(); in terminateRegion()
938 getRegion().setGap(true); in fillGapAreaWithCount()
1060 BreakContinueStack.back().BreakCount, getRegion().getCounter()); in VisitBreakStmt()
1069 BreakContinueStack.back().ContinueCount, getRegion().getCounter()); in VisitContinueStmt()
1086 Counter ParentCount = getRegion().getCounter(); in VisitWhileStmt()
[all …]
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundCheckerV2.cpp61 const SubRegion *getRegion() const { return baseRegion; } in getRegion() function in __anon3835cb190111::RegionRawOffsetV2
136 if (!rawOffset.getRegion()) in checkLocation()
145 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.cpp71 return addPartialTaint(State, Sym, LCV->getRegion(), Kind); in addTaint()
207 const TypedValueRegion *R = SD->getRegion(); in isTainted()
221 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.cpp495 const MemRegion *SelfRegion = SelfVal.castAs<loc::MemRegionVal>().getRegion(); in diagnoseMissingReleases()
515 cast<SymbolRegionValue>(IvarSymbol)->getRegion(); in diagnoseMissingReleases()
620 if (DeallocedInstance.castAs<loc::MemRegionVal>().getRegion() != in findPropertyOnDeallocatingInstance()
987 SelfValOut = State->getSVal(State->getRegion(SelfDecl, LCtx)); in isInInstanceDealloc()
H A DNullabilityChecker.cpp318 const MemRegion *Region = RegionSVal->getRegion(); in getTrackRegion()
387 if (!StoredVal || !isa<SymbolicRegion>(StoredVal->getRegion())) in checkValueAtLValForInvariantViolation()
424 SVal SelfVal = State->getSVal(State->getRegion(SelfDecl, LocCtxt)); in checkSelfIvarsForInvariantViolation()
892 const MemRegion *SelfRegion = ValueRegionSVal->getRegion(); in getReceiverNullability()
H A DUndefResultChecker.cpp48 const MemRegion *MR = Loc.castAs<loc::MemRegionVal>().getRegion(); in isArrayIndexOutOfBounds()
H A DNSErrorChecker.cpp202 const MemRegion* R = X->getRegion(); in parameterTypeFromSVal()
H A DVLASizeChecker.cpp291 setDynamicExtent(State, State->getRegion(VD, C.getLocationContext()), in checkPreStmt()
H A DErrnoModeling.cpp144 State->getRegion(ErrnoVar, C.getLocationContext()); in checkBeginFunction()
/openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSVals.h419 const TypedValueRegion *getRegion() const;
512 const MemRegion *getRegion() const { in getRegion() function
521 return dyn_cast<REGION>(getRegion()); in getRegionAs()
525 return getRegion() == R.getRegion();
529 return getRegion() != R.getRegion();
H A DSymbolManager.h52 const TypedValueRegion* getRegion() const { return R; } in getRegion() function
66 const MemRegion *getOriginRegion() const override { return getRegion(); } in getOriginRegion()
149 const TypedValueRegion *getRegion() const { return R; } in getRegion() function
156 const MemRegion *getOriginRegion() const override { return getRegion(); } in getOriginRegion()
188 const SubRegion *getRegion() const { return R; } in getRegion() function
236 const MemRegion *getRegion() const { return R; } in getRegion() function
H A DStore.h98 return getDefaultBinding(lcv.getStore(), lcv.getRegion()); in getDefaultBinding()
274 const MemRegion *getRegion() { return Binding; } in getRegion() function
H A DBasicValueFactory.h77 const TypedValueRegion *getRegion() const { return region; } in getRegion() function
/openbsd-src/gnu/llvm/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()
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/cert/
H A DInvalidPtrChecker.cpp176 Reg = SRV->getRegion(); in findInvalidatedSymbolicBase()
177 if (const auto *VarReg = dyn_cast<VarRegion>(SRV->getRegion())) in findInvalidatedSymbolicBase()
242 State->getRegion(FD->parameters()[2], C.getLocationContext()); in checkBeginFunction()

12