Home
last modified time | relevance | path

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

12

/freebsd/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(CXXLifetimeExtendedObjectRegion, TypedValueRegion)
73 REGION(CXXThisRegion, TypedValueRegion)
74 ABSTRACT_REGION(DeclRegion, TypedValueRegion)
84 REGION(ElementRegion, TypedValueRegion)
85 REGION(ObjCStringRegion, TypedValueRegion)
[all …]
H A DMemRegion.h535 class TypedValueRegion : public TypedRegion {
539 TypedValueRegion(const MemRegion* sReg, Kind k) : TypedRegion(sReg, k) { in TypedValueRegion() function
829 class StringRegion : public TypedValueRegion {
835 : TypedValueRegion(sreg, StringRegionKind), Str(str) { in StringRegion()
863 class ObjCStringRegion : public TypedValueRegion {
870 : TypedValueRegion(sreg, ObjCStringRegionKind), Str(str) { in ObjCStringRegion()
900 class CompoundLiteralRegion : public TypedValueRegion {
907 : TypedValueRegion(sReg, CompoundLiteralRegionKind), CL(cl) { in CompoundLiteralRegion()
934 class DeclRegion : public TypedValueRegion {
936 DeclRegion(const MemRegion *sReg, Kind k) : TypedValueRegion(sReg, k) { in DeclRegion()
[all …]
H A DSymbolManager.h43 const TypedValueRegion *R;
46 SymbolRegionValue(SymbolID sym, const TypedValueRegion *r) in SymbolRegionValue()
53 const TypedValueRegion* getRegion() const { return R; } in getRegion()
55 static void Profile(llvm::FoldingSetNodeID& profile, const TypedValueRegion* R) { in Profile()
137 const TypedValueRegion *R;
140 SymbolDerived(SymbolID sym, SymbolRef parent, const TypedValueRegion *r) in SymbolDerived()
150 const TypedValueRegion *getRegion() const { return R; } in getRegion()
160 const TypedValueRegion *r) { in Profile()
506 const SymbolRegionValue* getRegionValueSymbol(const TypedValueRegion* R);
522 const TypedValueRegion *R);
H A DBasicValueFactory.h64 const TypedValueRegion *region;
67 LazyCompoundValData(const StoreRef &st, const TypedValueRegion *r) in LazyCompoundValData()
77 const TypedValueRegion *getRegion() const { return region; } in getRegion()
81 const TypedValueRegion *region);
248 const TypedValueRegion *region);
H A DSValBuilder.h193 DefinedOrUnknownSVal getRegionValueSymbolVal(const TypedValueRegion *region);
240 SymbolRef parentSymbol, const TypedValueRegion *region);
267 const TypedValueRegion *region) { in makeLazyCompoundVal()
H A DSVals.h50 class TypedValueRegion; variable
367 const TypedValueRegion *getRegion() const;
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
H A DUninitializedPointee.cpp116 const TypedValueRegion *R;
119 DereferenceInfo(const TypedValueRegion *R, bool NCB, bool IC) in DereferenceInfo()
172 const TypedValueRegion *R = DerefInfo->R; in isDereferencableUninit()
224 llvm::SmallSet<const TypedValueRegion *, 5> VisitedRegions; in dereference()
236 const auto *R = V.getAsRegion()->getAs<TypedValueRegion>(); in dereference()
247 R = Tmp->getAs<TypedValueRegion>(); in dereference()
264 const auto *SuperR = dyn_cast<TypedValueRegion>(R->getSuperRegion()); in dereference()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DCXXDeleteChecker.cpp61 const TypedValueRegion *BaseClassRegion,
74 const TypedValueRegion *BaseClassRegion,
84 const TypedValueRegion *BaseClassRegion,
102 const auto *BaseClassRegion = MR->getAs<TypedValueRegion>(); in checkPreStmt()
112 const TypedValueRegion *BaseClassRegion, in checkTypedDeleteExpr()
142 const TypedValueRegion *BaseClassRegion, in checkTypedDeleteExpr()
H A DInnerPointerChecker.cpp170 dyn_cast_or_null<TypedValueRegion>(Arg.getAsRegion()); in checkFunctionArguments()
203 const TypedValueRegion *ObjRegion = nullptr; in checkPostCall()
206 ObjRegion = dyn_cast_or_null<TypedValueRegion>( in checkPostCall()
223 dyn_cast_or_null<TypedValueRegion>(Call.getArgSVal(0).getAsRegion()); in checkPostCall()
310 const auto *TypedRegion = cast<TypedValueRegion>(ObjRegion); in VisitNode()
H A DBoolAssignmentChecker.cpp61 const TypedValueRegion *TR = in checkBind()
62 dyn_cast_or_null<TypedValueRegion>(Loc.getAsRegion()); in checkBind()
H A DDereferenceChecker.cpp304 const TypedValueRegion *TVR = dyn_cast_or_null<TypedValueRegion>(MR); in checkBind()
H A DNullabilityChecker.cpp621 dyn_cast_or_null<TypedValueRegion>(Location.getAsRegion()); in checkLocation()
1254 const TypedValueRegion *TVR = in checkBind()
1255 dyn_cast_or_null<TypedValueRegion>(L.getAsRegion()); in checkBind()
H A DCStringChecker.cpp449 const auto *SuperR = ER->getSuperRegion()->getAs<TypedValueRegion>(); in checkInit()
1325 << cast<TypedValueRegion>(MR)->getValueType(); in SummarizeRegion()
1328 os << "a variable of type" << cast<TypedValueRegion>(MR)->getValueType(); in SummarizeRegion()
1331 os << "a parameter of type" << cast<TypedValueRegion>(MR)->getValueType(); in SummarizeRegion()
1334 os << "a field of type " << cast<TypedValueRegion>(MR)->getValueType(); in SummarizeRegion()
1338 << cast<TypedValueRegion>(MR)->getValueType(); in SummarizeRegion()
H A DTaint.cpp292 const TypedValueRegion *R = SD->getRegion(); in getTaintedSymbolsImpl()
H A DBasicObjCFoundationChecks.cpp480 const TypedValueRegion* R = dyn_cast<TypedValueRegion>(LV->stripCasts()); in checkPreStmt()
H A DCheckObjCDealloc.cpp521 const TypedValueRegion *TVR = in diagnoseMissingReleases()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRegionStore.cpp495 tryBindSmallStruct(RegionBindingsConstRef B, const TypedValueRegion *R,
500 const TypedValueRegion* R, SVal V);
504 const TypedValueRegion* R, SVal V);
507 tryBindSmallArray(RegionBindingsConstRef B, const TypedValueRegion *R,
511 const TypedValueRegion* R,
573 SVal getBindingForLazySymbol(const TypedValueRegion *R);
576 const TypedValueRegion *R,
587 SVal getBindingForStruct(RegionBindingsConstRef B, const TypedValueRegion *R);
588 SVal getBindingForArray(RegionBindingsConstRef B, const TypedValueRegion *R);
589 NonLoc createLazyBinding(RegionBindingsConstRef B, const TypedValueRegion *R);
[all …]
H A DStore.cpp106 if (const auto *TR = dyn_cast<TypedValueRegion>(R)) { in castRegion()
237 const auto *TVR = dyn_cast<TypedValueRegion>(MR); in regionMatchesCXXRecordType()
309 if (const auto *TVR = dyn_cast<TypedValueRegion>(MR)) in getCXXRecordType()
392 if (isa<TypedValueRegion>(MR)) in evalBaseToDerived()
H A DMemRegion.cpp455 void TypedValueRegion::anchor() {} in anchor()
807 QualType Ty = cast<TypedValueRegion>(SR)->getDesugaredValueType(Ctx); in getStaticSize()
821 QualType Ty = cast<TypedValueRegion>(SR)->getDesugaredValueType(Ctx); in getStaticSize()
989 const TypedValueRegion *OrigR = Var.getOriginalRegion(); in getStackOrCaptureRegionForDeclContext()
1254 const TypedValueRegion *Super, in isValidBaseClass()
1277 if (isa<TypedValueRegion>(Super)) { in getCXXBaseObjectRegion()
1278 assert(isValidBaseClass(RD, cast<TypedValueRegion>(Super), IsVirtual)); in getCXXBaseObjectRegion()
1404 R = cast<TypedValueRegion>(R)->getSuperRegion(); in StripCasts()
1542 if (const auto *TVR = dyn_cast<TypedValueRegion>(R)) { in calculateOffset()
H A DSymbolManager.cpp167 SymbolManager::getRegionValueSymbol(const TypedValueRegion* R) { in getRegionValueSymbol()
201 const TypedValueRegion *R) { in getDerivedSymbol()
H A DProgramState.cpp265 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(R)) { in getSValAsScalarOrLoc()
H A DSVals.cpp194 const TypedValueRegion *nonloc::LazyCompoundVal::getRegion() const { in getRegion()
H A DBugReporterVisitors.cpp1301 if (const auto *TR = dyn_cast<TypedValueRegion>(R)) in isObjCPointer()
1459 const auto *TVR = dyn_cast_or_null<TypedValueRegion>(R); in tryExtractInitializerFromList()
1467 std::stack<const TypedValueRegion *> TVRStack; in tryExtractInitializerFromList()
1477 TVR = cast<TypedValueRegion>(TVR->getSuperRegion()); in tryExtractInitializerFromList()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp488 const auto *TR = dyn_cast<TypedValueRegion>( in isSmartPtrField()
554 auto *ArgRegion = dyn_cast_or_null<TypedValueRegion>(ArgVal.getAsRegion()); in updateOutParameters()
H A DRetainCountDiagnostics.cpp178 if (const auto *TR = dyn_cast<TypedValueRegion>(MR)) in findArgIdxOfSymbol()

12