Home
last modified time | relevance | path

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

12

/freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DRegions.def67 ABSTRACT_REGION(TypedValueRegion, TypedRegion)
68 REGION(CompoundLiteralRegion, TypedValueRegion)
69 REGION(CXXBaseObjectRegion, TypedValueRegion)
70 REGION(CXXDerivedObjectRegion, TypedValueRegion)
71 REGION(CXXTempObjectRegion, TypedValueRegion)
72 REGION(CXXThisRegion, TypedValueRegion)
73 ABSTRACT_REGION(DeclRegion, TypedValueRegion)
83 REGION(ElementRegion, TypedValueRegion)
84 REGION(ObjCStringRegion, TypedValueRegion)
85 REGION(StringRegion, TypedValueRegion)
H A DMemRegion.h522 class TypedValueRegion : public TypedRegion {
789 class StringRegion : public TypedValueRegion {
822 class ObjCStringRegion : public TypedValueRegion {
858 class CompoundLiteralRegion : public TypedValueRegion {
891 class DeclRegion : public TypedValueRegion {
1022 class CXXThisRegion : public TypedValueRegion {
1027 : TypedValueRegion(sReg, CXXThisRegionKind), in CXXThisRegion()
1141 class ElementRegion : public TypedValueRegion {
1180 class CXXTempObjectRegion : public TypedValueRegion {
1211 class CXXBaseObjectRegion : public TypedValueRegion {
[all …]
H A DSymbolManager.h42 const TypedValueRegion *R;
45 SymbolRegionValue(SymbolID sym, const TypedValueRegion *r) in SymbolRegionValue()
51 const TypedValueRegion* getRegion() const { return R; } in getRegion()
53 static void Profile(llvm::FoldingSetNodeID& profile, const TypedValueRegion* R) { in Profile()
133 const TypedValueRegion *R;
136 SymbolDerived(SymbolID sym, SymbolRef parent, const TypedValueRegion *r) in SymbolDerived()
144 const TypedValueRegion *getRegion() const { return R; } in getRegion()
154 const TypedValueRegion *r) { in Profile()
441 const SymbolRegionValue* getRegionValueSymbol(const TypedValueRegion* R);
457 const TypedValueRegion *R);
H A DBasicValueFactory.h65 const TypedValueRegion *region;
68 LazyCompoundValData(const StoreRef &st, const TypedValueRegion *r) in LazyCompoundValData()
74 const TypedValueRegion *getRegion() const { return region; } in getRegion()
78 const TypedValueRegion *region);
245 const TypedValueRegion *region);
H A DSValBuilder.h212 DefinedOrUnknownSVal getRegionValueSymbolVal(const TypedValueRegion *region);
250 SymbolRef parentSymbol, const TypedValueRegion *region);
277 const TypedValueRegion *region) { in makeLazyCompoundVal()
H A DSVals.h50 class TypedValueRegion; variable
505 const TypedValueRegion *getRegion() const;
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
H A DUninitializedPointee.cpp117 const TypedValueRegion *R;
120 DereferenceInfo(const TypedValueRegion *R, bool NCB, bool IC) in DereferenceInfo()
173 const TypedValueRegion *R = DerefInfo->R; in isDereferencableUninit()
225 llvm::SmallSet<const TypedValueRegion *, 5> VisitedRegions; in dereference()
237 const auto *R = V.getAsRegion()->getAs<TypedValueRegion>(); in dereference()
248 R = Tmp->getAs<TypedValueRegion>(); in dereference()
265 const auto *SuperR = dyn_cast<TypedValueRegion>(R->getSuperRegion()); in dereference()
H A DUninitializedObjectChecker.cpp110 static const TypedValueRegion *
156 const TypedValueRegion *R = getConstructedRegion(CtorDecl, Context); in checkEndFunction()
230 ProgramStateRef State, const TypedValueRegion *const R, in FindUninitializedFields()
276 bool FindUninitializedFields::isNonUnionUninit(const TypedValueRegion *R, in isNonUnionUninit()
359 .getRegionAs<TypedValueRegion>(); in isNonUnionUninit()
377 bool FindUninitializedFields::isUnionUninit(const TypedValueRegion *R) { in isUnionUninit()
457 static const TypedValueRegion *
466 auto *R = ObjectV.getAsRegion()->getAs<TypedValueRegion>(); in getConstructedRegion()
476 const TypedValueRegion *CurrRegion = getConstructedRegion(Ctor, Context); in willObjectBeAnalyzedLater()
488 const TypedValueRegion *OtherRegion = in willObjectBeAnalyzedLater()
H A DUninitializedObject.h199 const TypedValueRegion *const ObjectR;
222 const TypedValueRegion *const R,
290 bool isUnionUninit(const TypedValueRegion *R);
294 bool isNonUnionUninit(const TypedValueRegion *R, FieldChainInfo LocalChain);
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRegionStore.cpp509 const TypedValueRegion* R,
571 SVal getBindingForLazySymbol(const TypedValueRegion *R);
1150 const TypedValueRegion *TR = cast<TypedValueRegion>(baseR); in VisitCluster()
1430 if (!isa<TypedValueRegion>(MR)) { in getBinding()
1441 T = cast<TypedValueRegion>(MR)->getValueType(); in getBinding()
1446 const TypedValueRegion *R = cast<TypedValueRegion>(MR); in getBinding()
1535 if (const TypedValueRegion *TVR = dyn_cast<TypedValueRegion>(R)) in getUnderlyingType()
1710 if (const TypedValueRegion *baseR = in getBindingForElement()
1896 if (const TypedValueRegion *typedSuperR = in getBindingForFieldOrElementCommon()
2131 if (const TypedValueRegion* TR = dyn_cast<TypedValueRegion>(R)) { in bind()
[all …]
H A DStore.cpp106 if (const auto *TR = dyn_cast<TypedValueRegion>(R)) { in castRegion()
180 if (const auto *TR = dyn_cast<TypedValueRegion>(baseR)) { in castRegion()
235 const auto *TVR = dyn_cast<TypedValueRegion>(MR); in regionMatchesCXXRecordType()
309 if (const auto *TVR = dyn_cast<TypedValueRegion>(MR)) in getCXXRecordType()
394 Failed = isa<TypedValueRegion>(MR); in attemptDownCast()
H A DMemRegion.cpp428 void TypedValueRegion::anchor() {} in anchor()
756 QualType Ty = cast<TypedValueRegion>(SR)->getDesugaredValueType(Ctx); in getStaticSize()
770 QualType Ty = cast<TypedValueRegion>(SR)->getDesugaredValueType(Ctx); in getStaticSize()
907 const TypedValueRegion *OrigR = I.getOriginalRegion(); in getStackOrCaptureRegionForDeclContext()
1161 const TypedValueRegion *Super, in isValidBaseClass()
1184 if (isa<TypedValueRegion>(Super)) { in getCXXBaseObjectRegion()
1185 assert(isValidBaseClass(RD, cast<TypedValueRegion>(Super), IsVirtual)); in getCXXBaseObjectRegion()
1318 R = cast<TypedValueRegion>(R)->getSuperRegion(); in StripCasts()
1455 if (const auto *TVR = dyn_cast<TypedValueRegion>(R)) { in calculateOffset()
H A DBasicValueFactory.cpp40 const TypedValueRegion *region) { in Profile()
145 const TypedValueRegion *region) { in getLazyCompoundValData()
H A DSymbolManager.cpp157 SymbolManager::getRegionValueSymbol(const TypedValueRegion* R) { in getRegionValueSymbol()
193 const TypedValueRegion *R) { in getDerivedSymbol()
H A DExprEngineObjC.cpp60 if (const auto *R = dyn_cast<TypedValueRegion>(MV->getRegion())) { in populateObjCForDestinationSet()
H A DProgramState.cpp257 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(R)) { in getSValAsScalarOrLoc()
H A DSVals.cpp207 const TypedValueRegion *nonloc::LazyCompoundVal::getRegion() const { in getRegion()
H A DSValBuilder.cpp118 SValBuilder::getRegionValueSymbolVal(const TypedValueRegion *region) { in getRegionValueSymbolVal()
229 const TypedValueRegion *region) { in getDerivedRegionValueSymbolVal()
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DInnerPointerChecker.cpp181 dyn_cast_or_null<TypedValueRegion>(Arg.getAsRegion()); in checkFunctionArguments()
214 const TypedValueRegion *ObjRegion = nullptr; in checkPostCall()
217 ObjRegion = dyn_cast_or_null<TypedValueRegion>( in checkPostCall()
234 dyn_cast_or_null<TypedValueRegion>(Call.getArgSVal(0).getAsRegion()); in checkPostCall()
321 const auto *TypedRegion = cast<TypedValueRegion>(ObjRegion); in VisitNode()
H A DBoolAssignmentChecker.cpp59 const TypedValueRegion *TR = in checkBind()
60 dyn_cast_or_null<TypedValueRegion>(loc.getAsRegion()); in checkBind()
H A DDereferenceChecker.cpp260 const TypedValueRegion *TVR = dyn_cast_or_null<TypedValueRegion>(MR); in checkBind()
H A DDeleteWithNonVirtualDtorChecker.cpp68 const auto *BaseClassRegion = MR->getAs<TypedValueRegion>(); in checkPreStmt()
H A DTaint.cpp204 const TypedValueRegion *R = SD->getRegion(); in isTainted()
H A DNullabilityChecker.cpp537 dyn_cast_or_null<TypedValueRegion>(Location.getAsRegion()); in checkLocation()
1096 const TypedValueRegion *TVR = in checkBind()
1097 dyn_cast_or_null<TypedValueRegion>(L.getAsRegion()); in checkBind()
H A DCStringChecker.cpp1012 << cast<TypedValueRegion>(MR)->getValueType().getAsString(); in SummarizeRegion()
1016 << cast<TypedValueRegion>(MR)->getValueType().getAsString(); in SummarizeRegion()
1020 << cast<TypedValueRegion>(MR)->getValueType().getAsString(); in SummarizeRegion()
1024 << cast<TypedValueRegion>(MR)->getValueType().getAsString(); in SummarizeRegion()
1028 << cast<TypedValueRegion>(MR)->getValueType().getAsString(); in SummarizeRegion()

12