Home
last modified time | relevance | path

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

12

/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DRegions.def68 ABSTRACT_REGION(TypedValueRegion, TypedRegion)
69 REGION(CompoundLiteralRegion, TypedValueRegion)
70 REGION(CXXBaseObjectRegion, TypedValueRegion)
71 REGION(CXXDerivedObjectRegion, TypedValueRegion)
72 REGION(CXXTempObjectRegion, TypedValueRegion)
73 REGION(CXXThisRegion, TypedValueRegion)
74 ABSTRACT_REGION(DeclRegion, TypedValueRegion)
80 REGION(ElementRegion, TypedValueRegion)
81 REGION(ObjCStringRegion, TypedValueRegion)
82 REGION(StringRegion, TypedValueRegion)
H A DMemRegion.h530 class TypedValueRegion : public TypedRegion {
804 class StringRegion : public TypedValueRegion {
839 class ObjCStringRegion : public TypedValueRegion {
875 class CompoundLiteralRegion : public TypedValueRegion {
908 class DeclRegion : public TypedValueRegion {
913 : TypedValueRegion(sReg, k), D(d) { in DeclRegion()
976 class CXXThisRegion : public TypedValueRegion {
981 : TypedValueRegion(sReg, CXXThisRegionKind), in CXXThisRegion()
1086 class ElementRegion : public TypedValueRegion {
1125 class CXXTempObjectRegion : public TypedValueRegion {
[all …]
H A DSymbolManager.h43 const TypedValueRegion *R;
46 SymbolRegionValue(SymbolID sym, const TypedValueRegion *r) in SymbolRegionValue()
52 const TypedValueRegion* getRegion() const { return R; } in getRegion()
54 static void Profile(llvm::FoldingSetNodeID& profile, const TypedValueRegion* R) { in Profile()
130 const TypedValueRegion *R;
133 SymbolDerived(SymbolID sym, SymbolRef parent, const TypedValueRegion *r) in SymbolDerived()
141 const TypedValueRegion *getRegion() const { return R; } in getRegion()
149 const TypedValueRegion *r) { in Profile()
485 const SymbolRegionValue* getRegionValueSymbol(const TypedValueRegion* R);
501 const TypedValueRegion *R);
H A DBasicValueFactory.h64 const TypedValueRegion *region;
67 LazyCompoundValData(const StoreRef &st, const TypedValueRegion *r) in LazyCompoundValData()
73 const TypedValueRegion *getRegion() const { return region; } in getRegion()
77 const TypedValueRegion *region);
226 const TypedValueRegion *region);
H A DSValBuilder.h199 DefinedOrUnknownSVal getRegionValueSymbolVal(const TypedValueRegion *region);
229 SymbolRef parentSymbol, const TypedValueRegion *region);
256 const TypedValueRegion *region) { in makeLazyCompoundVal()
H A DSVals.h51 class TypedValueRegion; variable
496 const TypedValueRegion *getRegion() const;
H A DStore.h294 SVal CastRetrievedVal(SVal val, const TypedValueRegion *region,
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
H A DUninitializedPointee.cpp118 const TypedValueRegion *R;
121 DereferenceInfo(const TypedValueRegion *R, bool NCB, bool IC) in DereferenceInfo()
174 const TypedValueRegion *R = DerefInfo->R; in isDereferencableUninit()
226 llvm::SmallSet<const TypedValueRegion *, 5> VisitedRegions; in dereference()
238 const auto *R = V.getAsRegion()->getAs<TypedValueRegion>(); in dereference()
249 R = Tmp->getAs<TypedValueRegion>(); in dereference()
267 if (!isa<TypedValueRegion>(R->getSuperRegion())) in dereference()
269 R = R->getSuperRegion()->getAs<TypedValueRegion>(); in dereference()
H A DUninitializedObjectChecker.cpp108 static const TypedValueRegion *
144 const TypedValueRegion *R = getConstructedRegion(CtorDecl, Context); in checkEndFunction()
218 ProgramStateRef State, const TypedValueRegion *const R, in FindUninitializedFields()
260 bool FindUninitializedFields::isNonUnionUninit(const TypedValueRegion *R, in isNonUnionUninit()
343 .getRegionAs<TypedValueRegion>(); in isNonUnionUninit()
361 bool FindUninitializedFields::isUnionUninit(const TypedValueRegion *R) { in isUnionUninit()
441 static const TypedValueRegion *
450 auto *R = ObjectV.getAsRegion()->getAs<TypedValueRegion>(); in getConstructedRegion()
460 const TypedValueRegion *CurrRegion = getConstructedRegion(Ctor, Context); in willObjectBeAnalyzedLater()
472 const TypedValueRegion *OtherRegion = in willObjectBeAnalyzedLater()
H A DUninitializedObject.h192 const TypedValueRegion *const ObjectR;
215 const TypedValueRegion *const R,
283 bool isUnionUninit(const TypedValueRegion *R);
287 bool isNonUnionUninit(const TypedValueRegion *R, FieldChainInfo LocalChain);
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DRegionStore.cpp468 const TypedValueRegion* R,
530 SVal getBindingForLazySymbol(const TypedValueRegion *R);
1113 const TypedValueRegion *TR = cast<TypedValueRegion>(baseR); in VisitCluster()
1424 if (!isa<TypedValueRegion>(MR)) { in getBinding()
1435 T = cast<TypedValueRegion>(MR)->getValueType(); in getBinding()
1440 const TypedValueRegion *R = cast<TypedValueRegion>(MR); in getBinding()
1529 if (const TypedValueRegion *TVR = dyn_cast<TypedValueRegion>(R)) in getUnderlyingType()
1706 if (const TypedValueRegion *baseR = in getBindingForElement()
1889 if (const TypedValueRegion *typedSuperR = in getBindingForFieldOrElementCommon()
2114 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()
179 if (const auto *TR = dyn_cast<TypedValueRegion>(baseR)) { in castRegion()
234 const auto *TVR = dyn_cast<TypedValueRegion>(MR); in regionMatchesCXXRecordType()
308 if (const auto *TVR = dyn_cast<TypedValueRegion>(MR)) in getCXXRecordType()
393 Failed = isa<TypedValueRegion>(MR); in attemptDownCast()
400 SVal StoreManager::CastRetrievedVal(SVal V, const TypedValueRegion *R, in CastRetrievedVal()
H A DMemRegion.cpp167 DefinedOrUnknownSVal TypedValueRegion::getExtent(SValBuilder &svalBuilder) const { in getExtent()
434 void TypedValueRegion::anchor() {} in anchor()
1052 const TypedValueRegion *Super, in isValidBaseClass()
1075 if (isa<TypedValueRegion>(Super)) { in getCXXBaseObjectRegion()
1076 assert(isValidBaseClass(RD, dyn_cast<TypedValueRegion>(Super), IsVirtual)); in getCXXBaseObjectRegion()
1209 R = cast<TypedValueRegion>(R)->getSuperRegion(); in StripCasts()
1345 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 DProgramState.cpp253 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(R)) { in getSValAsScalarOrLoc()
797 const TypedValueRegion *R = SD->getRegion(); in isTainted()
H A DSymbolManager.cpp169 SymbolManager::getRegionValueSymbol(const TypedValueRegion* R) { in getRegionValueSymbol()
205 const TypedValueRegion *R) { in getDerivedSymbol()
H A DExprEngineObjC.cpp63 if (const auto *R = dyn_cast<TypedValueRegion>(MV->getRegion())) { in populateObjCForDestinationSet()
H A DSValBuilder.cpp119 SValBuilder::getRegionValueSymbolVal(const TypedValueRegion *region) { in getRegionValueSymbolVal()
223 const TypedValueRegion *region) { in getDerivedRegionValueSymbolVal()
H A DSVals.cpp170 const TypedValueRegion *nonloc::LazyCompoundVal::getRegion() const { in getRegion()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DBoolAssignmentChecker.cpp58 const TypedValueRegion *TR = in checkBind()
59 dyn_cast_or_null<TypedValueRegion>(loc.getAsRegion()); in checkBind()
H A DInnerPointerChecker.cpp172 dyn_cast_or_null<TypedValueRegion>(Arg.getAsRegion()); in checkFunctionArguments()
201 const auto *ObjRegion = dyn_cast_or_null<TypedValueRegion>( in checkPostCall()
296 const auto *TypedRegion = cast<TypedValueRegion>(ObjRegion); in VisitNode()
H A DDereferenceChecker.cpp254 const TypedValueRegion *TVR = dyn_cast_or_null<TypedValueRegion>(MR); in checkBind()
H A DDeleteWithNonVirtualDtorChecker.cpp69 const auto *BaseClassRegion = MR->getAs<TypedValueRegion>(); in checkPreStmt()
H A DBasicObjCFoundationChecks.cpp473 const TypedValueRegion* R = dyn_cast<TypedValueRegion>(LV->stripCasts()); in checkPreStmt()
H A DNullabilityChecker.cpp1058 const TypedValueRegion *TVR = in checkBind()
1059 dyn_cast_or_null<TypedValueRegion>(L.getAsRegion()); in checkBind()

12